Keyphrases
- classical logic
- logic programming
- multi valued
- sound and complete axiomatization
- logical framework
- evolutionary algorithm
- proof theory
- image processing
- modal logic
- predicate logic
- decision trees
- computational properties
- social networks
- data mining
- formal language
- digital circuits
- set theory
- machine learning
- probabilistic logic
- real time
- knowledge representation
- artificial neural networks