Partial equilibrium logic
From MaRDI portal
Publication:2457796
DOI10.1007/s10472-007-9075-0zbMath1125.68113OpenAlexW2027980228MaRDI QIDQ2457796
Publication date: 23 October 2007
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-007-9075-0
Related Items (4)
A denotational semantics for equilibrium logic ⋮ Autoepistemic answer set programming ⋮ Well-Founded and Partial Stable Semantics Logical Aspects ⋮ Semi-equilibrium models for paracoherent answer set programs
Cites Work
- Equilibrium logic
- Nonmonotonic reasoning, preferential models and cumulative logics
- Lattices related to Post algebras and their applications to some logical systems
- Expressive power and complexity of partial models for disjunctive deductive databases
- On the partial semantics for disjunctive deductive databases
- Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
- Well-founded and stationary models of logic programs
- Nested expressions in logic programs
- A semantical analysis of implicational system I and of the first degree of entailment
- The well-founded semantics for general logic programs
- Characterizations of the disjunctive stable semantics by partial evaluation
- Semantics of (disjunctive) logic programs based on partial evaluation
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
- Strongly equivalent logic programs
- On the equivalence of the static and disjunctive well-founded semantics and its computation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Partial equilibrium logic
