Structure-driven algorithms for truth maintenance

DOI10.1016/0004-3702(94)00096-4MaRDI QIDQ2674194zbMATH OpenOpenAlexFDO

Authors Rina Dechter, Avi Dechter

Publication date 22 September 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(94)00096-4

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1163571
• scientific article; zbMATH DE number 1066854
• scientific article; zbMATH DE number 140420
• Structured belief bases
• Truth maintenance systems and their application for verifying expert system knowledge bases

Cites work

• A general framework for reason maintenance
• A Sufficient Condition for Backtrack-Free Search
• scientific article; zbMATH DE number 4162321 (Why is no real title available?)
• scientific article; zbMATH DE number 67481 (Why is no real title available?)
• Network-based heuristics for constraint-satisfaction problems
• On the logic of theory change: Partial meet contraction and revision functions
• Tree clustering for constraint networks

Cited in

(7)

• A logical notion of conditional independence: properties and applications
• Truth maintenance systems. ECAI '90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings
• Combinatorial problems raised from 2-semilattices
• scientific article; zbMATH DE number 4162293 (Why is no real title available?)
• scientific article; zbMATH DE number 176519 (Why is no real title available?)
• Diagnosing tree-structured systems
• Consistency restoration and explanations in dynamic CSPs---Application to configuration

This page was built for publication: Structure-driven algorithms for truth maintenance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2674194)