Hoare-style reasoning with (algebraic) continuations.
Germán Andrés DelbiancoAleksandar NanevskiPublished in: ICFP (2013)
Keyphrases
- qualitative reasoning
- reasoning systems
- automated reasoning
- neural network
- reasoning process
- database
- real world
- knowledge base
- resource bounded
- knowledge representation
- model based reasoning
- qualitative spatial
- logical reasoning
- reasoning mechanism
- rule based reasoning
- reasoning problems
- fuzzy reasoning
- linear algebra
- domain knowledge
- database systems
- case study
- artificial intelligence
- databases