The KRIPKE Automated Theorem Proving System.
Paul B. ThistlewaiteMichael A. McRobbieRobert K. MeyerPublished in: CADE (1986)
Keyphrases
- automated theorem proving
- inference rules
- theorem prover
- theorem proving
- modal logic
- classical logic
- desirable properties
- temporal logic
- answer set programming
- model checking
- first order logic
- incomplete information
- data mining
- constraint programming
- logic programming
- logic programs
- rough sets
- knowledge representation