General logical databases and programs: Default logic semantics and stratification
From MaRDI portal
Publication:1173955
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)
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic programming (68N17)
Related Items (25)
Default theories that always have extensions ⋮ Default Negation as Explicit Negation plus Update ⋮ A theory of nonmonotonic rule systems I ⋮ Possibilistic uncertainty handling for answer set programming ⋮ Seminormal stratified default theories ⋮ Polynomial-time computable stable models ⋮ A note on the stable model semantics for logic programs ⋮ Well-founded and stationary models of logic programs ⋮ On the computational cost of disjunctive logic programming: Propositional case ⋮ Abduction from logic programs: Semantics and complexity ⋮ Complexity results for abductive logic programming ⋮ A sphere world semantics for default reasoning ⋮ Reasoning with stratified default theories ⋮ On the impact of stratification on the complexity of nonmonotonic reasoning ⋮ Three-valued nonmonotonic formalisms and semantics of logic programs ⋮ Graph theoretical structures in logic programs and default theories ⋮ How complicated is the set of stable models of a recursive logic program? ⋮ Stable and extension class theory for logic programs and default logics ⋮ Negation in rule-based database languages: A survey ⋮ Negation by default and unstratifiable logic programs ⋮ Dealing Automatically with Exceptions by Introducing Specificity in ASP ⋮ Expressive power and complexity of partial models for disjunctive deductive databases ⋮ Epistemology and artificial intelligence ⋮ Dualities between alternative semantics for logic programming and nonmonotonic reasoning ⋮ Logic programming and knowledge representation---The A-Prolog perspective
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: General logical databases and programs: Default logic semantics and stratification