Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             8 results found
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
                             8 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands