Computing equilibrium models using signed formulas

DOI10.1007/3-540-44957-4_46MaRDI QIDQ2767096zbMATH OpenFDO

Authors I. P. de Guzmán, A. Valverde, David Pearce

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_46

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Equilibrium logic
• Logics in Artificial Intelligence
• Encodings for equilibrium logic and logic programs with nested expressions
• A tableau calculus for equilibrium entailment
• A first order nonmonotonic extension of constructive logic

Cited in

(15)

• Partial equilibrium logic
• A tableau calculus for equilibrium entailment
• Combining equilibrium logic and dynamic logic
• Fuzzy equilibrium logic: declarative problem solving in continuous domains
• Interpolable formulas in equilibrium logic and answer set programming
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• A denotational semantics for equilibrium logic
• Encodings for equilibrium logic and logic programs with nested expressions
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Logic Programming and Nonmonotonic Reasoning
• A new logical characterisation of stable models and answer sets
• A first order nonmonotonic extension of constructive logic
• Equilibrium logic

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Computing equilibrium models using signed formulas

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