Dependency semantics for sequences of extended logic programs

DOI10.1093/JIGPAL/JZS012MaRDI QIDQ3165890zbMATH OpenOpenAlexFDO

Authors Patrick Krümpelmann

Publication date 19 October 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzs012

zbMATH Keywords

dependencyextended logic programminginconsistency

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Paraconsistent declarative semantics for extended logic programs
• scientific article; zbMATH DE number 970716
• An encompassing framework for paraconsistent logic programs
• Belief Base Change Operations for Answer Set Programming
• Paraconsistent Stable Semantics for Extended Disjunctive Programs

Cited in

(2)

• Belief Base Change Operations for Answer Set Programming
• A brief history of updates of answer-set programs

This page was built for publication: Dependency semantics for sequences of extended logic programs

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