An assumption-based truth maintenance system dealing with non-ground justifications

DOI10.1080/09528139650042529zbMath0854.68017OpenAlexW2005697641MaRDI QIDQ4880539

Evelina Lamma, Paola Mello

Publication date: 9 June 1996

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09528139650042529

zbMATH Keywords

abductive reasoningassumption-based truth maintenance system

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Cites Work

• Updating knowledge bases
• A logical framework for default reasoning
• Characterizing diagnoses and systems
• SLDNFA: An abductive procedure for abductive logic programs
• Partial evaluation in logic programming
• The Semantics of Predicate Logic as a Programming Language
• Partial deduction for structured logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An assumption-based truth maintenance system dealing with non-ground justifications