The Revised Gärdenfors Postulates and Update Semantics.

Leigh Willard Li-Yan Yuan

Published in: ICDT (1990)

Keyphrases

update semantics
update operators
answer set programming
knowledge representation and reasoning
deontic logic
artificial intelligence
database applications
belief change