scientific article; zbMATH DE number 67477

MaRDI QIDQ4012209zbMATH OpenFDO

Authors Jean Christophe Madre, Olivier Coudert

Publication date 27 September 1992

zbMATH Keywords

logically complete ATMSreasoning maintenance systemTyped decision graphs

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• A generic ATMS
• scientific article; zbMATH DE number 4106294
• An assumption-based truth maintenance system dealing with non-ground justifications
• A rational reconstruction of nonmonotonic truth maintenance systems
• scientific article; zbMATH DE number 17802

Cited in

(13)

• A generic ATMS
• Symbolic model checking: \(10^{20}\) states and beyond
• On the non-termination of MDG-based abstract state enumeration
• Ordered binary decision diagrams as knowledge-bases
• Reasoning with ordered binary decision diagrams
• Implementing semantic merging operators using binary decision diagrams
• An efficient query learning algorithm for ordered binary decision diagrams
• scientific article; zbMATH DE number 4162293 (Why is no real title available?)
• scientific article; zbMATH DE number 4106294 (Why is no real title available?)
• scientific article; zbMATH DE number 1324661 (Why is no real title available?)
• Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
• Consistency restoration and explanations in dynamic CSPs---Application to configuration
• Polynomial threshold functions of bounded tree-width: some explainability and complexity aspects

This page was built for publication:

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