Author of the publication

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

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover., , and . ARCADE@CADE, volume 311 of EPTCS, page 19-24. (2019)CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning., and . LuxLogAI (Student / Workshop Papers), volume 10 of Kalpa Publications in Computing, page 20-26. EasyChair, (2018)Cognitive Reasoning: A Personal View., , , , and . Künstliche Intell., 33 (3): 209-217 (2019)The CoRg Project: Cognitive Reasoning., , and . Künstliche Intell., 33 (3): 293-299 (2019)RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League., , , and . RoboCup, volume 11374 of Lecture Notes in Computer Science, page 230-237. Springer, (2018)Entwicklung interdisziplinärer Module in der Hochschulbildung., , , , , , and . GI-Jahrestagung, volume P-337 of LNI, page 461-464. Gesellschaft für Informatik, Bonn, (2023)Joining Formal and Cognitive Reasoning., , , and . FLAP, 10 (2): 115-119 (2023)Cognitive Reasoning: A Personal View, , , , and . KI, (2019)Automating Defeasible Reasoning with Logic Programming., , , and . German-Argentinian Workshop on Information Technology, page 39-46. (1999)Localization, Exploration, and Navigation Based on Qualitative Angle Information.. Spatial Cognition & Computation, 10 (1): 28-52 (2010)