General logical databases and programs: Default logic semantics and stratification
From MaRDI portal
Publication:1173955
DOI10.1016/0890-5401(91)90073-BzbMATH Open0800.68292MaRDI QIDQ1173955FDOQ1173955
Nicole Bidoit, Christine Froidevaux
Publication date: 25 June 1992
Published in: Information and Computation (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Database theory (68P15)
Cites Work
- A logic for default reasoning
- Non-monotonic logic. I
- Saturation, nonmonotonic reasoning and the closed-world assumption
- Semantical considerations on nonmonotonic logic
- Circumscription - a form of non-monotonic reasoning
- Minimalism, justification and non-monotonicity in deductive databases
- On the declarative and procedural semantics of logic programs
- Horn clause queries and generalizations
- Negation as inconsistency. I
- Results on translating defaults to circumscription
- 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 (26)
- A sphere world semantics for default reasoning
- Abduction from logic programs: Semantics and complexity
- 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
- Default Negation as Explicit Negation plus Update
- A theory of nonmonotonic rule systems I
- Epistemology and artificial intelligence
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning
- Expressive power and complexity of partial models for disjunctive deductive databases
- On the computational cost of disjunctive logic programming: Propositional case
- Possibilistic uncertainty handling for answer set programming
- Update programs versus revision programs
- Well-founded and stationary models of logic programs
- Default theories that always have extensions
- Graph theoretical structures in logic programs and default theories
- Reasoning with stratified default theories
- Polynomial-time computable stable models
- Negation in rule-based database languages: A survey
- Logic programming and knowledge representation---The A-Prolog perspective
- Complexity results for abductive logic programming
- Dealing Automatically with Exceptions by Introducing Specificity in ASP
- Seminormal stratified default theories
- On the impact of stratification on the complexity of nonmonotonic reasoning
- Negation by default and unstratifiable logic programs
This page was built for publication: General logical databases and programs: Default logic semantics and stratification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1173955)
