Oscillating behavior of logic programs

DOI10.1007/978-3-642-30743-0_23zbMATH Open1357.68036OpenAlexW119385640MaRDI QIDQ2900531FDOQ2900531

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

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*

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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

Cited In (4)

• Learning any memory-less discrete semantics for dynamical systems represented by logic programs
• Learning from interpretation transition using differentiable logic programming semantics
• Learning from interpretation transition
• 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)