The KR System dlv: Progress Report, Comparisons and Benchmarks (1998)
Cached
Download Links
- [www.dbai.tuwien.ac.at]
- [www.dbai.tuwien.ac.at]
- DBLP
Other Repositories/Bibliography
by
Thomas Eiter
,
Nicola Leone
,
Cristinel Mateis
,
Gerald Pfeifer
,
Francesco Scarcello
| Citations: | 102 - 23 self |
BibTeX
@INPROCEEDINGS{Eiter98thekr,
author = {Thomas Eiter and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello},
title = {The KR System dlv: Progress Report, Comparisons and Benchmarks},
booktitle = {},
year = {1998},
pages = {406--417},
publisher = {Morgan Kaufmann Publishers}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
dlv is a knowledge representation system, based on disjunctive logic programming, which offers frontends to several advanced KR formalisms. The system has
Citations
| 138 | Propositional semantics for disjunctive logic programs - Ben-Eliyahu, Dechter - 1994 |
| 63 | Default reasoning system DeReS - Cholewiński, Marek, et al. - 1996 |
| 39 | Default Logic as a Query Language - Cadoli, Eiter, et al. - 1997 |
| 31 | Experimenting with nonmonotonic reasoning - Cholewiński, Marek, et al. - 1995 |
| 24 | Reasoning with minimal models: Efficient algorithms and applications - Ben-Eliyahu, Palopoli - 1994 |
| 8 | Preferred answer sets - Brewka, Eiter - 1997 |
| 1 | Dislop: A research project on disjunctive logic programming - Baral, Gelfond - 1997 |
| 1 | Weak Constraints in Disjunctive Datalog - Strong - 1997 |
