Switch to: References

Add citations

You must login to add citations.
  1. Is intractability of nonmonotonic reasoning a real drawback?Marco Cadoli, Francesco M. Donini & Marco Schaerf - 1996 - Artificial Intelligence 88 (1-2):215-251.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • An efficient method for eliminating varying predicates from a circumscription.Marco Cadoli, Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 54 (3):397-410.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • CWA Extensions to Multi-Valued Logics.Jinzhao Wu - 2003 - Journal of Applied Non-Classical Logics 13 (2):133-164.
    The closed world assumption plays a fundamental role in the theory of deductive databases. On the other hand, multi-valued logics occupy a vast field in non-classical logics. Some questions are better explained and expressed in terms of such logics. To enhance the expressive power and the declarative ability of a deductive database, we extend various CWA formalizations, including the naive CWA, the generalized CWA and the careful CWA, to multi-valued logics. The basic idea is to embed logic formulae into some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Conditional entailment: Bridging two approaches to default reasoning.Hector Geffner & Judea Pearl - 1992 - Artificial Intelligence 53 (2-3):209-244.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Disjunctive closures for knowledge compilation.Hélène Fargier & Pierre Marquis - 2014 - Artificial Intelligence 216 (C):129-162.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.
    Download  
     
    Export citation  
     
    Bookmark   31 citations