Classical Propositional Decidability via Nuprl Proof Extraction.
James L. CaldwellPublished in: TPHOLs (1998)
Keyphrases
- classical first order logic
- first order logic
- logic programming
- decision procedures
- theorem proving
- information extraction
- theorem prover
- propositional logic
- description logics
- automatic extraction
- proof procedure
- query answering
- expressive power
- linear logic
- dynamic logic
- temporal logic
- machine learning
- automatically extracted
- knowledge compilation
- knowledge representation
- artificial intelligence