A generic ATMS

DOI10.1016/0888-613X(95)00118-ZMaRDI QIDQ1125788zbMATH OpenOpenAlexFDO

Authors J. L. Castro, J. M. Zurita

Publication date 1996

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0888-613x(95)00118-z

zbMATH Keywords

De Kleer algorithmtruth maintenance system

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)

Recommendations

• An assumption-based truth maintenance system dealing with non-ground justifications
• scientific article; zbMATH DE number 4106294
• scientific article; zbMATH DE number 67477
• scientific article; zbMATH DE number 4174346

Cites work

• A heuristic in rules-based systems
• A new approach to approximate reasoning using a fuzzy logic
• Diagnosing multiple faults
• scientific article; zbMATH DE number 4060781 (Why is no real title available?)
• Linear resolution for consequence finding

Cited in

(8)

• JGXYZ: an ATP system for gap and glut logics
• scientific article; zbMATH DE number 4162312 (Why is no real title available?)
• Abductive inference methods in problems of job planning in complex objects
• scientific article; zbMATH DE number 4106294 (Why is no real title available?)
• scientific article; zbMATH DE number 4106297 (Why is no real title available?)
• scientific article; zbMATH DE number 67477 (Why is no real title available?)
• A Fixed Point Semantics for the ATMS
• An assumption-based truth maintenance system dealing with non-ground justifications

This page was built for publication: A generic ATMS

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