Optimizing the Computation of Heuristics for Answer Set Programming Systems
暂无分享,去创建一个
[1] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[2] Wolfgang Faber,et al. DLV - A System for Declarative Problem Solving , 2000, ArXiv.
[3] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.
[4] Wolfgang Faber,et al. Experimenting with Heuristics for Answer Set Programming , 2001, IJCAI.
[5] Wolfgang Faber,et al. Pushing Goal Derivation in DLP Computations , 1999, LPNMR.
[6] Wolfgang Faber,et al. Using Database Optimization , 1999 .
[7] Gerald Pfeifer,et al. Progress Report on the Disjunctive Deductive Database System dlv , 1998, FQAS.
[8] Georg Gottlob,et al. Default Logic as a Query Language , 1997, IEEE Trans. Knowl. Data Eng..
[9] Wolfgang Faber,et al. Declarative problem-solving using the DLV system , 2000 .
[10] V. Lifschitz,et al. Foundations of Logic Programming , 1997 .
[11] Vladimir Lifschitz,et al. Answer Set Planning (Abstract) , 1999, LPNMR.
[12] Wolfgang Faber,et al. The Diagnosis Frontend of the dlv System , 1999, AI Commun..
[13] G. Brewka. Principles of Knowledge Representation , 1996 .
[14] Esra Erdem,et al. Applications of Logic Programming to Planning: Computational Experiments , 1999 .
[15] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[16] Francesco Scarcello,et al. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation , 1997, Inf. Comput..
[17] Chu Min Li,et al. Heuristics Based on Unit Propagation for Satisfiability Problems , 1997, IJCAI.