Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks.
Shruthi RavikumarMargaret HamiltonCharles ThevathayanMaria SpichkovaKashif AliGayan WijesinghePublished in: CoRR (2024)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- temporal reasoning
- automated reasoning
- event calculus
- answer set programming
- situation calculus
- abductive reasoning
- reasoning problems
- bucket elimination
- source code
- constraint networks
- artificial intelligence
- fuzzy description logics
- machine learning
- np complete
- logic programs
- image classification
- natural language
- database systems
- quantified boolean formulas