| 1 |
Conflict-driven answer set solving: From theory to practice |
1010 |
2012 |
| 2 |
Answer set solving in practice |
941 |
2022 |
| 3 |
Potassco: The Potsdam answer set solving collection |
683 |
2011 |
| 4 |
Multi-shot ASP solving with clingo |
565 |
2019 |
| 5 |
clasp: A Conflict-Driven Answer Set Solver |
471 |
2007 |
| 6 |
Clingo= ASP+ control: Preliminary report |
458 |
2014 |
| 7 |
Theory solving made easy with clingo 5 |
362 |
2016 |
| 8 |
ASP-Core-2 input language format |
336 |
2020 |
| 9 |
Gringo: A new grounder for answer set programming |
290 |
2007 |
| 10 |
Advances in gringo Series 3 |
232 |
2011 |
| 11 |
Engineering an incremental ASP solver |
180 |
2008 |
| 12 |
ASP-Core-2: Input language format |
171 |
2012 |
| 13 |
Design and results of the fifth answer set programming competition |
170 |
2016 |
| 14 |
Constraint answer set solving |
161 |
2009 |
| 15 |
The second answer set programming competition |
153 |
2009 |
| 16 |
Abstract gringo |
142 |
2015 |
| 17 |
A reinforcement learning environment for job-shop scheduling |
134 |
2021 |
| 18 |
A userâs guide to gringo, clasp, clingo, and iclingo |
134 |
2021 |
| 19 |
Complex optimization in answer set programming |
129 |
2011 |
| 20 |
A meta-programming technique for debugging answer-set programs |
127 |
2008 |
| 21 |
Detecting inconsistencies in large biological networks with answer set programming |
126 |
2011 |
| 22 |
Domain-specific heuristics in answer set programming |
124 |
2013 |
| 23 |
The first answer set programming system competition |
122 |
2007 |
| 24 |
Conflict-Driven Disjunctive Answer Set Solving |
116 |
2008 |
| 25 |
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming |
112 |
2010 |
| 26 |
A portfolio solver for answer set programming: Preliminary report |
111 |
2011 |
| 27 |
Solution enumeration for projected Boolean search problems |
109 |
2009 |
| 28 |
Evaluation techniques and systems for answer set programming: a survey |
106 |
2018 |
| 29 |
Progress in clasp Series 3 |
105 |
2015 |
| 30 |
The Conflict-Driven Answer Set Solver clasp: Progress Report |
105 |
2009 |
| 31 |
Potassco user guide |
103 |
2015 |
| 32 |
Reactive answer set programming |
90 |
2011 |
| 33 |
The sixth answer set programming competition |
86 |
2017 |
| 34 |
Debugging ASP programs by means of ASP |
81 |
2007 |
| 35 |
Conflict-driven answer set enumeration |
79 |
2007 |
| 36 |
Advanced Conflict-Driven Disjunctive Answer Set Solving |
75 |
2013 |
| 37 |
Stream Reasoning with Answer Set Programming: Preliminary Report |
75 |
2012 |
| 38 |
The seventh answer set programming competition: Design and results |
71 |
2020 |
| 39 |
aspcud: A linux package configuration tool based on answer set programming |
63 |
2011 |
| 40 |
Routing driverless transport vehicles in car assembly with answer set programming |
63 |
2018 |
| 41 |
SAT modulo graphs: Acyclicity |
62 |
2014 |
| 42 |
Experimenting with robotic intra-logistics domains |
56 |
2018 |
| 43 |
The design of the seventh answer set programming competition |
56 |
2017 |
| 44 |
Tableau calculi for answer set programming |
55 |
2006 |
| 45 |
The nomoreâ+â+ Approach to Answer Set Solving |
55 |
2005 |
| 46 |
On the Input Language of ASP Grounder Gringo |
53 |
2009 |
| 47 |
Shift design with answer set programming |
53 |
2016 |