Consistency properties and set based logic programming

DOI10.1007/s10472-009-9117-xzbMath1180.68102OpenAlexW2050512801MaRDI QIDQ1028650

Anil Nerode, Jeffery B. Remmel

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 in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• Set based logic programming
• A logic for default reasoning
• Logic programs, well-orderings, and forward chaining
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• Minimal belief and negation as failure
• Logic programs with stable model semantics as a constraint programming paradigm
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Unnamed Item
• Unnamed Item