On the relationship between annotated logic programs and nonmonotonic formalisms

DOI10.1080/09528139508953819zbMATH Open0840.68016OpenAlexW2047402062MaRDI QIDQ4864837FDOQ4864837

Authors: 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

Recommendations

• Annotated nonmonotonic rule systems
• Nonmonotonic inheritance, argumentation and logic programming
• A theory of nonmonotonic inheritance based on annotated logic
• Two-valued logic programs
• A survey of annotated logics

zbMATH Keywords

inheritance reasoningHorn logic programs

Mathematics Subject Classification ID

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

Cites Work

• Bilattices and the semantics of logic programming
• A logic for default reasoning
• A logic for reasoning with inconsistency
• Title not available (Why is that?)
• A theory of nonmonotonic inheritance based on annotated logic

Cited In (3)

• The Paraconsistent Logics PJ
• Nonmonotonic inheritance, argumentation and logic programming
• On the relation between vector annotated logic programs and defeasible theories

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

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