Searching for "A Truth Maintenance System." – sorted by Relevance.
117 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
