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

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item