Foundational nonuniform (Co)datatypes for higher-order logic.
Jasmin Christian BlanchetteFabian MeierAndrei PopescuDmitriy TraytelPublished in: LICS (2017)
Keyphrases
- higher order logic
- data types
- higher order
- theorem prover
- conditional logic
- data model
- logical framework
- data structure
- database management systems
- database systems
- belief revision
- database
- artificial intelligence
- data representation
- first order logic
- inference rules
- data mining algorithms
- nonmonotonic reasoning
- default reasoning
- distance measure
- feature construction
- knowledge discovery
- natural language