Diagrammatic representation and inference. 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7--10, 2016. Proceedings

DOI10.1007/978-3-319-42333-3MaRDI QIDQ2630258zbMATH OpenOpenAlexFDO

Authors

Publication date 26 July 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-42333-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68T99)

Cited in

(5)

• Theory and application of diagrams. 1st international conference, Diagrams 2000, Edinburgh, Scotland, GB, September 1--3, 2000. Proceedings
• Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14--16, 2022. Proceedings
• Diagrammatic representation and inference. 11th international conference, Diagrams 2020, Tallinn, Estonia, August 24--28, 2020. Proceedings
• Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification
• Diagrammatic representation and inference. 6th international conference, Diagrams 2010, Portland, OR, USA, August 9--11, 2010. Proceedings

This page was built for publication: Diagrammatic representation and inference. 9th international conference, Diagrams 2016, Philadelphia, PA, USA, August 7--10, 2016. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2630258)