Keyphrases
- logic programs
- tree automata
- logic programming
- regular expressions
- finite automata
- answer set programming
- finite state
- answer sets
- stable models
- fixpoint
- normal logic programs
- background knowledge
- partial deduction
- prolog programs
- context free grammars
- computational properties
- inductive logic programming
- query answering
- deductive databases
- xml schema
- markov chain
- grammatical inference
- hidden markov models
- artificial intelligence
- machine learning
- database