Publications in 2022

From International Center for Computational Logic
Toggle side column

Publications in 2022


Journal Articles

Bartosz Bednarczyk, Stéphane Demri
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Logical Methods in Computer Science, Volume 18, Issue 3(5), July 2022
Details Download
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, to appear
Details
Markus Krötzsch
Wissen als Code: Die Welt der Wissensgraphen und Ontologien
Linux-Magazin (12/2022):24-28, 2022
Details
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, 74:957-1004, June 2022
Details Download
Adam Richard-Bollans, Anthony Cohn, Lucía Gómez Álvarez
Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions
Cognitive Systems Research, to appear
Details

Proceedings Articles

Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5495-5502, February 2022
Details Download
Bartosz Bednarczyk, Emanuel Kieroński
Finite Entailment of Local Queries in the Z family of Description Logics
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), volume 36, 5487--5494, February 2022. AAAI Press
Details Download
Bartosz Bednarczyk, Oskar Fiuk
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
In Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz, eds., Proceedings of the 28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), volume 2022 of Logic, Language, Information, and Computation, 295--308, September 2022. Springer International Publishing
Details Download
Bartosz Bednarczyk, Mateusz Urbanczyk
Comonadic Semantics for Description Logics Games
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022
Details Download
Bartosz Bednarczyk, Reijo Jaakkola
Towards Model Theory of Ordered Logics: Expressivity and Interpolation
In Stefan Szeider, Robert Ganian, Alexandra Silva, eds., Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), volume 241 of Leibniz International Proceedings in Informatics, 15:1--15:14, August 2022. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications
In Christel Baier and Dana Fisman, eds., Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 56:1--56:13, 2022. ACM
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download
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
Elisa Böhl, Sarah Alice Gaggl
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy
In Georg Gottlob, Daniela Inclezan, Marco Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 89-102, August 2022. Springer International Publishing
Details Download
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download
Ridhwan Dewoprabowo, Johannes Klaus Fichte, Piotr Gorczyca, Markus Hecher
A Practical Account into Counting Dung’s Extensions by Dynamic Programming
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca
Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation
In Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner, eds., Proceedings of the 4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), volume 3236, 59-72, October 2022. CEUR-WS
Details Download
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), to appear. Springer
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 355-356, September 2022. IOS Press
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
Faiq Miftakhul Falakh, Sebastian Rudolph
AGM Revision in Description Logics under Fixed-Domain Semantics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022. CEUR Workshop Proceedings
Details Download
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), to appear. Springer
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), volume 36 of 5, 5651-5659, June 2022
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
In Georg Gottlob, Daniela Inclezan, Marco Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 217-230, August 2022. Springer International Publishing
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract)
In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle, eds., Technical Communication Proceeding of the 38th International Conference on Logic Programming (ICLP 2022), volume 364 of EPTCS, 181-184, 2022. Open Publishing Association
Details
Sarah Alice Gaggl, Philipp Hanisch, Markus Krötzsch
Simulating Sets in Answer Set Programming
In Luc De Raedt, eds., Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2634--2640, 2022. ijcai.org
Details Download
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., The Semantic Web – ISWC 2022, volume 13489 of Lecture Notes in Computer Science, 267-283, October 2022. Springer
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato, eds., Proceedings of the 21st International Semantic Web Conference (ISWC 22), LNCS, to appear. Springer
Details Download
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), to appear. CEUR
Details Download
Suk Joon Hong, Brandon Bennett, Judith Clymo, Lucía Gómez Álvarez
KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge
In Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen, eds., Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), volume 3121, 2022. CEUR
Details Download
Jonas Karge, Sebastian Rudolph
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, to appear
Details Download
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022
Details Download
Tim Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), 2022. IJCAI Organization
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. CEUR-WS.org
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
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
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

Edited Proceedings

Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner
The Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022)
Volume 3236, October 2022. CEUR-WS
Details

Talks and Miscellaneous

Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract)
KR Recently Published Research Track (KR 2022), August 2022
Details
Sarah Alice Gaggl
Scalable Understanding: Navigation Approaches for Answer Sets
invited talk at the Artificial Intelligence Group (AIG) at the FernUnversität in Hagen, October 2022
Details
Markus Krötzsch
Data, Ontologies, Rules, and the Return of the Blank Node
Keynote at the 21st International Semantic Web Conference, 2022
Details Download