Logical Foundations of Nonmonotonic Truth Maintencance.

Michael Reinfrank

Published in: EPIA (1989)

Keyphrases

logical foundations
active databases
multiple inheritance
nonmonotonic reasoning
logic programming
nonmonotonic logics
default logic
case study
modal logic
multi context systems
data mining
orders of magnitude
domain independent
defeasible logic