Knowledge Systems: Principles and Practice
暂无分享,去创建一个
[1] Douglas B. Lenat,et al. Why AM and EURISKO Appear to Work , 1984, Artif. Intell..
[2] Claus-Rainer Rollinger,et al. The Discovery of the Equator or Concept Driven Learning , 1983, IJCAI.
[3] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[4] Hans Diel,et al. An Experimental Computer Architecture Supporting Expert Systems and Logic Programming , 1986, IBM J. Res. Dev..
[5] Nancy Martin,et al. Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.
[6] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .
[7] Alain Colmerauer,et al. Metamorphosis Grammars , 1978, Natural Language Communication with Computers.
[8] Carl Hewitt,et al. Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..
[9] Richard Fikes,et al. The role of frame-based representation in reasoning , 1985, CACM.
[10] P. Hirsch. M. Meier. PRISM: PRototype Inference SysteM , 1899 .
[11] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .
[12] Michael J. Maher,et al. The Denotational Semantics of Horn Clauses as a Production System , 1983, AAAI.
[13] J. A. Robinson,et al. Logic, form and function , 1979 .
[14] Marvin Minsky,et al. A framework for representing knowledge , 1974 .
[15] Elaine Kant,et al. Programming expert systems in OPS5 , 1985 .
[16] Steven Snyder,et al. Interfaces for Knowledge-Base Builders' Control Knowledge and Application-Specific Procedures , 1986, IBM J. Res. Dev..
[17] John F. Sowa,et al. Implementing a Semantic Interpreter Using Conceptual Graphs , 1986, IBM J. Res. Dev..
[18] John McCarthy,et al. LISP 1.5 Programmer's Manual , 1962 .
[19] Allen Newell,et al. GPS, a program that simulates human thought , 1995 .
[20] Alan Bundy,et al. Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation , 1980, CADE.
[21] William F. Eddy,et al. Structures of Rule-Based Belief Functions , 1986, IBM J. Res. Dev..
[22] Charles L. Forgy,et al. OPS5 user's manual , 1981 .
[23] Marie-Claude Landau,et al. Conceptual Graphs for Semantics and Knowledge Processing , 1986, IBM J. Res. Dev..
[24] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[25] Herbert A. Simon,et al. WHY SHOULD MACHINES LEARN , 1983 .
[26] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[27] Craig William Fellenstein,et al. A Prototype Manufacturing Knowledge Base in Syllog , 1985, IBM J. Res. Dev..
[28] Peter van Emde Boas,et al. Storing and Evaluating Horn-Clause Rules in a Relational Database , 1986, IBM J. Res. Dev..
[29] Adrian Walker,et al. On Retrieval from a Small Version of a Large Data Base , 1980, VLDB.
[30] Koichi Furukawa,et al. A Methodology for Implementation of a Knowledge Acquisition System , 1984, SLP.
[31] J. Ross Quinlan,et al. Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .
[32] Adrian Walker,et al. Some Practical Properties of Logic Programming Interpreters , 1984, FGCS.
[33] Daniel G. Bobrow,et al. Knowledge Programming in Loops: Report on an Experimental Course , 1983, AI Mag..
[34] David A. Klein,et al. A Continuous Real-Time Expert System for Computer Operations , 1986, IBM J. Res. Dev..
[35] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[36] Joxan Jaffar,et al. Completeness of the Negation as Failure Rule , 1983, IJCAI.
[37] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.
[38] Alan Bundy,et al. Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation , 1980, Artif. Intell..
[39] Marvin Minsky,et al. A framework for representing knowledge" in the psychology of computer vision , 1975 .
[40] Judea Pearl,et al. Heuristics : intelligent search strategies for computer problem solving , 1984 .
[41] Wolfgang Schönfeld,et al. A Theory for the Representation of Knowledge , 1986, IBM J. Res. Dev..
[42] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[43] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[44] Douglas B. Lenat,et al. The Role of Heuristics in Learning by Discovery: Three Case Studies , 1983 .
[45] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.
[46] Bruce G. Buchanan,et al. Dendral and Meta-Dendral: Their Applications Dimension , 1978, Artif. Intell..