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 |