Oscillating behavior of logic programs

DOI10.1007/978-3-642-30743-0_23MaRDI QIDQ2900531zbMATH OpenOpenAlexFDO

Authors Katsumi Inoue, Chiaki Sakama

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_23

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1453074
• On the equivalence of semantics for normal logic programs
• scientific article; zbMATH DE number 2085280
• Oscillations, logic, and dynamical systems
• A kripke-kleene semantics for logic programs*

Cites work

• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• A fixpoint characterization of abductive logic programs
• A three-valued semantics for deductive databases and logic programs
• Autoepistemic logic
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• Logic programs with monotone abstract constraint atoms
• On the correctness of unfold/fold transformation of normal and extended logic programs
• On the equivalence of semantics for normal logic programs
• Short note preferred extensions are partial stable models
• Singleton and 2-periodic attractors of sign-definite Boolean networks
• Stable and extension class theory for logic programs and default logics
• The Semantics of Predicate Logic as a Programming Language
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• The well-founded semantics for general logic programs

Cited in

(4)

• Learning from interpretation transition
• Learning from interpretation transition using differentiable logic programming semantics
• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
• Oscillations, logic, and dynamical systems

This page was built for publication: Oscillating behavior of logic programs

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