A unifying action calculus.

Michael Thielscher

Published in: Artif. Intell. (2011)

Keyphrases

transition systems
databases
information systems
reasoning about actions
automated deduction
neural network
action rules