A truth maintenance system

1979/11/01 by Jon Doyle · 13 citations
Computer Science · Decision Sciences · #Software Engineering Research #Logic, programming, and type systems #Scientific Computing and Data Management

paper · doi:10.1016/0004-3702(79)90008-0

Cited by

• Lifted Representation Hypothesis in Language Models
• Truth Maintenance Under Uncertainty
• Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox
• In the Mind or in the World? Types of Beliefs and the Locality of Evidence
• Extending and Implementing the Stable Model Semantics
• Incremental Probabilistic Inference
• Constraint compiling into rules formalism constraint compiling into rules formalism for dynamic CSPs computing
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences
• Nonmonotonic Reasoning as a Temporal Activity
• A Reason Maintenace System Dealing with Vague Data
• Neural correlates of causal power judgments. [europepmc]
• Diagnosing a Strong-Fault Model by Conflict and Consistency. [europepmc]
• Nobel Turing Challenge: creating the engine for scientific discovery. [europepmc]