Quantitative Automata and Logics on Tree-like Structures.
Stefan DückPublished in: Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
- tree like structures
- cellular automata
- expressive power
- xml documents
- r tree
- modal logic
- qualitative and quantitative
- probabilistic automata
- inference rules
- conditional logic
- nonmonotonic logics
- finite state
- quantitative and qualitative
- default logic
- finite state machines
- databases
- finite automata
- decision trees
- finite state automata
- genetic algorithm
- propositional calculus
- data mining