Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form.
Mary SouthernGopalan NadathurPublished in: CoRR (2013)
Keyphrases
- lambda calculus
- predicate calculus
- predicate logic
- semantic network
- knowledge representation and reasoning
- programming language
- formal model
- order sorted
- computational linguistics
- temporal logic
- first order logic
- lower level
- higher order
- artificial intelligence
- theorem proving
- high level
- logical formulas
- database query languages
- knowledge based systems
- general purpose
- low level
- database