Keyphrases
- classical logic
- logic programming
- modal logic
- machine learning
- random access memory
- proof theory
- computational properties
- probabilistic logic
- description logics
- data model
- database systems
- automated reasoning
- search engine
- logical framework
- artificial intelligence
- learning algorithm
- defeasible logic
- predicate logic
- formal theory
- epistemic logic
- genetic algorithm
- linear array
- data sets