A three-valued semantics for deductive databases and logic programs

DOI10.1016/S0022-0000(05)80053-4zbMath0821.68080OpenAlexW2024943265MaRDI QIDQ1337468

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

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

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The anomalous extension problem in default reasoning
• Nonmonotonic logic and temporal projection
• An algorithm to compute circumscription
• On the declarative and procedural semantics of logic programs
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• A procedural semantics for well-founded negation in logic programs
• The Semantics of Predicate Logic as a Programming Language