Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- classical logic
- artificial intelligence
- answer set programming
- automated reasoning
- case based reasoning
- expert systems
- logic programming
- intelligent systems
- machine learning
- knowledge representation and reasoning
- formal logic
- john mccarthy
- multi valued
- ai systems
- computational logic
- first order logic
- incomplete information
- knowledge representation
- probability distribution