| No. |
Title |
Author |
Year |
| 1 |
Answer Set Solving with Generalized Learned Constraints |
Gebser, Martin et al. |
2016 |
| 2 |
Computing Diverse Optimal Stable Models |
Romero, Javier et al. |
2016 |
| 3 |
Theory Solving Made Easy with Clingo 5 |
Gebser, Martin et al. |
2016 |
| 4 |
LIPIcs, Volume 7, ICLP'10, Complete Volume |
Hermenegildo, Manuel et al. |
2013 |
| 5 |
aspeed: ASP-based Solver Scheduling |
Hoos, Holger et al. |
2012 |
| 6 |
Unsatisfiability-based optimization in clasp |
Andres, Benjamin et al. |
2012 |
| 7 |
Evolution of Ontologies using ASP |
Ostrowski, Max et al. |
2011 |
| 8 |
Multi-Criteria Optimization in Answer Set Programming |
Gebser, Martin et al. |
2011 |
| 9 |
Introduction to the Technical Communications of the 26th International Conference on Logic Programming |
Hermenegildo, Manuel et al. |
2010 |
| 10 |
Titlepage, Table of Contents, Conference Organization |
Hermenegildo, Manuel et al. |
2010 |
| 11 |
05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints |
Brewka, Gerhard et al. |
2005 |
| 12 |
05171 Executive Summary -- Nonmonotonic Reasoning, Answer Set Programming and Constraints |
Brewka, Gerhard et al. |
2005 |
