Searching for "A Truth Maintenance System." – sorted by Relevance.
-
Truth Maintenance
- Doyle wrote a masters thesis at the MIT AI Laboratory entitled "Truth Maintenance Systems for Problem
- Cited by 102 (3 self) – Add To MetaCart
-
Making inconsistency respectable 1: A logical framework for inconsistency in reasoning
- , such as "ask the user", or invoke a "truth maintenance system", or as signals for internal actions
- Cited by 16 (7 self) – Add To MetaCart
-
Management of Change in Structured Verification
- truth maintenance system for structured specification and verification. It is based on the simple
- Cited by 12 (0 self) – Add To MetaCart
-
A Mixed Top-Down and Bottom-Up Deduction Method and its Correctness
- dependencies, and a Truth Maintenance System to store dynamic dependencies between partial lemmas generated
- Cited by 1 (1 self) – Add To MetaCart
-
Non-Monotonic Reasoning in Multivalued and Fuzzy Logic
- system which results in the non-monotony will be a Truth Maintenance System (TMS). Particularly, we
- Cited by 1 (1 self) – Add To MetaCart
-
Using CSPs to encode TMSs
- Saint Priest 34090 Montpellier, France Email: bessiere@(email omitted); Abstract A truth maintenance system (TMS
- Cited by 2 (1 self) – Add To MetaCart
-
Generalized Earley Deduction and its Correctness
- program to represent static dependencies, and a Truth Maintenance System to store dynamic dependencies
- Cited by 3 (2 self) – Add To MetaCart
-
A Theory Construction Approach To Legal Document Assembly
- an Assumption-based Truth Maintenance System (ATMS), a Natural Deduction theorem prover, and an implementation
- Cited by 16 (0 self) – Add To MetaCart
-
Knowledge-Based Simulation of DNA Metabolism: Prediction of Enzyme Action
- -chaining (hypothesis-driven) inference. We also require a truth-maintenance system (TMS) to support nonmonotonic
- Cited by 6 (0 self) – Add To MetaCart
-
Enabling fast flexible planning through incremental temporal reasoning
- * and those used within truth maintenance systems (TMS). Empirical studies of ITC applied to the Kirk temporal
- Cited by 7 (0 self) – Add To MetaCart

