Decidability and Undecidability of Marked PCP.
Vesa HalavaMika HirvensaloRonald de WolfPublished in: STACS (1999)
Keyphrases
- description logics
- query containment
- knowledge base
- query answering
- knowledge representation
- inverse roles
- conjunctive queries
- number restrictions
- decision procedures
- exptime complete
- transitive closure
- data exchange
- website
- data complexity
- probabilistic planning
- dl lite
- data structure
- computer vision
- reinforcement learning
- hidden markov models
- artificial neural networks
- expert systems