General logical databases and programs: Default logic semantics and stratification

DOI10.1016/0890-5401(91)90073-BzbMath0800.68292MaRDI QIDQ1173955

Nicole Bidoit, Christine Froidevaux

Publication date: 25 June 1992

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

semantics; logic programs; declarative; default logic semantics; logical databases

Mathematics Subject Classification ID

68P15: Database theory

03B45: Modal logic (including the logic of norms)

68N17: Logic programming

Related Items

On the impact of stratification on the complexity of nonmonotonic reasoning, Graph theoretical structures in logic programs and default theories, Negation in rule-based database languages: A survey, Negation by default and unstratifiable logic programs, Possibilistic uncertainty handling for answer set programming, A note on the stable model semantics for logic programs, Three-valued nonmonotonic formalisms and semantics of logic programs, How complicated is the set of stable models of a recursive logic program?, Stable and extension class theory for logic programs and default logics, Expressive power and complexity of partial models for disjunctive deductive databases, Dualities between alternative semantics for logic programming and nonmonotonic reasoning, Default theories that always have extensions, A theory of nonmonotonic rule systems I, Seminormal stratified default theories, Polynomial-time computable stable models, Abduction from logic programs: Semantics and complexity, Logic programming and knowledge representation---The A-Prolog perspective, Well-founded and stationary models of logic programs, On the computational cost of disjunctive logic programming: Propositional case, Epistemology and artificial intelligence

Cites Work

• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic
• Results on translating defaults to circumscription
• Minimalism, justification and non-monotonicity in deductive databases
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• On the declarative and procedural semantics of logic programs
• Horn clause queries and generalizations
• Negation as inconsistency. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item