Published in: Dagstuhl Reports, Volume 12, Issue 7 (2023)
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)
@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} }
Published in: Dagstuhl Follow-Ups, Volume 1, Scientific Visualization: Advanced Concepts (2010)
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)
@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} }
Feedback for Dagstuhl Publishing