7 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
Emanuele La Malfa, Christoph Weinhuber, Orazio Torre +5
Many reasoning, planning, and problem-solving tasks share an intrinsic algorithmic nature: correctly simulating each step is a sufficient condition to solve them correctly. This wo…