Keyphrases
- artificial intelligence
- ai systems
- expert systems
- ai community
- intelligent systems
- case based reasoning
- higher order
- machine learning
- artificial intelligent
- theorem proving
- knowledge representation
- equational theories
- ai methods
- intelligent behavior
- decision trees
- management system
- knowledge based systems
- theorem prover
- lecture notes in artificial intelligence
- knowledge representation and reasoning
- multiscale
- general intelligence
- ai technologies
- real time
- game ai
- artificial intelligence in education