Searching for "The KR System dlv Progress Report, Comparisons and Benchmarks." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
The KR System dlv: Progress Report, Comparisons and Benchmarks
- …The KR System dlv: Progress Report, Comparisons and Benchmarks Thomas Eiter Institut fur…
- Cited by 100 (22 self) – Add To MetaCart
-
BDD-based reasoning in the fluent calculus – first results
- …. Pfeier, and F. Scarnello. The KR system DLV: Progress report, comparisons and benchmarks. In Proceedings…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 2.
