| No. |
Title |
Author |
Year |
| 1 |
aspeed: ASP-based Solver Scheduling |
Hoos, Holger et al. |
2012 |
| 2 |
Unsatisfiability-based optimization in clasp |
Andres, Benjamin et al. |
2012 |
| 3 |
Evolution of Ontologies using ASP |
Ostrowski, Max et al. |
2011 |
| 4 |
Multi-Criteria Optimization in Answer Set Programming |
Gebser, Martin et al. |
2011 |
| 5 |
Introduction to the Technical Communications of the 26th International Conference on Logic Programming |
Hermenegildo, Manuel et al. |
2010 |
| 6 |
Titlepage, Table of Contents, Conference Organization |
Hermenegildo, Manuel et al. |
2010 |
| 7 |
05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints |
Brewka, Gerhard et al. |
2005 |
| 8 |
05171 Executive Summary -- Nonmonotonic Reasoning, Answer Set Programming and Constraints |
Brewka, Gerhard et al. |
2005 |
