Keyphrases
- function symbols
- automata theoretic
- predicate logic
- temporal logic
- logic programs
- first order logic
- logic programming
- answer set programming
- computation tree logic
- belief revision
- regular path queries
- transitive closure
- computational linguistics
- knowledge representation and reasoning
- data sets
- model checking
- case study