Knowledge bases

[1]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[2]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[3]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[4]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[5]  Chris Mellish,et al.  Programming in Prolog (2nd ed.) , 1984 .

[6]  Francisco Corella,et al.  Cooperative responses to boolean queries , 1984, 1984 IEEE First International Conference on Data Engineering.

[7]  James Davidson,et al.  A natural language interface for performing database updates , 1984, 1984 IEEE First International Conference on Data Engineering.

[8]  Michele Missikoff,et al.  Towards a Unified Approach for Expert and Database Systems , 1984, Expert Database Workshop.

[9]  Gio Wiederhold,et al.  Knowledge and Database Management , 1984, IEEE Software.

[10]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[11]  Matthias Jarke,et al.  A Short Introduction to Expert Systems , 1983, IEEE Database Eng. Bull..

[12]  Robert L. Blum,et al.  Discovery and Representation of Causal Relationships from a Large Time-Oriented Clinical Database: The RX Project , 1982, Lecture Notes in Medical Informatics.

[13]  S. Jerrold Kaplan,et al.  Cooperative Responses from a Portable Natural Language Query System , 1982, Artif. Intell..

[14]  D. Vermeir,et al.  A procedure to define the object type structure of a conceptual schema , 1982, Inf. Syst..

[15]  Gio Wiederhold,et al.  Binding in information processing , 1981 .

[16]  John Gaschnig,et al.  MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .

[17]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[18]  Gary G. Hendrix Mediating the Views of Databases and Database Users , 1980, Workshop on Data Abstraction, Databases and Conceptual Modelling.

[19]  Jonathan J. King Intelligent Retrieval Planning , 1980, AAAI.

[20]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[21]  Ramez Elmasri,et al.  Properties of relationships and their representation , 1899, AFIPS '80.

[22]  E.H. Shortliffe,et al.  Knowledge engineering for medical decision making: A review of computer-based clinical decision aids , 1979, Proceedings of the IEEE.

[23]  Ramez Elmasri,et al.  A structural model for database systems , 1979 .

[24]  Sheldon B. Akers,et al.  Binary Decision Diagrams , 1978, IEEE Transactions on Computers.

[25]  Daniel H. H. Ingalls,et al.  The Smalltalk-76 programming system design and implementation , 1978, POPL.

[26]  Gio Wiederhold,et al.  Database Design , 1977 .

[27]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[28]  Carl Hewitt,et al.  Actor semantics of PLANNER-73 , 1975, POPL '75.

[29]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[30]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[31]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[32]  Saul Amarel,et al.  On representations of problems of reasoning about actions , 1968 .

[33]  J. Heijenoort From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .

[34]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[35]  John McCarthy,et al.  Programs with common sense , 1960 .