The Multi-Engine ASP Solver me-asp
暂无分享,去创建一个
[1] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[2] Georg Gottlob,et al. Disjunctive datalog , 1997, TODS.
[3] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[4] Hans Kleine Büning,et al. Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings , 2008, SAT.
[5] Alex M. Andrew,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .
[6] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[7] Ingo Mierswa,et al. YALE: rapid prototyping for complex data mining tasks , 2006, KDD '06.
[8] Luca Pulina,et al. Applying Machine Learning Techniques to ASP Solving , 2012, ICLP.
[9] Kevin Leyton-Brown,et al. SATzilla: Portfolio-based Algorithm Selection for SAT , 2008, J. Artif. Intell. Res..
[10] Luca Pulina,et al. A self-adaptive multi-engine solver for quantified Boolean formulas , 2009, Constraints.
[11] Ashish Ghosh,et al. Aggregation Pheromone Density Based Pattern Classification , 2009, Fundam. Informaticae.
[12] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[13] Marius Thomas Lindauer,et al. A Portfolio Solver for Answer Set Programming: Preliminary Report , 2011, LPNMR.
[14] Yuliya Lierler,et al. Disjunctive Answer Set Programming via Satisfiability , 2005, Answer Set Programming.
[15] Yuliya Lierler,et al. cmodels - SAT-Based Disjunctive Answer Set Solver , 2005, LPNMR.
[16] Hadley Wickham,et al. R and S , 2013 .
[17] Mario Alviano,et al. The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track , 2011, LPNMR.
[18] Danny De Schreye,et al. Answer Set Planning , 1999 .
[19] Maurice Bruynooghe,et al. SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions , 2008, SAT.
[20] Wolfgang Faber,et al. Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.
[21] Marcello Balduccini,et al. Learning and using domain-specific heuristics in ASP solvers , 2011, AI Commun..
[22] Ilkka Niemelä,et al. Computing Stable Models via Reductions to Difference Logic , 2009, LPNMR.
[23] P. Cochat,et al. Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.