Subsumption-oriented Push-Down Automata.
François BarthélemyÉric Villemonte de la ClergeriePublished in: PLILP (1992)
Keyphrases
- description logics
- cellular automata
- np complete
- finite automata
- probabilistic automata
- real world
- image segmentation
- multiscale
- hidden markov models
- clustering algorithm
- knowledge base
- social networks
- regular expressions
- finite state
- transitive closure
- artificial intelligence
- turing machine
- finite state automata
- genetic algorithm