Regelbasiertes Schließen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Regelbasiertes Schließen

Wissenschaftliche Mitarbeiter

Artikel in Tagungsbänden

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, Christoph Weidenbach
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In Dana Fisman, Grigore Rosu, eds., Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), volume 13243 of LNCS, 480-501, 2022. Springer
Details Download
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5626-5633, June 2022
Details Download
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values (extended abstract)
In Mario Alviano, Andreas Pieris, eds., Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry, volume 3203 of CEUR Workshop Proceedings, 97--103, September 2022.
Details Download
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values
In Dan Olteanu, Nils Vortmeier, eds., Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of LIPIcs, 13:1--13:20, March 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, 120:1-120:17, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, 2019.
Details Download

Vorträge und Sonstiges

Markus Krötzsch
Data, Ontologies, Rules, and the Return of the Blank Node
Keynote at the 21st International Semantic Web Conference, 2022
Details Download