LF+ in Coq for "fast and loose" reasoning.
Fabio AlessiAlberto CiaffaglionePietro Di GianantonioFurio HonsellMarina LenisaIvan ScagnettoPublished in: J. Formaliz. Reason. (2019)
Keyphrases
- formal methods
- knowledge base
- theorem prover
- reasoning systems
- reasoning tasks
- neural network
- resource bounded
- reasoning process
- qualitative reasoning
- meta level
- valued logic
- reasoning engine
- reasoning mechanisms
- reasoning problems
- database
- default reasoning
- logic programs
- knowledge representation
- information systems
- data sets
- real time