Reasoning on divergent computations with coaxioms.
Davide AnconaFrancesco DagninoElena ZuccaPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- knowledge representation
- knowledge base
- model based reasoning
- reasoning tasks
- reasoning systems
- reasoning problems
- reasoning process
- information systems
- multiscale
- evolutionary algorithm
- meta level
- qualitative reasoning
- knowledge representation and reasoning
- conflicting information
- database
- approximate reasoning
- legal reasoning
- logical framework
- multi agent systems
- artificial intelligence
- real world
- databases