scientific article; zbMATH DE number 67477

zbMATH Open0747.68072MaRDI QIDQ4012209FDOQ4012209

Authors: Jean Christophe Madre, Olivier Coudert 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Implementing semantic merging operators using binary decision diagrams
• Title not available (Why is that?)
• 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)