A Dynamic Semantics of Intentional Identity.

Published in: JSAI (2006)

Keyphrases

dynamic environments
real world
mobile robot
formal semantics
database
xml documents
model checking
default reasoning
semantic representation