A generic ATMS

DOI10.1016/0888-613X(95)00118-ZzbMath0956.68539OpenAlexW2098138402MaRDI QIDQ1125788

Juan Luis Castro, Jose Manuel 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

truth maintenance systemDe Kleer algorithm

Mathematics Subject Classification ID

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

Related Items (1)

Abductive inference methods in problems of job planning in complex objects

Cites Work

• Unnamed Item
• Diagnosing multiple faults
• Linear resolution for consequence finding
• A new approach to approximate reasoning using a fuzzy logic
• A heuristic in rules-based systems

This page was built for publication: A generic ATMS