Keyphrases
- modal logic
- asynchronous circuits
- automated reasoning
- database
- learning algorithm
- classical logic
- multi valued
- logic programming
- sound and complete axiomatization
- computational properties
- logical framework
- multi agent
- artificial intelligence
- genetic algorithm
- data mining
- probability theory
- knowledge representation
- probabilistic logic
- search engine
- proof theory
- databases