Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers.
Lorenz DemeyPublished in: Bull. Symb. Log. (2018)
Keyphrases
- unsupervised learning
- artificial intelligence
- multi valued
- learning algorithm
- neural network
- cognitive science
- logic programming
- supervised classification
- information systems
- modal logic
- supervised learning
- asynchronous circuits
- predicate logic
- classical logic
- information processing
- expressive power
- semi supervised
- knowledge base
- machine learning
- data mining
- data sets
- real time
- deontic logic
- database