A sufficient condition for backtrack-bounded search
Journal of the ACM (JACM)
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
Arc and path consistence revisited
Artificial Intelligence
Artificial Intelligence
The mathematics of inheritance systems
The mathematics of inheritance systems
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Autoepistemic logic and formalization of commonsense reasoning: preliminary report
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Ontic: a knowledge representation system for mathematics
Ontic: a knowledge representation system for mathematics
Taxonomic syntax for first order inference
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Natural Language Syntax and First Order Inference
Natural Language Syntax and First Order Inference
Automatic Recognition of Tractability for Inference Relations
Automatic Recognition of Tractability for Inference Relations
A comparison of ATMS and CSP techniques
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Some applications of graph bandwidth to constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Abductive inference methods in problems of job planning in complex objects
Journal of Computer and Systems Sciences International
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Scaling up logic-based truth maintenance systems via fact garbage collection
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Reasoning as axioms change: incremental view maintenance reconsidered
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Belief maintenance in Bayesian networks
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Resource-Bounded belief revision and contraction
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Dynamic network updating techniques for diagnostic reasoning
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Non-Clausal Reasoning with Definite Theories
Fundamenta Informaticae
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Abduction in work-planning problems in complex objects
Scientific and Technical Information Processing
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
General purpose truth maintenance systems have received considerable attention in the past few years. This paper discusses the functionality of truth maintenance systems and compares various existing algorithms. Applications and directions for future research are also discussed.