On Semantic Update Operators for Answer-Set Programs.

Martin Slota João Leite

Published in: ECAI (2010)

Keyphrases

update operators
answer set programs
belief revision
logic programs
update semantics
belief change
belief update
natural language
nonmonotonic reasoning
propositional logic