Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks.
Shruthi RavikumarMargaret HamiltonCharles ThevathayanMaria SpichkovaKashif AliGayan WijesinghePublished in: ENASE (2024)
Keyphrases
- reasoning tasks
- logic programming
- description logics
- automated reasoning
- event calculus
- temporal reasoning
- situation calculus
- answer set programming
- reasoning problems
- abductive reasoning
- bucket elimination
- source code
- data mining
- np complete
- logic programs
- image classification
- knowledge representation
- interval algebra
- programs written
- fuzzy description logics
- quantified boolean formulas
- database