Powerlists in Coq: Programming and Reasoning.
Frédéric LoulergueVirginia NiculescuSimon RobillardPublished in: CANDAR (2013)
Keyphrases
- programming language
- reasoning process
- reasoning systems
- knowledge base
- neural network
- real time
- programming environments
- programming environment
- high level language
- deductive reasoning
- programming course
- object oriented programming
- automated reasoning
- computer programming
- meta level
- probabilistic reasoning
- legal reasoning
- computational properties
- knowledge representation
- analogical reasoning
- resource bounded
- reasoning engine
- domain knowledge
- case study
- website