Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle.
Amy P. FeltyPublished in: MSFP@ICFP (2010)
Keyphrases
- higher order
- theorem prover
- automated reasoning
- predicate calculus
- high level
- lambda calculus
- reasoning systems
- knowledge base
- high order
- case based reasoner
- knowledge representation
- first order logic
- natural images
- hybrid learning
- conditional random fields
- low order
- theorem proving
- qualitative reasoning
- spatial reasoning
- inference rules
- case based reasoning
- model based reasoning
- low level
- natural deduction
- formal methods
- genetic algorithm
- reasoning tasks
- reasoning process
- pairwise
- artificial intelligence