Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 1-20 of 198 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Clemens Heitzinger ; Stefan Woltran A Short Introduction to Artificial Intelligence: Methods, Success Stories, and Current LimitationsBook Contribution Buchbeitrag2024
2Lindorfer-2023-The Threat of Surveillance and the Need for Privacy Protec...-vor.pdf.jpgLindorfer, Martina The Threat of Surveillance and the Need for Privacy ProtectionsBook Contribution Buchbeitrag 21-Dec-2023
3Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf.jpgNadel, Alexander ; Rozier, Kristin Yvonne Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023Proceedings Tagungsband Oct-2023
4Lackner, Martin ; Skowron, Piotr Multi-Winner Voting with Approval PreferencesBook Buch2023
5Nagy, Benedek ; Freund, Rudolf Proceedings of the 13th International Workshop on Non-Classical Models of Automata and ApplicationsProceedings Tagungsband2023
6Warren, David S. ; Dahl, Veronica ; Eiter, Thomas ; Hermenegildo, Manuel ; Kowalski. Robert A. ; Rossi, Francesca Prolog: The Next 50 YearsBook Buch2023
7Hajdu-2022-Getting Saturated withInduction-am.pdf.jpgHajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag 29-Dec-2022
8Griggio-2022-Proceedings of the 22nd Conference on Formal Methods in Comp...-vor.pdf.jpgGriggio, Alberto ; Rungta, Neha Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022Proceedings Tagungsband Oct-2022
9Szeider, Stefan ; Ganian, Robert ; Silva, Alexandra 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)Proceedings Konferenzband22-Aug-2022
10Blanchette, Jasmin Christian ; Kovacs, Laura ; Pattinson, Dirk Automated Reasoning: 11th International Joint Conference (IJCAR 2022)Proceedings Konferenzband8-Aug-2022
11Fermüller, Christian ; Hafner, Johannes Revisiting Brandom’s Incompatibility SemanticsBook Contribution Buchbeitrag 1-Aug-2022
12Meinke, Karl ; Kovacs, Laura Tests and ProofsProceedings Konferenzband1-Jun-2022
13Ganian, Robert ; Kratochvíl, Jan ; Szeider, Stefan Preface: Ninth workshop on graph classes, optimization, and Width Parameters, Vienna, AustriaBook Contribution Buchbeitrag15-May-2022
14Ciabattoni, Agata ; Pimentel, Elaine ; de Queiroz, Ruy J.G.B. Logic, Language, Information, and ComputationBook Buch 2022
15Benzmüller, Christoph ; Farjami, Ali ; Parent, Xavier Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical ExperimentsBook Contribution Buchbeitrag2022
16Parent, Xavier ; van der Torre, Leendert Detachment in Normative Systems: Examples, Inference Patterns, PropertiesBook Contribution Buchbeitrag2022
17Neidhardt, Julia ; Werthner, Hannes ; Woltran, Stefan It Is Simple, It Is Complicated. Perspectives on Digital Humanism.Buchbeitrag Book Contribution 2022
18Piskac-2021-Proceedings of the 21st Conference on Formal Methods in Compu...-vor.pdf.jpgPiskac, Ruzica ; Whalen, Michael W. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021Konferenzband Proceedings Oct-2021
19Gabbay, Dov ; Horty, John ; Parent, Xavier ; van der Meyden, Ron ; van der Torre, Leendert Handbook of Deontic Logic and Normative SystemsBook Buch19-Jul-2021
20Bekos, Michael A. ; Niedermann, Benjamin ; Nöllenburg, Martin External Labeling: Fundamental Concepts and Algorithmic TechniquesBuch Book 2021