Keyphrases
- artificial intelligence
- expert systems
- knowledge representation
- ai systems
- higher order
- machine learning
- intelligent systems
- case based reasoning
- ai technologies
- john mccarthy
- ai methods
- theorem proving
- knowledge based systems
- information technology
- management system
- natural language
- lecture notes in artificial intelligence
- knowledge representation and reasoning
- computer vision
- general intelligence
- neural network
- databases
- equational theories
- data sets