Keyphrases
- logic programming
- modal logic
- predicate logic
- reduction method
- multi valued
- classical logic
- natural language
- artificial neural networks
- proof theory
- data sets
- deontic logic
- epistemic logic
- nonmonotonic logics
- computational properties
- logical framework
- logic programs
- data structure
- bayesian networks
- feature selection
- genetic algorithm
- information retrieval
- machine learning
- data mining
- real world