Updating knowledge bases

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations

Introduction to artificial intelligence

Choice Reviews Online · 2011 · 1.1K citations

Computing, Computer Science, Artificial Intelligence +10

Non-monotonic logic I

Drew McDermott, Jon Doyle · Artificial Intelligence · 1980 · 891 citations · Full text

A logical framework for default reasoning

David Poole · Artificial Intelligence · 1988 · 729 citations

Humanities, Computer Science, Philosophy +14