Clue Deduction: Professor Plum Teaches Logic.
Todd W. NellerZdravko MarkovIngrid RussellPublished in: FLAIRS Conference (2006)
Keyphrases
- intuitionistic logic
- computer algebra
- deductive reasoning
- classical logic
- proof procedure
- proof theory
- automated theorem proving
- logic programming
- modal logic
- theorem prover
- inference rules
- databases
- sound and complete axiomatization
- natural deduction
- predicate logic
- computer science
- artificial intelligence
- data sets
- multi valued
- automated reasoning
- default reasoning
- model checking
- automated theorem provers