Searching for "Or-Parallelism within Tabling." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Or-Parallelism within Tabling
- …Or-Parallelism within Tabling Ricardo Rocha Fernando Silva V'itor Santos Costa ? DCC-FC & LIACC…
- Cited by 6 (5 self) – Add To MetaCart
-
On Applying Or-Parallelism to Tabled Evaluations
- … and propose two alternative approaches, Or-Parallelism within Tabling (OPT) and Tabling within Or-Parallelism…
- Cited by 6 (3 self) – Add To MetaCart
-
A Tabling Engine for the Yap Prolog System
- … goals. We also presented two computational models, the OrParallelism within Tabling (OPT) and Tabling…
- Add To MetaCart
-
YapTab: A Tabling Engine Designed to Support Parallelism
- … computational models, the Or-Parallelism within Tabling (OPT) and Tabling within Or-Parallelism (TOP) models…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 4.
