Paper accepted for IJCAI 2024 The paper "Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics" by Matthias Thimm has been accepted at IJCAI 2024. 18.04.2024
The book "Graph-Based Representation and Reasoning" is now available. The book "Graph-Based Representation and Reasoning" (DOI: 10.1007/978-3-031-40960-8), edited by Kai Sauerwald, together with Manuel Ojeda-Aciego (Universidad de Málaga) and Robert Jäschke (Humboldt-Universität zu Berlin) is now available. 22.08.2023
Paper accepted for publication at the Journal of Applied Logics The paper “Measuring Inconsistency with the Tableau Method” by Jandson S Ribeiro and Matthias Thimm has been accepted for publication at the Journal of Applied Logics - IfCoLog Journal. 09.08.2023
Paper accepted for NMR 2023 The paper "An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications" by Isabelle Kuhlmann, Carl Corea (University of Koblenz), and John Grant (University of Maryland) has been accepted at the NMR 2023. 08.08.2023
Paper accepted for Arg&App workshop at KR 2023 The paper "A Discussion of Challenges in Benchmark Generation for Abstract Argumentation" by Isabelle Kuhlmann and Matthias Thimm has been accepted at the Arg&App workshop at KR 2023. 08.08.2023
Paper accepted for NMR 2023 workshop The paper "Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds" by Jonas Haldimann, Christoph Beierle (Knowledge Based Systems Group), and Gabriele Kern-Isberner (TU Dortmund) was accepted for the NMR2023 workshop. 04.08.2023
Extended- abstract accepted for presentation at DL 2023 The extended-abstract “Eviction and Reception for Description Logic Ontologies (Preliminary Results)” by Ricardo Guimaraes (University of Bergen), Ana Ozaki (University of Bergen) and Jandson S Ribeiro, has been accepted for presentation at DL 23. 02.08.2023
Paper accepted for NMR 2023 The paper “Eviction and Reception for Description Logic Ontologies (Preliminary Results)” by Ricardo Guimaraes (University of Bergen), Ana Ozaki (University of Bergen) and Jandson S Ribeiro has been accepted at NMR 23. 30.07.2023
Paper accepted for NMR 2023 The paper “Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report)” by Jandson S Ribeiro has been accepted at NMR 23. 30.07.2023
Extended- abstract accepted for KR 2023 The extended-abstract “Finite Based Contraction and Expansion via Models” by Ricardo Guimaraes (University of Bergen), Ana Ozaki (University of Bergen) and Jandson S Ribeiro, has been accepted for presentation at KR 23 in the Recently Published Research Track. 30.07.2023