IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 151 a 179 di 179
Titolo Data di pubblicazione Autore(i) File
Distributed multi-agent optimization for smart grids and home automation 1-gen-2018 Fioretto, Ferdinando; Dovier, Agostino; Pontelli, Enrico
Parallel Answer Set Programming 1-gen-2018 Dovier, A.; Formisano, A.; Pontelli, E.
Towards distributed computation of answer sets 1-gen-2019 De Bortoli, M.; Igne, Federico; Tardivo, F.; Totis, Pietro; Dovier, A.; Pontelli, E.
Non-well-founded set based multi-agent action language 1-gen-2019 Fabiano, F; Riouak, I.; Dovier, A.; Pontelli, E.
Fondamenti dell’informatica. Linguaggi formali, calcolabilità e complessità 1-gen-2020 Dovier, A; Giacobazzi, R
Modelling Multi-Agent Epistemic Planning in ASP 1-gen-2020 Burigana, A.; Fabiano, F.; Dovier, A.; Pontelli, E.
Towards a Logic Programming Tool for Cancer Data Analysis 1-gen-2020 Tarzariol, A.; Zanazzo, E.; Dovier, A.; Policriti, A.
EFP 2.0: A multi-agent epistemic solver with multiple E-state representations 1-gen-2020 Fabiano, F.; Burigana, A.; Dovier, A.; Pontelli, E.
A Java visual simulator of turing machines 1-gen-2020 Burigana, A.; de Martino, F.; Dovier, A.
GPU-Based Parallelism for ASP-Solving 1-gen-2020 Dovier, A.; Formisano, A.; Vella, F.
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies 1-gen-2021 Fabiano, F.; Burigana, A.; Dovier, A.; Pontelli, E.; Son, T. C.
{CUDA}: Set Constraints on GPUs. 1-gen-2021 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Tardivo, Fabio
Data Structures and Algorithms for k-th Nearest Neighbours Conformational Entropy Estimation 1-gen-2022 Borelli, Roberto; Dovier, Agostino; Fogolari, Federico
GPU Parallelism for SAT Solving Heuristics 1-gen-2022 Collevati, M.; Dovier, A.; Formisano, A.
Modeling and Solving the Rush Hour puzzle 1-gen-2022 Cian, L.; Dreossi, T.; Dovier, A.
Constraints Propagation on GPU: A Case Study for AllDifferent 1-gen-2022 Tardivo, F.; Dovier, A.; Formisano, A.; Michel, L.; Pontelli, E.
3coSoKu and its declarative modeling 1-gen-2022 Rizzo, N.; Dovier, A.
Epistemic Multiagent Reasoning with Collaborative Robots 1-gen-2022 Solda, D.; Fabiano, F.; Dovier, A.
Parallel Logic Programming: A Sequel 1-gen-2022 Dovier, A; Formisano, A; Gupta, G; Hermenegildo, Mv; Pontelli, E; Rocha, R
An xAI Approach for Data-to-Text Processing with ASP 1-gen-2023 Dal Palu, A.; Dovier, A.; Formisano, A.
Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023) 1-gen-2023 Dovier, A.; Formisano, A.
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint 1-gen-2023 Tardivo, F.; Dovier, A.; Formisano, A.; Michel, L.; Pontelli, E.
Towards explainable data-to-text generation 1-gen-2023 Palu, A. D.; Dovier, A.; Formisano, A.
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems 1-gen-2023 Solda, D.; Fabiano, F.; Dovier, A.
Preface 1-gen-2023 Dovier, A.; Montanari, A.; Orlandini, A.
Constraint propagation on GPU: A case study for the AllDifferent constraint 1-gen-2023 Tardivo, F.; Dovier, A.; Formisano, A.; Michel, L.; Pontelli, E.
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles 1-gen-2023 Fogolari, F.; Borelli, R.; Dovier, A.; Esposito, G.
Prolog Meets Biology 1-gen-2023 Dal Palu, A.; Dovier, A.; Formisano, A.; Pontelli, E.
Solving the medical student scheduling problem using simulated annealing 1-gen-2024 Zanazzo, Eugenia; Ceschia, Sara; Dovier, Agostino; Schaerf, Andrea
Mostrati risultati da 151 a 179 di 179
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