Minimal Logic Programs

DOI10.1007/978-3-540-74610-2_8MaRDI QIDQ3608649zbMATH OpenOpenAlexFDO

Authors

Publication date 5 March 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74610-2_8

zbMATH Keywords

answer set programminglogic programmingminimisation of Boolean and multi-valued functions

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Strongly equivalent logic programs
• Propositional theories are strongly equivalent to logic programs
• On the minimality of stable models
• scientific article; zbMATH DE number 4110071
• Computing minimal models by partial instantiation

Cited in

(23)

• Temporal equilibrium logic: a survey
• SAT-Based Formula Simplification
• The Modal Logic of Equilibrium Models
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• On Minimal Models
• Equivalence for the G₃^-stable models semantics
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• Smallest horn clause programs
• scientific article; zbMATH DE number 4110071 (Why is no real title available?)
• A denotational semantics for equilibrium logic
• scientific article; zbMATH DE number 7453102 (Why is no real title available?)
• scientific article; zbMATH DE number 3476556 (Why is no real title available?)
• On uniform equivalence of epistemic logic programs
• Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
• Syntactic ASP forgetting with forks
• Forgetting auxiliary atoms in forks
• A syntactic operator for forgetting that satisfies strong persistence
• On syntactic forgetting under uniform equivalence
• Minimal Logicism
• Relating minimal models and pre-requisite-free normal defaults
• Syntactic ASP forgetting with forks
• Capturing equilibrium models in modal logic
• On the minimality of stable models

This page was built for publication: Minimal Logic Programs

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