Making believers out of computers
Artificial Intelligence
A more expressive formulation of many sorted logic
Journal of Automated Reasoning
A formal representation for plans in the programmer's apprentice
Readings in artificial intelligence and software engineering
The programmer's apprentice
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Automated program recognition: a feasibility demonstration
Artificial Intelligence
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Artificial intelligence at MIT expanding frontiers
A general framework for sorted deduction: fundamental results on hybrid reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Pattern-directed invocation with changing equations
Journal of Automated Reasoning
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
Simplification by Cooperating Decision Procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
The FRL Manual
Dependency-Directed Localization of Software Bugs
Dependency-Directed Localization of Software Bugs
Supporting Reuse and Evolution in Software Design
Supporting Reuse and Evolution in Software Design
The description logic handbook
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Decidable reasoning in terminological knowledge representation systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |
The particular combination of facilities implemented in CAKE is motivated by the need to support research in automatic programing, rather than any specific set of research questions in knowledge representation and reasoning. Nevertheless, we believe CAKE epitomizes two central challenges in the current state of the art in knowledge representation and reasoning: How do we develop a principled approach to hybrid systems, and how do we learn to live with limited reasoning capabilities?