The Complexity of Contextual Abduction in Human Reasoning Tasks.
Emmanuelle-Anna Dietz SaldanhaSteffen HölldoblerTobias PhilippPublished in: YSIP (2017)
Keyphrases
- reasoning tasks
- abductive reasoning
- logic programming
- description logics
- automated reasoning
- answer set programming
- temporal reasoning
- logic programs
- situation calculus
- contextual information
- bucket elimination
- high level
- reasoning problems
- space complexity
- general purpose
- search algorithm
- probabilistic reasoning
- knowledge representation
- natural language understanding
- probability distribution
- computational complexity