A three-valued semantics for deductive databases and logic programs

DOI10.1016/S0022-0000(05)80053-4zbMATH Open0821.68080OpenAlexW2024943265MaRDI QIDQ1337468FDOQ1337468

Jia-Huai You, Li Yan Yuan

Publication date: 6 November 1994

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(05)80053-4

zbMATH Keywords

deductive databasesjustifiabilitysemantics of logic programsminimal undefinedness

Mathematics Subject Classification ID

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

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• An algorithm to compute circumscription
• A kripke-kleene semantics for logic programs*
• On the declarative and procedural semantics of logic programs
• Negation in logic programming
• Nonmonotonic logic and temporal projection
• A procedural semantics for well-founded negation in logic programs
• The anomalous extension problem in default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (23)

• Semi-equilibrium models for paracoherent answer set programs
• Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
• Characterizing D-WFS: Confluence and iterated GCWA
• Abduction in argumentation frameworks
• Oscillating Behavior of Logic Programs
• Expressive power and complexity of partial models for disjunctive deductive databases
• On the extension of logic programming with negation through uniform proofs
• Answering the “why” in answer set programming – A survey of explanation approaches
• Realizability of three-valued semantics for abstract dialectical frameworks
• Paracoherent answer set computation
• Characterising and Explaining Inconsistency in Logic Programs
• On logics and semantics for general logic programs
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Modular Paracoherent Answer Sets
• Solving logic program conflict through strong and weak forgettings
• Three-valued semantics for hybrid MKNF knowledge bases revisited
• Logic programming and knowledge representation---The A-Prolog perspective
• Annotated defeasible logic
• Better Paracoherent Answer Sets with Less Resources
• Paracoherent Answer Set Semantics meets Argumentation Frameworks
• Title not available (Why is that?)
• Complexity of super-coherence problems in ASP
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting

Recommendations

• Three-valued nonmonotonic formalisms and semantics of logic programs 👍 👎
• Intuitionistic three-valued logic and logic programming 👍 👎
• Logic Programs under Three-Valued Łukasiewicz Semantics 👍 👎
• A three-valued semantics for logic programmers 👍 👎
• The intricacies of three-valued extensional semantics for higher-order logic programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: A three-valued semantics for deductive databases and logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337468)