8 results Refine Results
  1. 1
    by Ramsay, Allan, 1953-
    Published 1988
    Subjects
    Book
    Save to List
    Saved in:
    Formal methods in artificial intelligence /
  2. 2
    by Halpern, Joseph Y., 1953-
    Published 2003
    Subjects
    Book
    Save to List
    Saved in:
    Reasoning about uncertainty /
  3. 3
    Published 1995
    Subjects
    Book
    Save to List
    Saved in:
    Knowledge and belief in philosophy and artificial intelligence /
  4. 4
    by Güsgen, Hans Werner, 1959-
    Published 1993
    Subjects “...Reasoning....”
    Book
    Save to List
    Saved in:
    Spatial persistence : preliminary report /
  5. 5
    by Davis, Philip J., 1923-
    Published 2006
    Subjects
    Table of contents only
    Book
    Save to List
    Saved in:
    Mathematics and common sense : a case of creative tension /
  6. 6
    by Gabbay, Dov M., 1945-
    Published 2010
    Subjects “...Commonsense reasoning Automation....”
    Book
    Save to List
    Saved in:
    Revision, acceptability and context : theoretical and algorithmic aspects /
  7. 7
    Published 1989
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina /
  8. 8
    by Hammer, Eric M., 1967-
    Published 1995
    Subjects
    Book
    Save to List
    Saved in:
    Logic and visual information /

Search Tools: