Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)

Authors James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.12.7.62.pdf
  • Filesize: 1.55 MB
  • 18 pages

Document Identifiers

Author Details

James P. Delgrande
  • Simon Fraser University - Burnaby, CA
Birte Glimm
  • Universität Ulm, DE
Thomas Meyer
  • University of Cape Town, ZA
Miroslaw Truszczynski
  • University of Kentucky - Lexington, US
Milene Santos Teixeira
  • Universität Ulm, DE
Frank Wolter
  • University of Liverpool, GB
and all authors of the abstracts in this report

Cite As Get BibTex

James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). In Dagstuhl Reports, Volume 12, Issue 7, pp. 62-79, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023) https://doi.org/10.4230/DagRep.12.7.62

Abstract

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.

Subject Classification

ACM Subject Classification
  • Theory of computation → Complexity theory and logic
  • Computing methodologies → Knowledge representation and reasoning
Keywords
  • applications of logics
  • declarative representations
  • formal logic
  • knowledge representation and reasoning

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail