A First Theory of Plausible Inference and Its Use in Continuous Domain Planning

[1]  Scott Bennett,et al.  A Domain Independent Explanation-Based Generalizer , 1986, AAAI.

[2]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

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

[4]  David L. Waltz,et al.  Event Shape Diagrams , 1982, AAAI.

[5]  Monte Zweben,et al.  Learning Search Control for Constraint-Based Scheduling , 1990, AAAI.

[6]  Gerald DeJong,et al.  Explanation-Based Learning: An Alternative View , 2005, Machine Learning.

[7]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[8]  Allen Ginsberg,et al.  Knowledge Base Refinement and Theory Revision , 1989, ML.

[9]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[10]  Drew McDermott,et al.  A critique of pure reason 1 , 1987, The Philosophy of Artificial Intelligence.

[11]  William W. Cohen.  Learning from Textbook Knowledge: A Case Study , 1990, AAAI.

[12]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[13]  Edwin P. D. Pednault,et al.  Synthesizing plans that contain actions with context‐dependent effects 1 , 1988, Comput. Intell..

[14]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[15]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[16]  Larry A. Rendell.  A General Framework for Induction and a Study of Selective Induction , 1986, Mach. Learn..

[17]  Pat Langley,et al.  Towards an Integrated Discovery System , 1987, IJCAI.

[18]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[19]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[20]  John C. Hogge.  Compiling Plan Operators from Domains Expressed in Qualitative Process Theory , 1987, AAAI.

[21]  Raymond J. Mooney,et al.  Changing the Rules: A Comprehensive Approach to Theory Refinement , 1990, AAAI.

[22]  David C. Wilkins,et al.  Knowledge Base Refinement Using Apprenticeship Learning Techniques , 1988, AAAI.

[23]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[24]  Gary Conrad Borchardt,et al.  A Computer Model for the Representation and Identification of Physical Events , 1984 .

[25]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[26]  Benjamin N. Grosof,et al.  Declarative Bias for Structural Domains , 1989, ML.

[27]  M. Pazzani.  Inducing Causal and Social Theories: A Prerequisite for Explanation-based Learning , 1987 .

[28]  Paul E. Utgoff,et al.  Shift of bias for inductive concept learning , 1984 .