Keyphrases
- classical logic
- logic programming
- modal logic
- predicate logic
- learning algorithm
- multi agent
- logic programs
- computational properties
- logical framework
- sound and complete axiomatization
- deontic logic
- epistemic logic
- formal theory
- digital circuits
- set theory
- database
- bayesian networks
- search engine
- neural network
- databases