Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning.
Gudmund GrovPublished in: ASE (2005)
Keyphrases
- deductive reasoning
- abductive inference
- database languages
- functional programs
- reasoning systems
- knowledge base
- provably correct
- automated reasoning
- knowledge representation
- computer programs
- model checking
- proof planning
- model based reasoning
- automatic programming
- consistency checking
- reasoning problems
- artificial intelligence
- programming language
- information systems