Dualities between alternative semantics for logic programming and nonmonotonic reasoning

DOI10.1007/BF00881799zbMath0782.68074OpenAlexW1998093438MaRDI QIDQ1311405

Chitta R. Baral, V. S. Subrahmanian

Publication date: 13 March 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

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

zbMATH Keywords

well-founded semanticsdefault theoriesHoare's power domain orderingsemantics for logic programming with nonmonotonic modes of negationSmyth's power-domain orderingstable class semantics

Mathematics Subject Classification ID

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

Related Items (18)

Privacy Preservation Using Multi-context Systems and Default Logic ⋮ Oscillating Behavior of Logic Programs ⋮ Autoepistemic logic of first order and its expressive power ⋮ Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ Ultimate approximation and its application in nonmonotonic knowledge representation systems ⋮ Approved Models for Normal Logic Programs ⋮ Stable classes and operator pairs for disjunctive programs ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Tightly integrated probabilistic description logic programs for representing ontology mappings ⋮ A simple fixed point characterization of three-valued stable model semantics ⋮ A non-ground realization of the stable and well-founded semantics ⋮ Graph theoretical structures in logic programs and default theories ⋮ Iterative belief revision in extended logic programming ⋮ An encompassing framework for paraconsistent logic programs ⋮ A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics ⋮ Soundness of abductive proof procedure with respect to constraint for non-ground abducibles ⋮ Interdefinability of defeasible logic and logic programming under the well-founded semantics ⋮ Semi-equilibrium models for paracoherent answer set programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• General logical databases and programs: Default logic semantics and stratification
• Stable and extension class theory for logic programs and default logics
• Power domains
• Nonmonotonic Logic II

This page was built for publication: Dualities between alternative semantics for logic programming and nonmonotonic reasoning