Diagnostic expert system using non-monotonic reasoning

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

Ontolingua:A Mechanism to Support portable Ontologies

Thomas Gruber · 1991 · 389 citations

Computing, Computer Science, Information Systems +11

Counterfactuals

Matthew L. Ginsberg · Artificial Intelligence · 1986 · 203 citations

A logic for reasoning with inconsistent knowledge

Nico Roos · Artificial Intelligence · 1992 · 50 citations

Computing, Mathematics, Formal Methods +11