On Action Logic: Equational Theories of Action Algebras.

Wojciech Buszkowski

Published in: J. Log. Comput. (2007)

Keyphrases

reasoning about actions
equational theories
human actions
databases
probabilistic model
logic programming
action selection