Interpolable formulas in equilibrium logic and answer set programming

MaRDI QIDQ3112653zbMATH OpenFDO

Authors

Publication date 12 January 2012

Full work available at URL https://arxiv.org/abs/1401.3897

zbMATH Keywords

answer set semanticsequilibrium modelsinterpolationlogic of here and theresafe formulas

Mathematics Subject Classification ID

Intermediate logics (03B55) Logic in artificial intelligence (68T27)

Recommendations

• Equilibrium logic
• scientific article; zbMATH DE number 1931663
• scientific article; zbMATH DE number 1696829
• Logic Programming and Nonmonotonic Reasoning
• On the existence of polynomial time algorithms for interpolation problems in propositional logic

Cited in

(6)

• Lower bound founded logic of here-and-there
• Combining equilibrium logic and dynamic logic
• A denotational semantics for equilibrium logic
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Forgetting in answer set programming -- a survey
• Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic

This page was built for publication: Interpolable formulas in equilibrium logic and answer set programming

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