On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing.

Paritosh K. Pandya Simoni S. Shah

Published in: CONCUR (2011)

Keyphrases

petri net
expressive power
sufficient conditions
database
neural network
black box
epistemic logic
timed automata
machine learning
artificial intelligence
search algorithm
knowledge representation
state space
finite state machines
conditional logic