Automatic Theorem Proving within the Portable AI Lab.
Fabio BajMichael RosnerPublished in: Logic Programming Summer School (1992)
Keyphrases
- automatic theorem proving
- artificial intelligence
- expert systems
- case based reasoning
- knowledge representation
- ai systems
- machine learning
- ai technologies
- lightweight
- intelligent systems
- john mccarthy
- evolutionary algorithm
- knowledge based systems
- ai community
- artificial intelligent
- data sets
- search algorithm
- website
- image processing
- information retrieval
- laboratory setting
- databases