Keyphrases
- expressive power
- modal logic
- neural network
- conditional logic
- classical logic
- artificial intelligence
- search engine
- mobile robot
- propositional dynamic logic
- information systems
- hidden markov models
- higher order
- logic programs
- logic programming
- decision making
- temporal logic
- inference rules
- genetic algorithm
- machine learning
- proof theory
- intuitionistic logic
- database