Switch to: Citations

Add references

You must login to add references.
  1. Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Download  
     
    Export citation  
     
    Bookmark   188 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   634 citations  
  • A note on the stable model semantics for logic programs.Michael Kaminski - 1997 - Artificial Intelligence 96 (2):467-479.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • Rough sets.Zdzislaw Pawlak, Jerzy Grzymala-Busse, Roman Slowinski & Wojciech Ziarko - 1995 - Commun. Acm 38 (11):88--95.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   175 citations  
  • Introduction to Mathematical Logic.John Corcoran - 1964 - Journal of Symbolic Logic 54 (2):618-619.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Open default theories over closed domains.M. Kaminski - 1999 - Logic Journal of the IGPL 7 (5):577-589.
    In this paper we compare two approaches to the meaning of a free variable x in an open default α : β1,...,βm / y. The first treats x as a metavariable for the ground terms of the underlying theory, whereas the second treats it as a 'name' of arbitrary elements of the theory universe. We show that, for normal default theories, under the domain closure assumption, the two approaches are equivalent. In the general case, the approaches are equivalent in the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A comparative study of open default theories.Michael Kaminski - 1995 - Artificial Intelligence 77 (2):285-319.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Sameness and individuation.D. Gabbay & J. M. Moravcsik - 1973 - Journal of Philosophy 70 (16):513-526.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Motivation analysis, abductive unification, and nonmonotonic equality.Eugene Charniak - 1988 - Artificial Intelligence 34 (3):275-295.
    Download  
     
    Export citation  
     
    Bookmark   7 citations