Tachmazidis, Ilias, Foundation for Research and Technology - Hellas and University of Crete, Greece
-
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning - Short Papers
Towards Parallel Nonmonotonic Reasoning with Billions of Facts
Abstract PDF