Rethinking Logics of Action and Time.

Published in: TIME (2013)

Keyphrases

expressive power
database
modal logic
inference rules
propositional dynamic logic
search engine
real time
neural network
image sequences
multi agent
human actions
classical logic
nonmonotonic logics
joint action