Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     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 An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner Barták, Roman
 2016
 149 1-2 p. 35-60
 article
2 Evaluating Answer Set Programming with Non-Convex Recursive Aggregates Alviano, Mario
 2016
 149 1-2 p. 1-34
 article
3 Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning Vallati, Mauro
 2016
 149 1-2 p. 209-240
 article
4 Modeling Variations of First-Order Horn Abduction in Answer Set Programming Schüller, Peter
 2016
 149 1-2 p. 159-207
 article
5 Now or Never: Negotiating Efficiently with Unknown orUntrusted Counterparts* Mancini, Toni
 2016
 149 1-2 p. 61-100
 article
6 Preface Bistarelli, Stefano
 2016
 149 1-2 p. v-vii
 article
7 SyLVaaS: System Level Formal Verification as a Service* Mancini, Toni
 2016
 149 1-2 p. 101-132
 article
8 Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows Marin, Paolo
 2016
 149 1-2 p. 133-158
 article
                             8 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands