Future Event Logic - Axioms and Complexity.

Hans van Ditmarsch Tim French Sophie Pinchinat

Published in: Advances in Modal Logic (2010)

Keyphrases

long term
event detection
database
computational cost
sound and complete axiomatization
real world
computational complexity
event driven
neural network
knowledge base
worst case
event sequences