Issue
Dagstuhl Manifestos, Volume 10, Issue 1
-
Part of:
Volume:
Dagstuhl Manifestos, Volume 10
Journal: Dagstuhl Manifestos (DagMan)
Publication Details
- published at: 2024-06-20
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
DagMan, Volume 10, Issue 1, January - December 2024, Complete Issue
Abstract
DagMan, Volume 10, Issue 1, January 2024, Complete Issue
Cite as
Dagstuhl Manifestos, Volume 10, Issue 1, pp. 1-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@Article{DagMan.10.1,
title = {{DagMan, Volume 10, Issue 1, January - December 2024, Complete Issue}},
pages = {1--63},
journal = {Dagstuhl Manifestos},
ISSN = {2193-2433},
year = {2025},
volume = {10},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.10.1},
URN = {urn:nbn:de:0030-drops-228093},
doi = {10.4230/DagMan.10.1},
annote = {Keywords: DagMan, Volume 10, Issue 1, January 2024, Complete Issue}
}
Document
Front Matter
Dagstuhl Manifestos, Table of Contents, Volume 10, Issue 1, 2024
Abstract
Dagstuhl Manifestos, Table of Contents, Volume 10, Issue 1, 2024
Cite as
Dagstuhl Manifestos, Volume 10, Issue 1, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
Copy BibTex To Clipboard
@Article{DagMan.10.1.i,
title = {{Dagstuhl Manifestos, Table of Contents, Volume 10, Issue 1, 2024}},
pages = {i--ii},
journal = {Dagstuhl Manifestos},
ISSN = {2193-2433},
year = {2025},
volume = {10},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.10.1.i},
URN = {urn:nbn:de:0030-drops-228106},
doi = {10.4230/DagMan.10.1.i},
annote = {Keywords: Dagstuhl Manifestos, Table of Contents, Volume 10, Issue 1, 2024}
}
Document
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)
Abstract
Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence. Over the years it has evolved significantly; more recently it has been challenged and complemented by research in areas such as machine learning and reasoning under uncertainty. In July 2022,sser a Dagstuhl Perspectives workshop was held on Knowledge Representation and Reasoning. The goal of the workshop was to describe the state of the art in the field, including its relation with other areas, its shortcomings and strengths, together with recommendations for future progress. We developed this manifesto based on the presentations, panels, working groups, and discussions that took place at the Dagstuhl Workshop. It is a declaration of our views on Knowledge Representation: its origins, goals, milestones, and current foci; its relation to other disciplines, especially to Artificial Intelligence; and on its challenges, along with key priorities for the next decade.
Cite as
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). In Dagstuhl Manifestos, Volume 10, Issue 1, pp. 1-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{delgrande_et_al:DagMan.10.1.1,
author = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank},
title = {{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)}},
pages = {1--61},
journal = {Dagstuhl Manifestos},
ISSN = {2193-2433},
year = {2024},
volume = {10},
number = {1},
editor = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Wolter, Frank},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagMan.10.1.1},
URN = {urn:nbn:de:0030-drops-201403},
doi = {10.4230/DagMan.10.1.1},
annote = {Keywords: Knowledge representation and reasoning, Applications of logics, Declarative representations, Formal logic}
}