Keyphrases
- monadic second order logic
- epistemic logic
- regular expressions
- modal logic
- expressive power
- finite state
- defeasible logic
- multi valued
- logic programming
- hierarchical structure
- database
- neural network
- natural language
- case study
- data complexity
- automated reasoning
- learning algorithm
- classical logic
- genetic algorithm
- nonmonotonic logics
- predicate logic
- tree automata
- machine learning
- proof theory