|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A logical characterisation of ordered disjunction |
Cabalar, Pedro |
2011 |
24 | 2 |
p. 165-175 |
artikel |
|
| 2 | An incremental answer set programming based system for finite model computation |
Gebser, Martin |
2011 |
24 | 2 |
p. 195-212 |
artikel |
|
| 3 | Dynamic Magic Sets and super-coherent answer set programs |
Alviano, Mario |
2011 |
24 | 2 |
p. 125-145 |
artikel |
|
| 4 | Learning and using domain-specific heuristics in ASP solvers |
Balduccini, Marcello |
2011 |
24 | 2 |
p. 147-164 |
artikel |
|
| 5 | Potassco: The Potsdam Answer Set Solving Collection |
Gebser, Martin |
2011 |
24 | 2 |
p. 107-124 |
artikel |
|
| 6 | Special issue on answer set programming |
Balduccini, Marcello |
2011 |
24 | 2 |
p. 105-106 |
artikel |
|
| 7 | Special issue on answer set programming |
Balduccini, Marcello |
2011 |
24 | 2 |
p. 105-106 |
artikel |
|
| 8 | Symmetry-breaking answer set solving |
Drescher, Christian |
2011 |
24 | 2 |
p. 177-194 |
artikel |
8 gevonden resultaten