Characterization of strongly equivalent logic programs in intermediate logics

DOI10.1017/S147106840200159XMaRDI QIDQ4452594zbMATH OpenOpenAlexFDO

Authors Alex Hendriks, Dick H. J. de Jongh

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s147106840200159x

zbMATH Keywords

answer set semanticspropositional intermediate logicsstrongly equivalent programs

Mathematics Subject Classification ID

Intermediate logics (03B55) Logic programming (68N17)

Recommendations

• Strongly equivalent logic programs
• scientific article; zbMATH DE number 1884383
• Strong equivalence made easy: nested expressions and weight constraints
• Strong equivalence of logic programs under the infinite-valued semantics
• A Characterization of Strong Equivalence for Logic Programs with Variables

Cited in

(18)

• Hyperequivalence of logic programs with respect to supported models
• An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
• Here and there among logics for logic programming
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• Rule Calculus: Semantics, Axioms and Applications
• Relativized hyperequivalence of logic programs for modular programming
• Synonymous theories and knowledge representations in answer set programming
• Strong Negation and Equivalence in the Safe Belief Semantics
• From answer set logic programming to circumscription via logic of GK
• Relativized Hyperequivalence of Logic Programs for Modular Programming
• Strongly equivalent logic programs
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
• Cut-free formulations for a quantified logic of here and there
• On Heuer's procedure for verifying strong equivalence
• Notes on my scientific life
• A first order nonmonotonic extension of constructive logic
• Equilibrium logic
• Equivalence for the G₃^-stable models semantics

This page was built for publication: Characterization of strongly equivalent logic programs in intermediate logics

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