Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
698 Diagnosing multiple faults – J de Kleer, B C Williams - 1987
654 A Truth Maintenance System – J Doyle - 1986
865 Circumscription—a form of non-monotonic reasoning – John McCarthy - 1980
1484 A logic for default reasoning – R Reiter - 1980
1586 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
459 Semantical considerations on nonmonotonic logic – R C Moore - 1985
765 On the logic of theory change: Partial meet contraction and revision functions – C E Alchourrón, P Gärdenfors, D Makinson - 1985
614 Interpretation as Abduction – Jerry R. Hobbs, Mark Stickel, Paul Martin, Douglas Edwards - 1990