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 .