IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 101 a 150 di 180
Titolo Data di pubblicazione Autore(i) File
Introduction to the 28th International Conference on Logic Programming Special Issue 1-gen-2012 Dovier, Agostino; Costa, Vitor Santos
Exploiting unexploited computing resources for computational logics 1-gen-2012 Dal Palù, A; Dovier, Agostino; Formisano, A; Pontelli, E.
Introduction to the technical communications of the 28th international conference on logic programming special issue 1-gen-2012 Dovier, Agostino; Costa, Vítor Santos
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. 1-gen-2012 Campeotto, Federico; A., Dal Palu'; Dovier, Agostino; Fioretto, Ferdinando; E., Pontelli
Editorial, September 2013 1-gen-2013 Dovier, Agostino; Pontelli, E.
Editorial, June 2013 1-gen-2013 Dovier, Agostino; Pontelli, E.
Editorial, December 2013 1-gen-2013 Dovier, Agostino; Pontelli, E.
Editorial, January 2013 1-gen-2013 Dovier, Agostino; Pontelli, E.
A Tabled Prolog Program for Solving Sokoban 1-gen-2013 Neng Fa, Zhou; Dovier, Agostino
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 1-gen-2013 Dovier, Agostino; Formisano, A; Pontelli, E.
co-LP: Back to the Roots 1-gen-2013 Davide, Ancona; Dovier, Agostino
A Constraint Solver for Flexible Protein Models 1-gen-2013 Campeotto, Federico; Dal Palù, A.; Dovier, Agostino; Fioretto, Ferdinando; Pontelli, E.
CUD@ASP: Experimenting with GPUs in ASP solving 1-gen-2013 Vella, F; Dal Palù, A; Dovier, Agostino; Formisano, A; Pontelli, E.
A multi-paradigm tool for large neighborhood search 1-gen-2013 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
Protein structure prediction on GPU: A declarative approach in a multi-Agent framework 1-gen-2013 Campeotto, F.; Dovier, A.; Pontelli, E.
EDITORIAL, December 2014 1-gen-2014 Dovier, Agostino; Pontelli, E.
Editorial, June/July 2014 1-gen-2014 Dovier, Agostino; E., Pontelli
Experimenting with FIASCO for protein structure prediction. 1-gen-2014 Campeotto, Federico; A., Dal Palu; Dovier, Agostino; Fioretto, Ferdinando; E., Pontelli
Towards a complete constraint solver on GPU 1-gen-2014 Campeotto, Federico; Alessandro Dal, Palù; Dovier, Agostino; Fioretto, Ferdinando; Enrico, Pontelli
Editorial, September 2014 1-gen-2014 Dovier, Agostino; E., Pontelli
Editorial, March 2014 1-gen-2014 Dovier, Agostino; E., Pontelli
Exploring the Use of GPUs in Constraint SolvingPractical Aspects of Declarative Languages 1-gen-2014 Campeotto, Federico; Alessandro Dal, Palù; Dovier, Agostino; Fioretto, Ferdinando; Enrico, Pontelli
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 1-gen-2014 Campeotto, Federico; Dovier, Agostino; Fioretto, Ferdinando; Enrico, Pontelli
Set Graphs VI: Logic Programming and Bisimulation 1-gen-2014 Dovier, Agostino
Foreword [to Constraint Solving and Planning with Picat] 1-gen-2015 Dovier, Agostino
Parallel execution of the ASP computation - An investigation on GPUs 1-gen-2015 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems 1-gen-2015 Fioretto, Ferdinando; Campeotto, Federico; Dovier, Agostino; Yeoh, William; Pontelli, Enrico
Planning as tabled logic programming 1-gen-2015 Zhou, Neng Fa; Barták, Roman; Dovier, Agostino
A Theoretical Perspective of Coinductive Logic Programming 1-gen-2015 Ancona, Davide; Dovier, Agostino
Logic programming and bisimulation 1-gen-2015 Dovier, Agostino
Constrained Community-based Gene Regulatory Network Inference 1-gen-2015 Fioretto, Ferdinando; Dovier, Agostino; Pontelli, Enrico
A declarative concurrent system for protein structure prediction on GPU 1-gen-2015 Campeotto, Federico; Dovier, Agostino; Pontelli, Enrico
CUD@SAT: SAT solving on GPUs 1-gen-2015 Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 1-gen-2016 Barták, Roman; Zhou, Neng Fa; Dovier, Agostino
Reasoning in high schools: Do it with ASP! ? 1-gen-2016 Dovier, Agostino; Benoli, Paolo; Brocato, Maria Concetta; Dereani, Luciano; Tabacco, Federica
Labelled variables in logic programming: Foundations 1-gen-2016 Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea
A GPU implementation of the ASP computation 1-gen-2016 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
Logic programming applied to genome evolution in cancer? 1-gen-2016 Palù, Dal; Dovier, Agostino; Formisano, A.; Policriti, Alberto; Pontelli, E.
Exploring the use of BDDs in conformant planning 1-gen-2016 Tognazzi, Stefano; Dovier, Agostino; Pontelli, Enrico; Son, Tran
Compiling and executing PDDL in picat 1-gen-2016 Bortoli, Marco De; Barták, Roman; Dovier, Agostino; Zhou, Neng Fa
Parallel Answer Set Programming 1-gen-2017 Formisano, Andrea; Dovier, Agostino; Enrico, Pontelli
Towards a Logic Programming Tool for Cancer Analysis 1-gen-2017 Tarzariol, Alice; Dovier, Agostino; Policriti, Alberto
Multiple-origin-multiple-destination path finding with minimal arc usage: Complexity and models 1-gen-2017 Bartã¡k, Roman; Dovier, Agostino; Zhou, Neng-Fa
Preface 1-gen-2017 Dovier, Agostino
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain 1-gen-2017 Barták, Roman; Chrpa, Lukas; Dovier, Agostino; Vodrážka, Jindrich; Zhou, Neng Fa
Optimization of a compiler from PDDL to Picat (Short Paper) 1-gen-2017 Contaldo, Francesco; De Bortoli, Marco; Dovier, Agostino
Exploring Life: Answer Set Programming in Bioinformatics 1-gen-2018 DAL PALU', A; Dovier, A; Formisano, A; Pontelli, E
MASP-Reduce: A Proposal for Distributed Computation of Stable Models 1-gen-2018 Igne, Federico; Dovier, Agostino; Pontelli, Enrico
Parallel Answer Set Programming 1-gen-2018 Dovier, A.; Formisano, A.; Pontelli, E.
Distributed multi-agent optimization for smart grids and home automation 1-gen-2018 Fioretto, Ferdinando; Dovier, Agostino; Pontelli, Enrico
Mostrati risultati da 101 a 150 di 180
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile