  Reiter’s paper  Reiter 1980  appears to have developed primarily out of tactical considerations. The earlier paper  Reiter 1978  is largely concerned with providing an account of database queries. Unlike the other seminal papers in nonmonotonic logic, Reiter’s shows specific influence from the earlier and independent work on nonmonotonicity in logic programming—the work seems to have been largely inspired by the need to provide logical foundations for the nonmonotonic reasoning found in deductive databases. Doyle and McDermott’s paper shows both strategic and tactical motivation—citing the earlier literature in logicist AI, it motivates nonmonotonic logic as part of a program of modeling common sense rationality. But the theory is also clearly influenced by the need to provide a formal account of truth maintenance.