Keyphrases
- classical logic
- logic programming
- formal theory
- hybrid learning
- sound and complete axiomatization
- real time
- probabilistic logic
- modal logic
- computer vision
- mobile robot
- artificial neural networks
- natural language
- multi valued
- case study
- computational properties
- set theory
- machine learning
- asynchronous circuits
- proof theory
- hybrid approaches
- data sets