Keyphrases
- proof theory
- asynchronous circuits
- data sets
- digital circuits
- classical logic
- cultural heritage
- logic programming
- social networks
- database
- decision trees
- artificial intelligence
- probabilistic logic
- information retrieval
- computational properties
- real world
- predicate logic
- epistemic logic
- databases
- nearest neighbour algorithm