DLV - A System for Declarative Problem Solving
暂无分享,去创建一个
Wolfgang Faber | Gerald Pfeifer | Thomas Eiter | Nicola Leone | Christoph Koch | Thomas Eiter | N. Leone | G. Pfeifer | Christoph E. Koch | Wolfgang Faber
[1] Georg Gottlob,et al. Default Logic as a Query Language , 1997, IEEE Trans. Knowl. Data Eng..
[2] Wolfgang Faber,et al. Disjunctive Logic Programs with Inheritance , 1999, ICLP.
[3] Wolfgang Faber,et al. Pushing Goal Derivation in DLP Computations , 1999, LPNMR.
[4] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[5] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[6] Paolo Mancarella,et al. Abductive Logic Programming , 1992, LPNMR.
[7] David Poole,et al. Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..
[8] Pietro Torasso,et al. On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..
[9] Georg Gottlob,et al. Disjunctive datalog , 1997, TODS.
[10] Raymond Reiter,et al. Characterizing Diagnoses and Systems , 1992, Artif. Intell..
[11] Georg Gottlob,et al. Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..
[12] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[13] V. Lifschitz,et al. Foundations of Logic Programming , 1997 .