Iterative belief revision in extended logic programming

DOI10.1016/S0304-3975(96)80712-2zbMath0874.68044OpenAlexW4213250689MaRDI QIDQ672058

Jia-Huai You, Robert Cartwright, Ming Li

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)80712-2

zbMATH Keywords

semanticsextended logic programmingiterative belief revision

Mathematics Subject Classification ID

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

Related Items (1)

ASSAT: computing answer sets of a logic program by SAT solvers

Cites Work

• Unnamed Item
• Skeptical reason maintenance and belief revision
• The alternating fixpoint of logic programs with negation
• The convergence of functions to fixedpoints of recursive definitions
• Paraconsistent logic programming
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• A lattice-theoretical fixpoint theorem and its applications
• The Theoretical Aspects of the Optimal Fixedpoint
• The optimal approach to recursive programs
• Non-monotonic reasoning with logic programming
• The well-founded semantics for general logic programs
• On the equivalence of semantics for normal logic programs
• An argumentation-theoretic foundation for logic programming

This page was built for publication: Iterative belief revision in extended logic programming