Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Foundations of logic programming
Foundations of logic programming
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
The role of frame-based representation in reasoning
Communications of the ACM
A continuous real-time expert system for computer operations
IBM Journal of Research and Development
Interfaces for knowledge-base builders' control knowledge and application-specific procedures
IBM Journal of Research and Development
A theory for the representation of knowledge
IBM Journal of Research and Development
Implementing a semantic interpreter using conceptual graphs
IBM Journal of Research and Development
Conceptual graphs for semantics and knowledge processing
IBM Journal of Research and Development
Storing and evaluating Horn-clause rules in a relational database
IBM Journal of Research and Development
Structures of rule-based belief functions
IBM Journal of Research and Development
An experimental computer architecture supporting expert systems and logic programming
IBM Journal of Research and Development
Empirical explorations with the logic theory machine: a case study in heuristics
Computers & thought
GPS, a program that simulates human thought
Computers & thought
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Algorithmic Program DeBugging
Natural Language Communication with Computers
LISP 1.5 Programmer's Manual
On retrieval from a small version of a large data base
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
The discovery of the equator or concept driven learning
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Completeness of the negation as failure rule
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
CRITAC—an experimental system for Japanese text proofreading
IBM Journal of Research and Development
Creating a Software-Engineering Knowledge Base
IEEE Software
A prototype for intelligent computer integrated wood truss fabrication
Robotics and Autonomous Systems
Hi-index | 0.00 |