2 Search Results for "Thomas, Jim"


Document
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
From Visualization to Visually Enabled Reasoning

Authors: Joerg Meyer, Jim Thomas, Stephan Diehl, Brian Fisher, and Daniel A. Keim

Published in: Dagstuhl Follow-Ups, Volume 1, Scientific Visualization: Advanced Concepts (2010)


Abstract
Interactive Visualization has been used to study scientific phenomena, analyze data, visualize information, and to explore large amounts of multi-variate data. It enables the human mind to gain novel insights by empowering the human visual system, encompassing the brain and the eyes, to discover properties that were previously unknown. While it is believed that the process of creating interactive visualizations is reasonably well understood, the process of stimulating and enabling human reasoning with the aid of interactive visualization tools is still a highly unexplored field. We hypothesize that visualizations make an impact if they successfully influence a thought process or a decision. Interacting with visualizations is part of this process. We present exemplary cases where visualization was successful in enabling human reasoning, and instances where the interaction with data helped in understanding the data and making a better informed decision. We suggest metrics that help in understanding the evolution of a decision making process. Such a metric would measure the efficiency of the reasoning process, rather than the performance of the visualization system or the user. We claim that the methodology of interactive visualization, which has been studied to a great extent, is now sufficiently mature, and we would like to provide some guidance regarding the evaluation of knowledge gain through visually enabled reasoning. It is our ambition to encourage the reader to take on the next step and move from information visualization to visually enabled reasoning.

Cite as

Joerg Meyer, Jim Thomas, Stephan Diehl, Brian Fisher, and Daniel A. Keim. From Visualization to Visually Enabled Reasoning. In Scientific Visualization: Advanced Concepts. Dagstuhl Follow-Ups, Volume 1, pp. 227-245, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InCollection{meyer_et_al:DFU.SciViz.2010.227,
  author =	{Meyer, Joerg and Thomas, Jim and Diehl, Stephan and Fisher, Brian and Keim, Daniel A.},
  title =	{{From Visualization to Visually Enabled Reasoning}},
  booktitle =	{Scientific Visualization: Advanced Concepts},
  pages =	{227--245},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-19-4},
  ISSN =	{1868-8977},
  year =	{2010},
  volume =	{1},
  editor =	{Hagen, Hans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.227},
  URN =		{urn:nbn:de:0030-drops-27078},
  doi =		{10.4230/DFU.SciViz.2010.227},
  annote =	{Keywords: Interactive Visualization, Reasoning}
}
  • Refine by Author
  • 1 Delgrande, James P.
  • 1 Diehl, Stephan
  • 1 Fisher, Brian
  • 1 Glimm, Birte
  • 1 Keim, Daniel A.
  • Show More...

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

  • Refine by Keyword
  • 1 Interactive Visualization
  • 1 Reasoning
  • 1 applications of logics
  • 1 declarative representations
  • 1 formal logic
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2010
  • 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