A Case for Behavior-Preserving Actions in Separation Logic.

David Costanzo Zhong Shao

Published in: APLAS (2012)

Keyphrases

agent behavior
behavior patterns
reasoning about actions
goal directed
data sets
multi agent
spatio temporal
logic programming
human behavior
decision theoretic
intelligent behavior
cognitive agents
automated reasoning
human actions
human activities
artificial intelligence
genetic algorithm