Proof Script Pragmatics in IMPS.
William M. FarmerJoshua D. GuttmanMark E. NadelF. Javier ThayerPublished in: CADE (1994)
Keyphrases
- natural language processing
- image processing
- theorem proving
- computer vision
- information systems
- theorem prover
- knowledge representation
- script language
- proof planning
- logical rules
- proof theory
- linear logic
- information retrieval
- artificial neural networks
- digital libraries
- objective function
- decision making
- artificial intelligence