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) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27)

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

(11)

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

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)