Author of the publication

A General System for Learning and Reasoning in Symbolic Domains.

, , and . AGI, volume 8598 of Lecture Notes in Computer Science, page 174-185. Springer, (2014)

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

Bounded Cognitive Resources and Arbitrary Domains., , , and . AGI, volume 9205 of Lecture Notes in Computer Science, page 166-176. Springer, (2015)Reasoning About Truth in First-Order Logic., , , and . J. Log. Lang. Inf., 22 (1): 115-137 (2013)A General System for Learning and Reasoning in Symbolic Domains., , and . AGI, volume 8598 of Lecture Notes in Computer Science, page 174-185. Springer, (2014)Learning and Reasoning in Unknown Domains., , , and . J. Artificial General Intelligence, 7 (1): 104-127 (2016)Symbolic Reasoning with Bounded Cognitive Resources., , , and . CogSci, cognitivesciencesociety.org, (2014)Integrating Symbolic and Sub-symbolic Reasoning., and . AGI, volume 9782 of Lecture Notes in Computer Science, page 171-180. Springer, (2016)Bounded Kolmogorov Complexity Based on Cognitive Models., , , and . AGI, volume 7999 of Lecture Notes in Computer Science, page 130-139. Springer, (2013)Integrating Axiomatic and Analogical Reasoning., , and . AGI, volume 9782 of Lecture Notes in Computer Science, page 181-191. Springer, (2016)Generating Comprehensible Explanations in Description Logic., , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 530-542. CEUR-WS.org, (2014)