Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday
Published in: Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Keyphrases
- proof theory
- proof theoretic
- formal models
- deductive reasoning
- computational properties
- logic programming
- logical formulas
- logical framework
- automated reasoning
- commonsense reasoning
- theoretical models
- derivation rules
- default reasoning
- conditional logic
- logical rules
- formal theory
- qualitative models
- model theoretic
- imprecise probabilities
- reasoning mechanisms
- reasoning tasks
- deductive databases
- kripke models
- causal reasoning
- semantic information
- ontological reasoning
- vague concepts
- modal logic
- computational models
- reasoning processes
- default rules
- conceptual models
- probabilistic logic
- operational semantics
- knowledge base