Oscillating Behavior of Logic Programs

DOI10.1007/978-3-642-30743-0_23zbMath1357.68036OpenAlexW119385640MaRDI QIDQ2900531

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)

Related Items (3)

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

Cites Work

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

This page was built for publication: Oscillating Behavior of Logic Programs