Keyphrases
- reasoning tasks
- description logics
- answer set programming
- logic programming
- temporal reasoning
- abductive reasoning
- event calculus
- automated reasoning
- situation calculus
- bucket elimination
- combinatorial optimization
- fuzzy logic
- logic programs
- fault diagnosis
- quantified boolean formulas
- optimal solution
- temporal logic
- reasoning problems
- expert systems