Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.

Toryn Q. Klassen Sheila A. McIlraith Hector J. Levesque

Published in: KR (2018)

Keyphrases

situation calculus
action theories
initial state
event calculus
fluent calculus
modal logic
reasoning tasks
reasoning about actions
provably correct
concurrent actions
logical language
agent programming
web services
blocks world
indirect effects
programming language