DMCA

An assumption-based truth-maintenance system (1986)

by Raymond Reiter , Johan De Kleer
Venue:Artificial Intelligence
Citations:334 - 11 self