2 Search Results for "Delgrande, James P."

Document
DOI: 10.4230/DagRep.12.7.62
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, and Frank Wolter

Published in: Dagstuhl Reports, Volume 12, Issue 7 (2023)

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.
Cite as

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)

Copy BibTex To Clipboard

@Article{delgrande_et_al:DagRep.12.7.62,
  author =	{Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Teixeira, Milene Santos and Wolter, Frank},
  title =	{{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)}},
  pages =	{62--79},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{12},
  number =	{7},
  editor =	{Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Teixeira, Milene Santos and Wolter, Frank},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.7.62},
  URN =		{urn:nbn:de:0030-drops-176126},
  doi =		{10.4230/DagRep.12.7.62},
  annote =	{Keywords: applications of logics, declarative representations, formal logic, knowledge representation and reasoning}
}
Document
DOI: 10.4230/DagSemProc.07351.9
Distance Semantics for Relevance-Sensitive Belief Revision

Authors: Pavlos Peppas, Samir Chopra, and Norman Foo

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)

Abstract
Parikh's axiom (P) for relevance-sensitive belief revision is studied. Sound and complete semantics for axiom (P) is provided in the form constraints on system-of-spheres.
Cite as

Pavlos Peppas, Samir Chopra, and Norman Foo. Distance Semantics for Relevance-Sensitive Belief Revision. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{peppas_et_al:DagSemProc.07351.9,
  author =	{Peppas, Pavlos and Chopra, Samir and Foo, Norman},
  title =	{{Distance Semantics for Relevance-Sensitive Belief Revision}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.9},
  URN =		{urn:nbn:de:0030-drops-12159},
  doi =		{10.4230/DagSemProc.07351.9},
  annote =	{Keywords: Belief Revision, System of Spheres.}
}
  • Refine by Author
  • 1 Chopra, Samir
  • 1 Delgrande, James P.
  • 1 Foo, Norman
  • 1 Glimm, Birte
  • 1 Meyer, Thomas
  • Show More...

  • Refine by Classification
  • 1 Computing methodologies → Knowledge representation and reasoning
  • 1 Theory of computation → Complexity theory and logic

  • Refine by Keyword
  • 1 Belief Revision
  • 1 System of Spheres.
  • 1 applications of logics
  • 1 declarative representations
  • 1 formal logic
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2007
  • 1 2023

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact