Proof by incomplete enumeration and other logical misconceptions.
Geoffrey L. HermanLisa C. KaczmarczykMichael C. LouiCraig B. ZillesPublished in: ICER (2008)
Keyphrases
- logical rules
- search space
- theorem proving
- computer science students
- logical representation
- theorem prover
- probabilistic logic
- linear logic
- predicate calculus
- mathematical proofs
- machine learning
- inconsistent knowledge
- logical framework
- tutoring system
- incomplete data
- noisy data
- knowledge representation
- dynamic programming
- artificial intelligence
- genetic algorithm