Relations between the logic of theory change and nonmonotonic logic.

David Makinson Peter Gärdenfors

Published in: The Logic of Theory Change (1989)

Keyphrases

nonmonotonic logics
modal operators
modal logic
default logic
propositional logic
nonmonotonic reasoning
defeasible logic
situation calculus
logical theories
inference rules
proof theory
probability theory
default theories
temporal logic
logic programs
case based reasoning
artificial intelligence