3 Search Results for "Steels, Luc"

Document

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

Authors: James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, and Frank Wolter

Published in: Dagstuhl Manifestos, Volume 10, Issue 1 (2024)

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}
}

Document

DOI: 10.4230/DagRep.4.3.181

Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142)

Authors: Aldo Gangemi, Verena V. Hafner, Werner Kuhn, Simon Scheider, and Luc Steels

Published in: Dagstuhl Reports, Volume 4, Issue 3 (2014)

Abstract

The seminar on "Spatial reference in the Semantic Web and in Robotics" was held from March 30 until April 4, 2014. Seminar participants presented their work related to spatial reference from the viewpoint of Robotics, Spatial Cognition, Geospatial information and the Semantic Web. Groups worked on concrete questions and challenges which were developed during the seminar, some of which resulted in follow up work. This report summarizes the outcomes of the seminar discussions and presents the abstracts of participant talks.

Cite as

Aldo Gangemi, Verena V. Hafner, Werner Kuhn, Simon Scheider, and Luc Steels. Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142). In Dagstuhl Reports, Volume 4, Issue 3, pp. 181-201, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{gangemi_et_al:DagRep.4.3.181,
  author =	{Gangemi, Aldo and Hafner, Verena V. and Kuhn, Werner and Scheider, Simon and Steels, Luc},
  title =	{{Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142)}},
  pages =	{181--201},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{3},
  editor =	{Gangemi, Aldo and Hafner, Verena V. and Kuhn, Werner and Scheider, Simon and Steels, Luc},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.3.181},
  URN =		{urn:nbn:de:0030-drops-46134},
  doi =		{10.4230/DagRep.4.3.181},
  annote =	{Keywords: Spatial reference systems, Semantic Web, Robotics, Embodiment, Spatial cognition}
}

Document

DOI: 10.4230/DagSemRep.385

Embodied Artificial Intelligence (Dagstuhl Seminar 03281)

Authors: Verena V. Hafner, Fumiya Iida, Yasuo Kuniyoshi, Rolf Pfeifer, and Luc Steels

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract

Cite as

Verena V. Hafner, Fumiya Iida, Yasuo Kuniyoshi, Rolf Pfeifer, and Luc Steels. Embodied Artificial Intelligence (Dagstuhl Seminar 03281). Dagstuhl Seminar Report 385, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

Copy BibTex To Clipboard

@TechReport{hafner_et_al:DagSemRep.385,
  author =	{Hafner, Verena V. and Iida, Fumiya and Kuniyoshi, Yasuo and Pfeifer, Rolf and Steels, Luc},
  title =	{{Embodied Artificial Intelligence (Dagstuhl Seminar 03281)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{385},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.385},
  URN =		{urn:nbn:de:0030-drops-152659},
  doi =		{10.4230/DagSemRep.385},
}

Refine by Author
2 Hafner, Verena V.
2 Steels, Luc
1 Delgrande, James P.
1 Gangemi, Aldo
1 Glimm, Birte
Show More...

Refine by Classification
1 Computing methodologies → Artificial intelligence
1 Computing methodologies → Knowledge representation and reasoning
1 Information systems → Information integration
1 Theory of computation → Complexity theory and logic
1 Theory of computation → Logic
Show More...

Refine by Keyword
1 Applications of logics
1 Declarative representations
1 Embodiment
1 Formal logic
1 Knowledge representation and reasoning
Show More...

Refine by Type
3 document

Refine by Publication Year
1 2003
1 2014
1 2024