Algebras of Actions in Concurrent Processes.

Mark Burgin Marc L. Smith

Published in: CPA (2007)

Keyphrases

concurrent processes
concurrent programs
petri net
situation calculus
human activities
decision theoretic
multiple agents
spatial reasoning
reasoning about actions
action sequences
database
genetic algorithm
learning algorithm
knowledge base
action selection