Chasing Streams with Existential Rules. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 415--419, August 2022. [PUMA: topic_knowledge topic_lifescience] URL
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. In Dana Fisman, and Grigore Rosu (Eds.), Proc. of the 28th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), (13243):480-501, Springer, 2022. [PUMA: topic_knowledge topic_graph]
An Existential Rule Framework for~Computing Why-Provenance On-Demand for~Datalog. Rules and Reasoning, 146--163, Springer International Publishing, 2022. [PUMA: topic_knowledge topic_graph] URL
Simulating sets in answer set programming. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, California, July 2022. [PUMA: topic_knowledge]
Deciding the word problem for ground and strongly shallow identities w.R.T. Extensional symbols. J. Automat. Reason., (66)3:301--329, Springer Science and Business Media LLC, August 2022. [PUMA: topic_knowledge]
Restricted Unification in the Description Logic $FL_\bot$. In David M. Cerna, and Barbara Morawska (Eds.), Proceedings of the 36th International Workshop on Unification (UNIF 2022), Haifa, Israel, 2022. [PUMA: topic_knowledge]
Using model theory to find decidable and tractable description logics with concrete domains. J. Automat. Reason., (66)3:357--407, Springer Science and Business Media LLC, August 2022. [PUMA: topic_knowledge]
On Dynamics in Structured Argumentation Formalisms. Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, International Joint Conferences on Artificial Intelligence Organization, California, July 2022. [PUMA: topic_knowledge]
Just a Matter of Perspective. Computational Models of Argument, IOS Press, September 2022. [PUMA: topic_knowledge]
Rediscovering argumentation principles utilizing Collective Attacks. arXiv, 2022. [PUMA: topic_knowledge]
Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility. Artif. Intell., (310)103742:103742, Elsevier BV, September 2022. [PUMA: topic_knowledge]
Strongly accepting subframeworks: Connecting abstract and structured Argumentation. Computational Models of Argument, IOS Press, September 2022. [PUMA: topic_knowledge]
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, 92--103, 2022. [PUMA: topic_knowledge] URL
Defining defense and defeat in abstract argumentation from scratch -- A generalizing approach. Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, International Joint Conferences on Artificial Intelligence Organization, California, July 2022. [PUMA: topic_knowledge]
Recursion in abstract argumentation is hard --- on the complexity of semantics based on weak admissibility. J. Artif. Intell. Res., (74):1403--1447, AI Access Foundation, July 2022. [PUMA: topic_knowledge]
Representing abstract dialectical frameworks with binary decision diagrams. Logic Programming and Nonmonotonic Reasoning, 177--189, Springer International Publishing, Cham, 2022. [PUMA: topic_knowledge]
On syntactic forgetting with strong persistence. Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, International Joint Conferences on Artificial Intelligence Organization, California, July 2022. [PUMA: topic_knowledge]
Distributed temporal graph analytics with GRADOOP. VLDB J., (31)2:375--401, Springer Science and Business Media LLC, March 2022. [PUMA: topic_graph area_bigdata]
Fast hubness-reduced nearest neighbor search for entity alignment in Knowledge Graphs. SN Comput. Sci., (3)6Springer Science and Business Media LLC, October 2022. [PUMA: topic_graph area_bigdata]
Artificial Intelligence in Process Mining. 2022. [PUMA: topic_engineering]