A Taxonomy and Reductions for Common Register Automata Formalisms.
Simon DierlFalk HowarPublished in: Model Checking, Synthesis, and Learning (2021)
Keyphrases
- cellular automata
- logic programming
- finite automata
- efficient computation
- finite state
- finite state machines
- regular expressions
- knowledge representation
- probabilistic automata
- search algorithm
- hierarchical structure
- knowledge representation formalisms
- machine learning
- real time
- lattice gas
- finite state automata
- timed automata
- tree automata
- nonmonotonic reasoning
- knowledge base
- artificial intelligence
- data mining
- real world
- data sets