Irrelevant Updates and Nonmonotonic Assumptions.

Published in: JELIA (2006)

Keyphrases

logic programming
update semantics
multiple inheritance
nonmonotonic reasoning
restrictive assumptions
information systems
modal logic
default logic
underlying assumptions