MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Truth Maintenance Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

633 documents found, showing 1 through 10. Next 10 →

ATOM

Belief Revision and Truth Maintenance Systems: An Overview and a Proposal
by Stuart C. Shapiro — 1998
…Belief Revision and Truth Maintenance Systems: An Overview and a Proposal CSE Technical Report 98…
Cited by 3 (0 self) – Add To MetaCart

Using Truth Maintenance Systems to Solve the Data Consistency Problem
by Paper Category Research, Brian Lings
…Using Truth Maintenance Systems to Solve the Data Consistency Problem Paper Category: research…
Add To MetaCart

Dependency-directed reconsideration: Belief base optimization for truth maintenance systems
by Frances L. Johnson, Stuart C. Shapiro — 2005 — In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05
…Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems Frances…
Cited by 5 (3 self) – Add To MetaCart

Implementing Constraint Relaxation over Finite Domains using Assumption-based Truth Maintenance
by Narendra Jussien, Patrice Boizumault — 1996
…-based Truth Maintenance Systems propose a uniform framework to tackle those requirements. The main idea of our…
Cited by 5 (2 self) – Add To MetaCart

Implementing Constraint Relaxation over Finite Domains using Assumption-based Truth Maintenance
by Narendra Jussien And, Narendra Jussien, Patrice Boizumault — 1996 — Over-Constrained Systems, number 1106 in Lecture Notes in Computer Science
…-based Truth Maintenance Systems propose a uniform framework to tackle those requirements. The main idea of our…
Add To MetaCart

Design And Implementation Of Multiple-Context Truth Maintenance System With Binary Decision Diagram
by Hiroshi G. Okuno, Osamu Shimokuni, Hidehiko Tanaka — 1996
…DESIGN AND IMPLEMENTATION OF MULTIPLE-CONTEXT TRUTH MAINTENANCE SYSTEM WITH BINARY DECISION DIAGRAM…
Add To MetaCart

A Possibilistic Assumption-based Truth Maintenance System with Uncertain Justification and its
by Didier Dubois, Jerome Lang, Henri Prade, In Methodologies, Intelligent Systems, Z. W. Ras, M. Zemankova, M. L. Emrich — 1991
… ATMS can be applied to truth maintenance problems in presence of uncertainty, to default reasoning…
Cited by 7 (5 self) – Add To MetaCart

Truth Maintenance
by David Mcallester — 1990
….ai.mit.edu:/pub/dam/dam.bib. Abstract General purpose truth maintenance systems have received considerable attention in the past few…
Cited by 103 (3 self) – Add To MetaCart

Belief Maintenance with Probabilistic Logic
by Marco Ramoni, Marco Ramoni, Alberto Riva, Alberto Riva — 1993 — In Proceedings of the AAAI Fall Symposium on Automated Deduction in Non Standard Logics
… extensions of truth maintenance systems that use probabilities rather than boolean truth-values. This paper…
Cited by 12 (9 self) – Add To MetaCart

A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver
by J.C. Madre, O. Coudert — 1991 — in Proc. of IJCAI'91
… Abstract This paper presents a logically complete assumption based truth maintenance system (ATMS…
Cited by 20 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB