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