Keyphrases
- fifty years
- logic programming
- sound and complete axiomatization
- multi valued
- predicate logic
- modal logic
- logical framework
- neural network
- database
- hidden markov models
- learning algorithm
- automated reasoning
- probabilistic logic
- artificial intelligence
- nonmonotonic logics
- digital circuits
- search algorithm
- asynchronous circuits
- linear temporal logic
- propositional dynamic logic
- information retrieval
- search engine