Update Semantics for Imperatives with Priorities.

Fengkui Ju Fenrong Liu

Published in: LORI (2011)

Keyphrases

update semantics
answer set programming
deontic logic
knowledge representation and reasoning
databases
high level
formally define
legal reasoning
view update