no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A logical characterisation of ordered disjunction
|
Cabalar, Pedro |
|
2011 |
24 |
2 |
p. 165-175 |
article |
2 |
An incremental answer set programming based system for finite model computation
|
Gebser, Martin |
|
2011 |
24 |
2 |
p. 195-212 |
article |
3 |
Dynamic Magic Sets and super-coherent answer set programs
|
Alviano, Mario |
|
2011 |
24 |
2 |
p. 125-145 |
article |
4 |
Learning and using domain-specific heuristics in ASP solvers
|
Balduccini, Marcello |
|
2011 |
24 |
2 |
p. 147-164 |
article |
5 |
Potassco: The Potsdam Answer Set Solving Collection
|
Gebser, Martin |
|
2011 |
24 |
2 |
p. 107-124 |
article |
6 |
Special issue on answer set programming
|
Balduccini, Marcello |
|
2011 |
24 |
2 |
p. 105-106 |
article |
7 |
Special issue on answer set programming
|
Balduccini, Marcello |
|
2011 |
24 |
2 |
p. 105-106 |
article |
8 |
Symmetry-breaking answer set solving
|
Drescher, Christian |
|
2011 |
24 |
2 |
p. 177-194 |
article |