Author of the publication

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017.

, and (Eds.) volume 1994 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Consciousness and Automated Reasoning., , and . FCR@KI, volume 2680 of CEUR Workshop Proceedings, page 12-26. CEUR-WS.org, (2020)In memoriam: Christian Freksa (1950-2020)., , , and . Spatial Cogn. Comput., 24 (1): 1-5 (January 2024)CAMPUS NEWS - an Information Network for Pervasive Universities., , and . GI Jahrestagung (1), volume P-109 of LNI, page 508-512. GI, (2007)In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning., and . Künstliche Intell., 37 (2): 249-254 (December 2023)From Theorem Proving to Logic Programming.. WLP, page 59-62. (1995)Semantically Guided Evolution of SHI ABoxes, and . Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, volume 8123 of Lecture Notes in Computer Science, Springer, (2013)Applications of Automated Reasoning, and . KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings, volume 4314 of Lecture Notes in Computer Science, Springer, (2007)Cognitive Systems and Question Answering, , and . Industrie 4.0 Management, 2015 (1): 29-32 (2015)A Knowledge Compilation Technique for ALC TBoxes, , and . Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA, AAAI Press, (2009)A Natural Language Question Answering System as a Participant in Human Q&A Portals., , , and . IJCAI, page 2430-2435. IJCAI/AAAI, (2011)