6 found
Order:
  1.  8
    A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
  2.  4
    Characterizing diagnoses and systems.Johan de Kleer, Alan K. Mackworth & Raymond Reiter - 1992 - Artificial Intelligence 56 (2-3):197-222.
  3.  5
    Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
  4.  3
    A logical framework for depiction and image interpretation.Raymond Reiter & Alan K. Mackworth - 1989 - Artificial Intelligence 41 (2):125-155.
  5.  3
    A note on linear resolution strategies in consequence-finding.Eliana Minicozzi & Raymond Reiter - 1972 - Artificial Intelligence 3 (C):175-180.
  6. Computational semantics.Raymond Reiter - 1977 - Artificial Intelligence 8 (3):365-372.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark