Investigating Production System Representations for Non-Combinatorial Match

[1]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[2]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[3]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[4]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[5]  Alex Goodall,et al.  The guide to expert systems , 1985 .

[6]  Steven Minton,et al.  Selectively Generalizing Plans for Problem-Solving , 1985, IJCAI.

[7]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[8]  David E. Smith,et al.  Ordering Conjunctive Queries , 1985, Artif. Intell..

[9]  Nancy Martin,et al.  Programming Expert Systems in OPS5 - An Introduction to Rule-Based Programming(1) , 1985, Int. CMG Conference.

[10]  John E. Laird,et al.  Mapping Explanation-Based Generalization onto Soar , 1986, AAAI.

[11]  Daniel P. Miranker.  TREAT: a better match algorithm for AI production systems , 1987, AAAI 1987.

[12]  John E. Laird,et al.  Learning General Search Control from Outside Guidance , 1987, IJCAI.

[13]  Rina Dechter,et al.  Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..

[14]  Anoop Gupta.  Parallelism in production systems , 1987 .

[15]  Salvatore J. Stolfo,et al.  Initial Performance of the DADO2 Prototype , 1987, Computer.

[16]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[17]  Allen Newell,et al.  Soar/PSM-E: investigating match parallelism in a learning production sytsem , 1988, PPEALS '88.

[18]  Daniel P. Miranker.  TREAT: A new and efficient match algorithm for AI production systems , 1988 .

[19]  Norbert Theuretzbacher,et al.  The Challenge of Real-Time Process Control for Production Systems , 1988, AAAI.

[20]  Jaime G. Carbonell,et al.  Learning effective search control knowledge: an explanation-based approach , 1988 .

[21]  Anoop Gupta,et al.  Comparison of the RETE and TREAT production matchers for soar (A summary) , 1988, AAAI 1988.

[22]  Toru Ishida,et al.  Optimizing Rules in Production System Programs , 1988, AAAI.

[23]  Allen Newell,et al.  Soar/PSM-E: investigating match parallelism in a learning production sytsem , 1988, PPoPP 1988.

[24]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[25]  Shaul Markovitch,et al.  Information Filters and Their Implementation in the SYLLOG System , 1989, ML.

[26]  Oren Etzioni,et al.  Explanation-Based Learning: A Problem Solving Perspective , 1989, Artif. Intell..

[27]  Paul P. Maglio,et al.  Approximating Learned Search Control Knowledge , 1989, ML.

[28]  N. S. Sridharan,et al.  Real-Time AI Systems: A Definition and An Architecture , 1989, IJCAI.

[29]  Mark W. Perlin,et al.  The Match Box algorithm for parallel production system match , 1989 .

[30]  Milind Tambe,et al.  Eliminating Expensive Chunks by Restricting Expressiveness , 1989, IJCAI.

[31]  Paul E. Utgoff,et al.  Explaining Temporal Differences to Create Useful Concepts for Evaluating States , 1990, AAAI.

[32]  Paul S. Rosenbloom,et al.  Knowledge Level and Inductive Uses of Chunking (EBL) , 1990, AAAI.

[33]  William W. Cohen.  Learning Approximate Control Rules of High Utility , 1990, ML.

[34]  Milind Tambe,et al.  A Frameworkfor Investigating Production System Formulations with Polynomially Bounded Match , 1990, AAAI.

[35]  Daniel P. Miranker,et al.  On the Performance of Lazy Matching in Production Systems , 1990, AAAI.

[36]  Tom M. Mitchell,et al.  Becoming Increasingly Reactive , 1990, AAAI.

[37]  A. Newell.  Unified Theories of Cognition , 1990 .

[38]  Mark W. Perlin,et al.  Scaffolding the RETE network , 1990, [1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence.

[39]  Eugene C. Freuder.  Complexity of K-Tree Structured Constraint Satisfaction Problems , 1990, AAAI.

[40]  John Yen,et al.  A Principled Approach to Reasoning About the Specificity ofRules , 1990, AAAI.

[41]  Albert Mo Kim Cheng,et al.  MRL: a real-time rule-based production system , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[42]  Steven Minton,et al.  Quantitative Results Concerning the Utility of Explanation-based Learning , 1988, Artif. Intell..

[43]  Douglas N. Gordin,et al.  Set-oriented constructs: from Rete rule bases to database systems , 1991, SIGMOD '91.

[44]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[45]  Allen Newell,et al.  A Preliminary Analysis of the Soar Architecture as a Basis for General Intelligence , 1991, Artif. Intell..

[46]  Benjamin Kuipers,et al.  Negation and Proof by Contradiction in Access-Limited Logic , 1991, AAAI.

[47]  Franz Barachini.  The evolution of PAMELA , 1991 .

[48]  Milind Tambe.  Eliminating combinatorics from production match , 1991 .

[49]  Allen Newell,et al.  Natural Language Comprehension in Soar Spring 1991 , 1991 .

[50]  Jacques Bouaud,et al.  A Reconstruction of Conceptual Graphs on Top of a Production System , 1992, Workshop on Conceptual Graphs.

[51]  Eric N. Hanson,et al.  Rule condition testing and action execution in Ariel , 1992, SIGMOD '92.

[52]  Anoop Gupta,et al.  Run-Time Prediction for Production Systems , 1992, AAAI.

[53]  Mark W. Perlin,et al.  Constraint satisfaction for production system match , 1992, Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92.

[54]  Eugene C. Freuder,et al.  An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space , 1992, AAAI.

[55]  Milind Tambe,et al.  Collection-Oriented Match: Scaling Up the Data in Production Systems, , 1992 .

[56]  Milind Tambe,et al.  An efficient algorithm for production systems with linear-time match , 1992, Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92.

[57]  Todd R. Johnson,et al.  Limitations of the unique-attribute representation for a learning system , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

[58]  Milind Tambe,et al.  Flexible integration of path-planning capabilities , 1993, Other Conferences.