Keyphrases
- monadic second order logic
- finite state
- classical logic
- regular expressions
- asynchronous circuits
- modal logic
- predicate logic
- sound and complete axiomatization
- multi valued
- automated reasoning
- expressive power
- logic programming
- knowledge representation
- hierarchical structure
- np hard
- expert systems
- defeasible logic
- reinforcement learning
- deontic logic
- knowledge base
- machine learning
- databases