R. Khardon and D. Roth. Defaults and relevance in model-based reasoning. Artificial Intelligence, 97(1/2):169--193, 1997. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
otterlib - a C library for theorem proving - Flavio Protasio Ribeiro (Correct)
Computing Intersections of Horn Theories for Reasoning with .. - Eiter, Ibaraki, Makino (1998) (1 citation) (Correct)
Space Efficiency of Propositional Knowledge Representation.. - Cadoli, al. (2000) (3 citations) (Correct)
Computing Intersections Of Theories For Reasoning With Models - Eiter, al. (1998) (Correct)
Abduction and the Dualization Problem - Eiter, Makino (2003) (Correct)
Learning to Reason with a Restricted View - Khardon, Roth (1998) (6 citations) Self-citation (Khardon Roth) (Correct)
Learning to Reason - Khardon, Roth (1994) (21 citations) Self-citation (Khardon Roth) (Correct)
Learning to Reason with a Restricted View - Khardon, Roth (1995) (6 citations) Self-citation (Khardon Roth) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC