On the equivalence of semantics for normal logic programs

DOI10.1016/0743-1066(94)00023-YMaRDI QIDQ4327428zbMATH OpenFDO

Authors Jia-Huai You, Li Yan Yuan

Publication date 6 April 1995

Published in The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

semantics of logic programsnormal alternating fixpoints

Mathematics Subject Classification ID

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

Recommendations

• Short note preferred extensions are partial stable models
• A tutorial on the well-founded semantics
• The alternating fixpoint of logic programs with negation
• scientific article; zbMATH DE number 25192
• scientific article; zbMATH DE number 176721

Cited in

(25)

• A unifying view for logic programming with non-monotonic reasoning
• The alternating fixpoint of logic programs with negation
• On the equivalence between logic programming semantics and argumentation semantics
• A uniform approach to logic programming semantics
• A dialectical formalisation of preferred subtheories reasoning under resource bounds
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Functional queries in datalog
• Expressive power and complexity of partial models for disjunctive deductive databases
• Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
• Computational Logic in Multi-Agent Systems
• The expressive powers of stable models for bound and unbound DATALOG queries
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• Semantics of structured normal logic programs
• Equivalence of two formal semantics for functional logic programs
• scientific article; zbMATH DE number 1941934 (Why is no real title available?)
• Logic program semantics and circumscription of autoepistemic theories
• scientific article; zbMATH DE number 2085280 (Why is no real title available?)
• scientific article; zbMATH DE number 1696793 (Why is no real title available?)
• Approved Models for Normal Logic Programs
• scientific article; zbMATH DE number 3846863 (Why is no real title available?)
• scientific article; zbMATH DE number 741348 (Why is no real title available?)
• Equivalence of two fixed-point semantics for definitional higher-order logic programs
• A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
• Iterative belief revision in extended logic programming
• Oscillating behavior of logic programs

This page was built for publication: On the equivalence of semantics for normal logic programs

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