Cognitive Assistants for Evidence-Based Reasoning Tasks.
Mihai BoicuDorin MarcuGheorghe TecuciDavid SchumPublished in: AAAI Fall Symposium: Advances in Cognitive Systems (2011)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- answer set programming
- temporal reasoning
- event calculus
- automated reasoning
- quantified boolean formulas
- situation calculus
- bucket elimination
- abductive reasoning
- qualitative and quantitative
- machine learning
- interval algebra
- fuzzy description logics
- knowledge representation
- parallel processing
- reasoning problems
- logic programs