Towards Parallel Nonmonotonic Reasoning with Billions of Facts.

Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas

Browse the full KR paper archive.