Dynamic Frames in Java Dynamic Logic.

Peter H. Schmitt Mattias Ulbrich Benjamin Weiß

Published in: FoVeOOS (2010)

Keyphrases

dynamic logic
object oriented
modal logic
artificial intelligence
moving objects
dynamic environments
reasoning about actions
data model
case based reasoning
general purpose
programming language
source code
imperative programs