Works by Ray Reiter

( view other items matching `Ray Reiter`, view all matches )
10 found
Order:
Disambiguations
Raymond Reiter [7]Ray Reiter [4]Rayna R. Reiter [2]Rayna Reiter [1]
  1.  18
    A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   134 citations  
  2.  6
    How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  3.  5
    Characterizing diagnoses and systems.Johan de Kleer, Alan K. Mackworth & Raymond Reiter - 1992 - Artificial Intelligence 56 (2-3):197-222.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4.  13
    Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  6
    A logical framework for depiction and image interpretation.Raymond Reiter & Alan K. Mackworth - 1989 - Artificial Intelligence 41 (2):125-155.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  6
    A note on linear resolution strategies in consequence-finding.Eliana Minicozzi & Raymond Reiter - 1972 - Artificial Intelligence 3 (C):175-180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Men and women in the south of France: Public and private domains.Rayna Reiter - 1975 - In Rayna R. Reiter (ed.), Toward an Anthropology of Women. Monthly Review Press. pp. 252--282.
    $3.19 used   $28.95 new   $29.00 from Amazon    (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark   3 citations  
  8.  3
    Introduction to the special volume on knowledge representation.Ronald J. Brachman, Hector J. Levesque & Ray Reiter - 1991 - Artificial Intelligence 49 (1-3):1-3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  1
    Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning.Ronald J. Brachman, Hector J. Levesque & Ray Reiter - 1989 - Morgan Kaufmann Publishers.
    Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Computational semantics.Raymond Reiter - 1977 - Artificial Intelligence 8 (3):365-372.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark