Keyphrases
- cost function
- search space reduction
- classical logic
- multi valued
- machine learning
- logic programming
- automated reasoning
- modal logic
- case study
- proof theory
- information retrieval
- logic programs
- probability theory
- objective function
- probabilistic logic
- logical framework
- set theory
- predicate logic
- deontic logic
- delay insensitive