A new logical characterisation of stable models and answer sets

DOI10.1007/bfb0023801zbMATH Open1547.6809MaRDI QIDQ6623793

David Pearce

Publication date: 24 October 2024

zbMATH Keywords

intuitionistic logicstable modelKripke framestrong negationlogic program

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive predicate logic with strong negation and model theory
• Theory of logical calculi. Basic theory of consequence operations
• A logic of knowledge and justified assumption
• Intuitionistic logic with strong negation
• Minimal belief and negation as failure
• Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
• Logic programming and reasoning with incomplete information
• Constructible falsity and inexact predicates
• On the Proof Method for Constructive Falsity
• A semantical study of constructible falsity
• Constructible falsity

Related Items (5)

Deontic equilibrium logic with explicit negation ⋮ Past-present temporal programs over finite traces ⋮ Logic programming ⋮ Metric temporal equilibrium logic over timed traces ⋮ Gödel-Dummett linear temporal logic

This page was built for publication: A new logical characterisation of stable models and answer sets