Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     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 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
 artikel
2 Evaluating Answer Set Programming with Non-Convex Recursive Aggregates Alviano, Mario
 2016
 149 1-2 p. 1-34
 artikel
3 Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning Vallati, Mauro
 2016
 149 1-2 p. 209-240
 artikel
4 Modeling Variations of First-Order Horn Abduction in Answer Set Programming Schüller, Peter
 2016
 149 1-2 p. 159-207
 artikel
5 Now or Never: Negotiating Efficiently with Unknown orUntrusted Counterparts* Mancini, Toni
 2016
 149 1-2 p. 61-100
 artikel
6 Preface Bistarelli, Stefano
 2016
 149 1-2 p. v-vii
 artikel
7 SyLVaaS: System Level Formal Verification as a Service* Mancini, Toni
 2016
 149 1-2 p. 101-132
 artikel
8 Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows Marin, Paolo
 2016
 149 1-2 p. 133-158
 artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland