Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic

DOI10.1007/11799573_26zbMath1131.68369OpenAlexW1528020371MaRDI QIDQ5449612

No author found.

Publication date: 11 March 2008

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11799573_26

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (7)

Equilibrium logic ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ The infinite-valued semantics: overview, recent results and future directions ⋮ Partial equilibrium logic ⋮ Well-Founded and Partial Stable Semantics Logical Aspects ⋮ Hyperequivalence of logic programs with respect to supported models ⋮ Relativized Hyperequivalence of Logic Programs for Modular Programming

This page was built for publication: Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic