McAllester D., "Truth Maintenance", proceedings of AAAI90. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Backjump-based Backtracking for Constraint Satisfaction Problems - Dechter, Frost (2001) (3 citations) (Correct)
From Local to Global Consistency - Dechter (1992) (73 citations) (Correct)
Topological inference of teleology: Deriving function from.. - Everett (1999) (Correct)
Dynamic scheduling: State of the art report - Kocjan (2002) (1 citation) (Correct)
A Framework for Supervised Conceptualizing - Nóbrega, Castro, Malbos.. (Correct)
Tractable Reasoning in Knowledge Representation Systems - Dalal (1995) (2 citations) (Correct)
Anytime Diagnostic Reasoning using Approximate Boolean.. - Verberne, van.. (2000) (1 citation) (Correct)
The Information Agent: Building Intelligent Information.. - Barbuceanu, Fox (Correct)
Backtracking Algorithms for Constraint Satisfaction Problems.. - Dechter, Frost (1998) (11 citations) (Correct)
Structure-Driven Algorithms for Truth Maintenance - Dechter, Dechter (1994) (9 citations) (Correct)
Backtracking Algorithms for Constraint Satisfaction Problems - Dechter, Frost (1999) (11 citations) (Correct)
Tractable Databases: How to Make Propositional Unit Resolution.. - Val (1994) (7 citations) (Correct)
Final Report on Rational Distributed Reason Maintenance for.. - Doyle (1994) (Correct)
Recent Advances in AI Planning - Weld (1999) (55 citations) (Correct)
Belief Maintenance with Probabilistic Logic - Marco Ramoni (1993) (1 citation) (Correct)
Ignorant Influence Diagrams - Ramoni (1995) (4 citations) (Correct)
Global Optimization for Satisfiability (SAT) Problem - Gu (1994) (Correct)
Access-Limited Logic - A Language for Knowledge Representation - Crawford (1990) (15 citations) (Correct)
Local Search for Satisfiability (SAT) Problem - Gu (1993) (1 citation) (Correct)
Anytime Families of Tractable Propositional Reasoners - Dalal (6 citations) (Correct)
Backtracking Algorithms for Constraint Satisfaction Problems - a.. - Dechter (1998) (11 citations) (Correct)
An Ignorant Belief Network to Forecast Glucose.. - Ramoni, Riva.. (1995) (Correct)
Basic Science in Medical Reasoning: An Artificial Intelligence .. - Ramoni, Riva (Correct)
Semantics of an Anytime Family of Reasoners - Dalal (1996) (12 citations) (Correct)
Anytime Temporal Reasoning: Preliminary Report (Extended Abstract) - Dalal, al. (Correct)
Semantics of an Efficient Propositional Reasoner : Preliminary.. - Mukesh Dalal (1996) (Correct)
The Information Agent: An Infrastructure Agent Supporting.. - Barbuceanu, Fox (1994) (6 citations) (Correct)
Medical Decision Making using Ignorant Influence Diagrams - Ramoni, Riva, Stefanelli.. (Correct)
Automated Learning of Load-Balancing Strategies For A Distributed.. - Mehra (1992) (8 citations) (Correct)
Probabilistic Reasoning under Ignorance - Ramoni, Riva, Patel (1994) (1 citation) (Correct)
Anytime Influence Diagrams - Ramoni (1996) (Correct)
Simplification - A general constraint propagation technique for.. - Massacci (1998) (5 citations) (Correct)
Forecasting Glucose Concentration in Diabetic Patients using.. - Marco Ramoni (1994) (3 citations) (Correct)
Reason Maintenance and Belief Revision - Foundations vs. Coherence .. - Doyle (1992) (14 citations) (Correct)
A Propositional Root Antecedent ITMS - Guofu Wu And (Correct)
Generative Temporal Planning with Complex Processes - Kennell (2003) (Correct)
Generative Temporal Planning with Complex Processes - Kennell (2003) (Correct)
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
A Proof Theoretic View of Constraint Programming - Apt (1998) (8 citations) (Correct)
Compilation for Critically Constrained Knowledge Bases - Schrag, Miranker (1996) (9 citations) (Correct)
Tractable Deduction in Knowledge Representation Systems - Dalal (1992) (2 citations) (Correct)
Lifting Transformations - McAllester, Siskind (1991) Self-citation (Mcallester) (Correct)
Variational Attribute Grammars for Computer Aided.. - David Mcallester.. (7 citations) Self-citation (Mcallester) (Correct)
Nondeterministic Lisp as a Substrate for Constraint Logic.. - Siskind, McAllester (1993) (21 citations) Self-citation (Mcallester) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC