Reasoning in the Theory of Heap: Satisfiability and Interpolation.
Zafer EsenPhilipp RümmerPublished in: LOPSTR (2020)
Keyphrases
- satisfiability problem
- reasoning problems
- deductive reasoning
- cognitive maps
- data structure
- formal theory
- np complete
- theoretical framework
- proof theoretic
- computational properties
- computational complexity
- commonsense reasoning
- formal models
- evidential reasoning
- causal reasoning
- logical framework
- reasoning process
- reasoning tasks
- phase transition
- abstract argumentation
- terminological reasoning
- proof theory
- reasoning processes
- general theory
- reasoning systems
- image interpolation
- automated reasoning
- case based reasoning