A Theory of Restrictions for Logics and Automata.

Published in: CAV (1999)

Keyphrases

cellular automata
theoretical framework
machine learning
expressive power
modal logic
regular expressions
theoretical basis
knowledge base
computational model
default logic
finite state
propositional calculus