In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning.
Meghna BhadraUlrich FurbachPublished in: Künstliche Intell. (2023)
Keyphrases
- automated reasoning
- proof theory
- working memory
- logical reasoning
- deductive reasoning
- logical framework
- formal models
- logical inference
- proof theoretic
- order of magnitude reasoning
- episodic memory
- human reasoning
- computational properties
- probabilistic logic
- computational logic
- intuitionistic logic
- formal language
- model theoretic
- cognitive abilities
- meta level
- logic programming
- reasoning processes
- logical rules
- human memory
- knowledge representation formalisms
- cognitive agents
- cognitive psychology
- knowledge base
- logical formulas
- reasoning tasks
- probabilistic reasoning
- horn logic
- information processing
- ctl model update
- highly expressive
- cognitive architecture
- abductive reasoning
- reasoning engine
- cognitive processing
- reasoning problems
- knowledge representation
- proof procedure
- random access memory
- reasoning about actions
- mathematical theory
- description logics
- theorem prover
- cognitive processes
- default reasoning
- cognitive load
- qualitative reasoning
- reasoning process
- classical logic
- defeasible logic
- causal reasoning
- formal representation
- cognitive functions
- computational model
- case based reasoner
- memory requirements
- legal argument
- artificial intelligence
- past experience
- inference rules
- modal logic
- mental models
- knowledge representation and reasoning
- commonsense reasoning
- knowledge sharing and reuse