Consistency properties and set based logic programming

DOI10.1007/S10472-009-9117-XMaRDI QIDQ1028650zbMATH OpenOpenAlexFDO

Authors Jeffrey Remmel, Anil Nerode

Publication date 6 July 2009

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-009-9117-x

zbMATH Keywords

consistencyset-based logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Set based logic programming
• Stable and extension class theory for logic programs and default logics
• scientific article; zbMATH DE number 638305
• A correct logic programming computation of default logic extensions
• scientific article; zbMATH DE number 994055

Cites work

• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• A logic for default reasoning
• scientific article; zbMATH DE number 1123617 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programs with stable model semantics as a constraint programming paradigm
• Logic programs, well-orderings, and forward chaining
• Minimal belief and negation as failure
• Set based logic programming

Cited in

(2)

• Set based logic programming
• scientific article; zbMATH DE number 1140683 (Why is no real title available?)

This page was built for publication: Consistency properties and set based logic programming

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