Model-Checking Memory Requirements of Resource-Bounded Reasoners.

Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini

Browse the full AAAI paper archive.