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

DOI10.1007/11799573_26MaRDI QIDQ5449612zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• Partial equilibrium logic
• On the Logic and Computation of Partial Equilibrium Models
• Well-Founded and Partial Stable Semantics Logical Aspects
• scientific article; zbMATH DE number 6290314
• scientific article; zbMATH DE number 1696829

Cited in

(11)

• Hyperequivalence of logic programs with respect to supported models
• Partial equilibrium logic
• Well-Founded and Partial Stable Semantics Logical Aspects
• Equivalence of well-founded and stable semantics
• Algebraic semantics for modal and superintuitionistic non-monotonic logics
• The infinite-valued semantics: overview, recent results and future directions
• Characterizations of the stable semantics by partial evaluation
• scientific article; zbMATH DE number 6290314 (Why is no real title available?)
• Relativized Hyperequivalence of Logic Programs for Modular Programming
• Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
• Equilibrium logic

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

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