Action Control by Term Rewriting.

Steve Barker Clara Bertolissi Maribel Fernández

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

term rewriting
theorem prover
control system
operational semantics
databases
action selection
control method
rewrite systems
knuth bendix
database systems
relational databases
knowledge representation
logic programs
human actions
object oriented databases
optimal control