2026-07-22T11:00:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:17612 2026-04-20T13:23:10Z ddc:004 open_access

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282) Delgrande, James P. Glimm, Birte Meyer, Thomas Truszczynski, Miroslaw Teixeira, Milene Santos Wolter, Frank applications of logics declarative representations formal logic knowledge representation and reasoning The area of Knowledge Representation and Reasoning (KR) is a central area in Artificial Intelligence that deals with the explicit, declarative representation of knowledge along with inference procedures for deriving further, implicit information from this knowledge. The goal of this Perspectives Seminar was to assess the area of KR, including its history, current state, and future prospects, and from this assessment to provide suggestions and recommendations for advancing the field, increasing participation in the area, and furthering links with related areas. Over the course of 5 days, 25 participants from a cross-section of subareas in KR and areas adjacent to KR met to discuss these topics. The workshop was composed of a number of invited talks and panels for reviewing the history and state of the art of KR, along with several working groups and general open discussions. In common with other Perspectives Workshops, a Manifesto will be produced; as well, recommendations contained in the manifesto will be also forwarded to the steering committee of the Principles of Knowledge Representation and Reasoning conference series for their consideration. Schloss Dagstuhl – Leibniz-Zentrum für Informatik James P. Delgrande and Birte Glimm and Thomas Meyer and Miroslaw Truszczynski and Milene Santos Teixeira and Frank Wolter 2023 Is Part Of Dagstuhl Reports, Volume 12, Issue 7 (2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.12.7.62 urn:nbn:de:0030-drops-176126 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.7.62 eng https://creativecommons.org/licenses/by/4.0/legalcode