Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.
Julian BiendarraJasmin Christian BlanchetteAymeric BouzyMartin DesharnaisMathias FleuryJohannes HölzlOndrej KuncarAndreas LochbihlerFabian MeierLorenz PannyAndrei PopescuChristian SternagelRené ThiemannDmitriy TraytelPublished in: FroCoS (2017)
Keyphrases
- higher order logic
- data types
- higher order
- conditional logic
- theorem prover
- data structure
- data model
- database management systems
- logical framework
- database systems
- data mining algorithms
- database
- default reasoning
- pairwise
- belief revision
- databases
- incomplete information
- inference rules
- genetic programming
- natural language