Experimenting with Heuristics for Answer Set Programming
暂无分享,去创建一个
[1] Danny De Schreye,et al. Answer Set Planning , 1999 .
[2] Wolfgang Faber,et al. DLV - A System for Declarative Problem Solving , 2000, ArXiv.
[3] Wolfgang Faber,et al. Declarative problem-solving using the DLV system , 2000 .
[4] James M. Crawford,et al. Experimental Results on the Crossover Point in Random 3-SAT , 1996, Artif. Intell..
[5] V. Lifschitz,et al. Foundations of Logic Programming , 1997 .
[6] Juliana Freire,et al. XSB: A System for Effciently Computing WFS , 1997, LPNMR.
[7] Stefan Woltran,et al. Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas , 2000, AAAI/IAAI.
[8] Miroslaw Truszczynski,et al. dcs: An Implementation of DATALOG with Constraints , 2000, ArXiv.
[9] Chu Min Li,et al. Heuristics Based on Unit Propagation for Satisfiability Problems , 1997, IJCAI.
[10] Esra Erdem,et al. Applications of Logic Programming to Planning: Computational Experiments , 1999 .
[11] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[12] Hudson Turner,et al. Satisfiability planning with Causal Theories , 1998, KR.
[13] Georg Gottlob,et al. Default Logic as a Query Language , 1997, IEEE Trans. Knowl. Data Eng..
[14] J. Freeman. Improvements to propositional satisfiability search algorithms , 1995 .
[15] Wolfgang Faber,et al. Pushing Goal Derivation in DLP Computations , 1999, LPNMR.
[16] Georg Gottlob,et al. Disjunctive datalog , 1997, TODS.