On the relationship between annotated logic programs and nonmonotonic formalisms

DOI10.1080/09528139508953819zbMath0840.68016OpenAlexW2047402062MaRDI QIDQ4864837

Krishnaprasad Thirunarayan

Publication date: 27 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/09528139508953819

zbMATH Keywords

inheritance reasoningHorn logic programs

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• Unnamed Item
• A theory of nonmonotonic inheritance based on annotated logic
• A logic for reasoning with inconsistency
• A logic for default reasoning
• Bilattices and the semantics of logic programming

This page was built for publication: On the relationship between annotated logic programs and nonmonotonic formalisms