Organization Name (de) Name der Organisation (de)
E056-13 - Fachbereich LogiCS
 
Code Kennzahl
E056-13
 
Type of Organization Organisationstyp
Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 1-12 of 12 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Clemens Heitzinger ; Stefan Woltran A Short Introduction to Artificial Intelligence: Methods, Success Stories, and Current LimitationsBook Contribution Buchbeitrag2024
2Dvorak-2023-Artificial Intelligence-vor.pdf.jpgDvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressivenessArticle Artikel Nov-2023
3Lopez-Miguel-2023-Verification ofNeural Networks Meets PLC Code An LHC Coo...-am.pdf.jpgLopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Viñuela, Enrique Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERNInproceedings Konferenzbeitrag 7-Jun-2023
4Adam-2023-From Natural Language Requirements totheVerification ofProgramma...-am.pdf.jpgÁdám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverifInproceedings Konferenzbeitrag 3-Jun-2023
5Lopez-Miguel-2023-Stop at red Engineering meets ethics-vor.pdf.jpgLópez Miguel, Ignacio David Stop at red? Engineering meets ethicsInproceedings Konferenzbeitrag 16-May-2023
6Lopez-Miguel-2023-Introduction to the verification of neural networks run...-vor.pdf.jpgLopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Vinuela, Enrique Introduction to the verification of neural networks running on a PLC: an LHC cooling tower examplePresentation Vortrag 20-Apr-2023
7Adam-2023-Automated Verification of Programmable Logic Controller Program...-vor.pdf.jpgÁdám, Zsófia ; López Miguel, Ignacio David ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language RequirementsReport Bericht Mar-2023
8EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine SchedulingArticle Artikel 26-Jan-2023
9Ciabattoni, Agata ; Eiter, Thomas ; Hatschka, Christian Deontic Paradoxes in ASP with Weak ConstraintsInproceedings Konferenzbeitrag 2023
10Dvořák, W. ; Keshavarzi Zafarghandi, A. ; Woltran, S. Expressiveness of SETAFs and support-free ADFs under 3-valued semanticsArticle Artikel 2023
11Soldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas Progression for Monitoring in Temporal ASPInproceedings Konferenzbeitrag 2023
12Varonka, Anton ; Kovacs, Laura On the Undecidability of Loop AnalysisPresentation Vortrag12-Oct-2022