Massively Parallel Reasoning under the Well-Founded Semantics Using X10.

Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward

Browse the full ICTAI paper archive.