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] 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] URL
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 concrete logics, power, topic_knowledge model expressive domains, description theory]
Justifying argument acceptance with collective attacks: Discussions and disputes. Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, California, August 2024. [PUMA: topic_knowledge]
Preferred reasoning in ABA by cycle-breaking. Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, California, August 2024. [PUMA: topic_knowledge]
Formal Argumentation in Symbolic AI. In Kate Larson (Eds.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, 8577--8582, International Joint Conferences on Artificial Intelligence Organization, August 2024. [PUMA: topic_knowledge] URL
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. July 2024. [PUMA: imported topic_knowledge]
Classification of shared tasks used in teaching. Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, ACM, New York, NY, USA, July 2024. [PUMA: topic_knowledge topic_language]
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), June 18--21, 2024, Bergen, Norway, RTWH Aachen, Jun 18, 2024. [PUMA: FIS_scads imported topic_knowledge]
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]
The abstract expressive power of first-order and description logics with concrete domains. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, ACM, New York, NY, USA, April 2024. [PUMA: topic_knowledge]
Redefining ABA+ semantics via abstract set-to-set attacks. Proc. Conf. AAAI Artif. Intell., (38)9:10493--10500, Association for the Advancement of Artificial Intelligence (AAAI), March 2024. [PUMA: topic_knowledge]
Principles and their computational consequences for argumentation frameworks with collective attacks. J. Artif. Intell. Res., (79):69--136, AI Access Foundation, January 2024. [PUMA: topic_knowledge]
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]
Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, (14589):3--22, Springer, 2024. [PUMA: topic_knowledge]
Repairing Assumption-Based Argumentation Frameworks. Proc. KR, 2024. [PUMA: topic_knowledge]
Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs. Proc. KR, 2024. [PUMA: topic_knowledge]
On Computing Admissibility in ABA. Proc. COMMA, 2024. [PUMA: topic_knowledge]
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_knowledge topic_graph] URL
Inconsistency- and Error-Tolerant Reasoning w.r.t.\ Optimal Repairs of ℰℒ⊥ Ontologies (Extended Version). 24-02Dresden, Germany, 2024. [PUMA: topic_knowledge]