T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The Architecture of a Disjunctive Deductive Database System. In M. Falaschi, M. Navarro, and A. Policriti, editors, Proceedings Joint Conference on Declarative Programming (APPIA-GULP-PRODE '97), pages 141-151, June 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Knowledge Base Reformation: Preparing First-Order.. - Prendinger, Ishizuka.. (Correct)
....tree idea is applied in a novel way, where the (second phase of the) construction of the query tree is used to economically instantiate the theory. Our instantiation procedure extends the intelligent grounding module (IG) proposed for the Disjunctive Deductive Database System dlv (Eiter et al. [7]) However, our procedure only applies to nondisjunctive theories. 4.1 Levy s Query Tree A query tree is a compact representation of a search tree for first order Horn theories (Levy et al. 13] Most importantly, the query tree encodes precisely the set of all derivations of a query type p( ....
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarello. The architecture of a disjunctive deductive database system. In Proceedings Joint Conference on Declarative Programming (GULP-97), 1997.
The Diagnosis Frontend of the dlv System - Eiter, Faber, Leone, Pfeifer (1999) (10 citations) Self-citation (Eiter Leone Pfeifer) (Correct)
....of alternative formalizations of diagnosis into the front end, e.g. abductive diagnosis under inference for all stable models. The dlv system is freely available for various platforms via the dlv homepage [18] More detailed descriptions of other features of the dlv system can be found in [1, 4, 13, 14, 16, 15, 17]. Acknowledgements The authors wish to thank Simona Citrigno for implementing the original version of the diagnosis frontend of dlv. This work was supported by FWF (Austrian Science Funds) under the projects P11580 MAT and Z29 INF. Currently we cannot expect very fast computations, as our ....
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The Architecture of a Disjunctive Deductive Database System. In M. Falaschi, M. Navarro, and A. Policriti, editors, Proceedings Joint Conference on Declarative Programming (APPIA-GULP-PRODE '97), pages 141-151, June 1997.
The Diagnosis Frontend of the dlv System - Eiter, Faber, Leone, Pfeifer (1999) (10 citations) Self-citation (Eiter Leone Pfeifer) (Correct)
....of alternative formalizations of diagnosis into the frontend, e.g. abductive diagnosis under inference for all stable models. The dlv system is freely available for various platforms via the dlv homepage [18] More detailed descriptions of other features of the dlv system can be found in [1, 4, 13, 14, 16, 15, 17]. Acknowledgements The authors wish to thank Simona Citrigno for implementing the original version of the diagnosis frontend of dlv. This work was supported by FWF (Austrian Science Funds) under the projects P11580 MAT and Z29 INF. ....
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The Architecture of a Disjunctive Deductive Database System. In M. Falaschi, M. Navarro, and A. Policriti, editors, Proceedings Joint Conference on Declarative Programming (APPIA- GULP-PRODE '97), pages 141--151, June 1997.
The Diagnosis Frontend of the dlv System - Eiter, Faber, Leone, Pfeifer (1998) (10 citations) Self-citation (Eiter Leone Pfeifer) (Correct)
....of alternative formalizations of diagnosis into the front end, e.g. abductive diagnosis under inference for all stable models. The dlv system is freely available for various platforms via the dlv homepage [18] More detailed descriptions of other features of the dlv system can be found in [1, 4, 13, 14, 16, 15, 17]. Acknowledgements The authors wish to thank Simona Citrigno for implementing the original version of the diagnosis frontend of dlv. 9 Currently we cannot expect very fast computations, as our diagnosis frontend solves Sigma P 2 hard problems. DBAI TR 98 20 25 Appendix A Consistency Based ....
T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The Architecture of a Disjunctive Deductive Database System. In M. Falaschi, M. Navarro, and A. Policriti, editors, Proceedings Joint Conference on Declarative Programming (APPIA-GULP-PRODE '97), pages 141--151, June 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC