Sign in

Rethinking Logics of Action and Time.

James F. Allen
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