| No. |
Title |
Author |
Year |
| 1 |
05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints |
Brewka, Gerhard et al. |
2005 |
| 2 |
05171 Executive Summary -- Nonmonotonic Reasoning, Answer Set Programming and Constraints |
Brewka, Gerhard et al. |
2005 |
| 3 |
Answer Set Programming and Combinatorial Voting |
Grabos, Rafal |
2005 |
| 4 |
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV |
Kern-Isberner, Gabriele et al. |
2005 |
| 5 |
Normal Form Theorem for Logic Programs with Cardinality Constraints |
Marek, Victor W. et al. |
2005 |
| 6 |
Possibilistic Stable Models |
Nicolas, Pascal et al. |
2005 |
| 7 |
Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming |
Polleres, Axel |
2005 |
| 8 |
Set Based Logic Programming |
Remmel, Jeffrey B. et al. |
2005 |
