Well-founded and stationary models of logic programs

DOI10.1007/BF01530784zbMath0858.68014OpenAlexW2057947069MaRDI QIDQ1924748

Teodor C. Przymusinski

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530784

zbMATH Keywords

logic programsdisjunctive logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Recursive rules with aggregation: a simple unified semantics, Logic Programming with Defaults and Argumentation Theories, The infinite-valued semantics: overview, recent results and future directions, Modeling the suppression task under weak completion and well-founded semantics, Loop checking and the well-founded semantics, Partial equilibrium logic, Well-Founded and Partial Stable Semantics Logical Aspects, Efficient description logic reasoning in Prolog: The DLog system, Snapshot Generation in a Constructive Object-Oriented Modeling Language

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• On the relationship between circumscription and negation as failure
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• General logical databases and programs: Default logic semantics and stratification
• Three-valued nonmonotonic formalisms and semantics of logic programs
• On the declarative and procedural semantics of logic programs
• Static semantics for normal and disjunctive logic programs
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• Negation as failure using tight derivations for general logic programs
• A procedural semantics for well-founded negation in logic programs
• The Semantics of Predicate Logic as a Programming Language
• Autoepistemic logic
• The well-founded semantics for general logic programs