Keyphrases
- lecture notes in artificial intelligence
- revised selected papers
- artificial intelligence
- international workshop
- human reasoning
- proof theory
- computer science
- automated reasoning
- deductive reasoning
- computational properties
- order of magnitude reasoning
- knowledge representation and reasoning
- knowledge representation
- intuitionistic logic
- machine learning for multimodal interaction
- logical inference
- reasoning engine
- programming language
- logical framework
- scientific discovery
- proof theoretic
- cognitive psychology
- probabilistic logic
- intelligent systems
- fuzzy logic
- logic programming
- probabilistic reasoning
- horn logic
- computational logic
- abductive reasoning
- reasoning about actions
- knowledge base
- selected papers
- classical logic
- rule based reasoning
- proof procedure
- neural network
- reasoning tasks
- logical rules
- information retrieval
- control system
- general purpose
- ambient intelligence
- highly optimized