论文信息 - The XPRT Description System - 字舞流文

The XPRT Description System

Luc Steels | L. Steels

[1] Carl Hewitt,et al. Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[2] Luc Steels,et al. Frame-Based Knowledge Representation , 1978 .

[3] Jon Doyle,et al. Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[4] Ira P. Goldstein,et al. The FRL Manual , 1977 .

[5] Daniel G. Bobrow,et al. On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[6] Luc Steels,et al. Some Examples of Conceptual Grammar , 1978 .

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

[8] C. Hewitt. Planner: a language for manipulating models and proving theorems in a robot" ijcai-69 , 1970 .

[9] Carl Hewitt,et al. How To Use What You Know , 1975, IJCAI.

[10] Scott E. Fahlman,et al. NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[11] Gerald Jay Sussman,et al. Why Conniving is Better than Planning , 1972 .

[12] Carl Hewitt,et al. Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[13] Gerald J. Sussman,et al. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[14] Henry Lieberman,et al. Specifying and Proving Properties of Guardians for Distributed Systems , 1979, Semantics of Concurrent Computation.