Forgetting in Abstract Argumentation: Limits and Possibilities. Journal of Artificial Intelligence Research, (82)2025. [PUMA: abstract_argumentation argumentation forgetting topic_knowledge xack yaff] URL
On Syntactic Forgetting with relativized Strong Persistence. In Nina Gierasimczuk, and Jesse Heyninck (Eds.), Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024, (3835):173--182, CEUR-WS.org, 2024. [PUMA: answer_set_programming forgetting logic_programming topic_knowledge xack yaff] URL
Evonne: Interactive Proof Visualization for Description Logics (System Description). In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (Eds.), Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, 271--280, Springer, Berlin u. a., Germany, 2022. [PUMA: FIS_scads imported topic_knowledge xack]
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido (Eds.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):355–356, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: FIS_scads topic_knowledge xack]
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains. In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), (3739)CEUR-WS.org, June 2024. [PUMA: FIS_scads imported topic_knowledge xack yaff]
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 754--761, Association for Computing Machinery (ACM), New York, United States of America, 2024. [PUMA: FIS_scads imported topic_knowledge xack yaff]
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. ACM SIGAPP Applied Computing Review, (24)3:5–17, Association for Computing Machinery (ACM), New York, Oct 1, 2024. [PUMA: FIS_scads topic_knowledge xack yaff]
Tuple-Generating Dependencies Capture Complex Values. In Dan Olteanu, and Nils Vortmeier (Eds.), Proceedings of the 25th International Conference on Database Theory (ICDT 2022), (220):13:1–13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Mar 1, 2022. [PUMA: topic_graph topic_knowledge xack]
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ò, and Claudia d’Amato (Eds.), The Semantic Web – ISWC 2022, 267 -- 283, Springer, Berlin u. a., Germany, Oct 16, 2022. [PUMA: topic_graph topic_knowledge xack]
Wikidata: The Making Of. In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo, Carlos Castillo, and Geert-Jan Houben (Eds.), Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615–624, Association for Computing Machinery (ACM), New York, United States of America, Apr 30, 2023. [PUMA: FIS_scads topic_knowledge xack]
Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract). Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, Sep 2, 2023. [PUMA: FIS_scads imported topic_knowledge xack yaff]
Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 -- August 5, 2022, 22--32, 2022. [PUMA: topic_knowledge xack]
Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, (3263)CEUR-WS.org, 2022. [PUMA: topic_knowledge xack]
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. July 2024. [PUMA: imported topic_knowledge xack yaff]
Contractions Based on Optimal Repairs. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 94–105, International Joint Conferences on Artificial Intelligence Organization, November 2024. [PUMA: topic_knowledge xack yaff] URL
The Precise Complexity of Reasoning in $ALC$ with $ømega$-Admissible Concrete Domains (Extended Version). 2024. [PUMA: imported topic_knowledge xack yaff] URL
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. SIGAPP Appl. Comput. Rev., (24)3:5–17, Association for Computing Machinery, New York, NY, USA, Oct 8, 2024. [PUMA: imported topic_knowledge xack yaff] URL
Second-order Confidence in Supervaluationism. Journal for General Philosophy of Science, Springer, July 2023. [PUMA: imported topic_knowledge xack]
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem. In Clayton K. Baker, Luc\'ıa Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, and Srdjan Vesic (Eds.), Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023, (3548)CEUR-WS.org, 2023. [PUMA: imported topic_knowledge xack] URL
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. In Aniello Murano, and Alexandra Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), (288):33:1--33:19, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2024. [PUMA: imported topic_graph topic_knowledge xack] URL