Keyphrases
- classical logic
- logic programming
- automated reasoning
- cultural heritage
- prior information
- prior knowledge
- neural network
- asynchronous circuits
- real time
- image segmentation
- modal logic
- website
- probability theory
- multimedia
- multi valued
- probabilistic logic
- data mining
- nonmonotonic logics
- proof theory
- sound and complete axiomatization