Modeling Abstract Behavior: A Dynamic Logic Approach.

Yi Zhou Yan Zhang

Published in: Australasian Conference on Artificial Intelligence (2009)

Keyphrases

dynamic logic
propositional dynamic logic
artificial intelligence
data sets
machine learning
modeling language
behavior patterns
reasoning about actions
low level
programming language
temporal logic
human behavior
situation calculus