C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Abstract Object Creation in Dynamic Logic.
Wolfgang Ahrendt
Frank S. de Boer
Immo Grabe
Published in:
FM (2009)
Keyphrases
</>
dynamic logic
propositional dynamic logic
d objects
complex objects
reasoning about actions
low level
imperative programs
artificial intelligence
object tracking
spatial relations
multiple objects
three dimensional
modal logic
object classes