Specifying Functional Programs with Intuitionistic First Order Logic.
Marcin BenkePublished in: CS&P (2015)
Keyphrases
- first order logic
- functional programs
- theorem prover
- expressive power
- theorem proving
- inference rules
- propositional logic
- functional language
- logic programs
- probabilistic reasoning
- proof planning
- knowledge representation
- linear logic
- representation language
- natural deduction
- inductive logic programming
- predicate calculus
- fuzzy numbers
- incomplete information
- horn clauses
- markov logic networks
- transitive closure
- relational algebra
- proof procedure
- functional programming
- classical logic
- database
- logic programming
- artificial intelligence
- machine learning