Aktuelles
- Das Buch "Graph-Based Representation and Reasoning" ist nun verfügbar
Das Buch "Graph-Based Representation and Reasoning" (DOI: 10.1007/978-3-031-40960-8), bearbeitet von Kai Sauerwald, zusammen mit Manuel Ojeda-Aciego (Universidad de Málaga) und Robert Jäschke (Humboldt-Universität zu Berlin) ist nun verfügbar. - Ein Papier akzeptiert für die Veröffentlichung im Journal of Applied Logics
Das Papier “Measuring Inconsistency with the Tableau Method” von Jandson S Ribeiro und Matthias Thimm wurde für das "Journal of Applied Logics - IfCoLog Journal" akzeptiert. - Ein Papier akzeptiert für die NMR 2023
Das Papier "An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications" von Isabelle Kuhlmann, Carl Corea (Universität von Koblenz) und John Grant (Universität von Maryland) wurde für die NMR 2023 akzeptiert. - Ein Papier akzeptiert für den Arg&App Workshop der KR 2023
Das Papier "A Discussion of Challenges in Benchmark Generation for Abstract Argumentation" von Isabelle Kuhlmann und Matthias Thimm wurde für den KR 2023 Arg&App Workshop akzeptiert. - Ein Papier akzeptiert für den NMR 2023 Workshop
Das Papier "Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds" von Jonas Haldimann, Christoph Beierle (Knowledge Based Systems Group), und Gabriele Kern-Isberner (TU Dortmund) wurde für den NMR 2023 Workshop akzeptiert. - Erweiterte Zusammenfassung akzeptiert für die Präsentation bei der DL 2023
Die erweiterte Zusammenfassung “Eviction and Reception for Description Logic Ontologies (Preliminary Results)” von Ricardo Guimaraes (Universität von Bergen), Ana Ozaki (Universität von Bergen) und Jandson S Ribeiro wurde für die Präsentation bei der DL 2023 akzeptiert. - Erweiterte Zusammenfassung akzeptiert für die KR 2023
Die erweiterte Zusammenfassung “Finite Based Contraction and Expansion via Models” von Ricardo Guimaraes (Universität von Bergen), Ana Ozaki (Universität von Bergen) und Jandson S Ribeiro wurden für die KR 2023 für den kürzlich veröffentlichten Forschungszweig akzeptiert. - Ein Papier akzeptiert für die NMR 2023
Das Papier “Eviction and Reception for Description Logic Ontologies (Preliminary Results)” von Ricardo Guimaraes (Universität von Bergen), Ana Ozaki (Universität von Bergen) und Jandson S Ribeiro wurde für die NMR 2023 akzeptiert. - Ein Papier akzeptiert für die NMR 2023
Das Papier “Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report)” von Jandson S Ribeiro wurde für die NMR 2023 akzeptiert. - Ein Papier akzeptiert für die ECSQARU 2023
Das Papier "On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions" von Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni (TU Chemnitz), Gabriele Kern-Isberner (TU Dortmund), und Christoph Beierlewurde für die ECSQARU 2023 akzeptiert.
29.07.2023