Works by Raymond Reiter

( view other items matching `Raymond Reiter`, view all matches )
6 found
Order:
  1.  16
    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.  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  
  3.  12
    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  
  4.  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  
  5.  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  
  6. Computational semantics.Raymond Reiter - 1977 - Artificial Intelligence 8 (3):365-372.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark