IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 100 di 114
Titolo Data di pubblicazione Autore(i) File
Nested weight constraints in ASP 1-gen-2013 Costantini, Stefania; Formisano, Andrea
Query answering in resource-based answer set semantics 1-gen-2014 Costantini, Stefania; Formisano, Andrea
On multiple learning schemata in conflict driven solvers 1-gen-2014 Formisano, A.; Vella, F.
Negation as a Resource: A Novel View on Answer Set Semantics 1-gen-2015 Costantini, Stefania; Formisano, Andrea
CUD@SAT: SAT solving on GPUs 1-gen-2015 Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Parallel execution of the ASP computation - An investigation on GPUs 1-gen-2015 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
Query answering in resource-based answer set semantics 1-gen-2016 Costantini, Stefania; Formisano, Andrea.
Multi-context systems in time 1-gen-2016 Costantini, Stefania; Formisano, Andrea
A GPU implementation of the ASP computation 1-gen-2016 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" 1-gen-2016 Bistarelli, S.; Formisano, A.; Maratea, M.; Torroni, P.
Logic programming applied to genome evolution in cancer? 1-gen-2016 Palù, Dal; Dovier, Agostino; Formisano, A.; Policriti, Alberto; Pontelli, E.
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 1-gen-2016 Costantini, Stefania; Formisano, Andrea
Preface 1-gen-2016 Bistarelli, S.; Formisano, A.; Maratea, M.
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 1-gen-2016 Costantini, Stefania; Formisano, Andrea
Budget-constrained reasoning in agent computational environments 1-gen-2016 Costantini, Stefania; Formisano, Andrea
Theoretical Computer Science in Italy 1-gen-2016 Bistarelli, S.; Formisano, A.
Parallel Answer Set Programming 1-gen-2017 Formisano, Andrea; Dovier, Agostino; Enrico, Pontelli
Accelerating energy games solvers on modern architectures 1-gen-2017 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Multi-context systems: Dynamics and evolution 1-gen-2017 Cabalar, P.; Costantini, Stefania; Formisano, Andrea
Exploring Life: Answer Set Programming in Bioinformatics 1-gen-2018 DAL PALU', A; Dovier, A; Formisano, A; Pontelli, E
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules 1-gen-2018 Costantini, Stefania; Formisano, Andrea
Timed Memory in Resource-Bounded Agents 1-gen-2018 Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina
Parallel Answer Set Programming 1-gen-2018 Dovier, A.; Formisano, A.; Pontelli, E.
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 1-gen-2018 Bistarelli, S.; Formisano, A.; Maratea, M.
Reasoning on Relations, Modalities, and Sets 1-gen-2018 Formisano, A.; Omodeo, E. G.; Policriti, A.
ASP Applications in Bio-informatics: A Short Tour 1-gen-2018 Dal Palù, Alessandro; Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
2D object reconstruction with ASP 1-gen-2018 Dal Palu, A.; Dovier, A.; Formisano, A.
Preface 1-gen-2019 Bogaerts, B.; Erdem, E.; Fodor, P.; Formisano, A.; Ianni, G.; Inclezan, D.; Vidal, G.; Villanueva, A.; De Vos, M.; Yang, F.
Augmenting knowledge representation and reasoning languages with customizable metalogic features 1-gen-2019 Costantini, Stefania; Formisano, Andrea
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 1-gen-2019 Costantini, Stefania; Formisano, Andrea
Introduction to the 35th International Conference on Logic Programming Special Issue 1-gen-2019 Erdem, E.; Formisano, A.; Vidal, G.; Yang, F.
Multi-context systems in dynamic environments 1-gen-2019 Cabalar, Pedro; Costantini, Stefania; De Gasperis, Giovanni; Formisano, Andrea
GPU-Based Parallelism for ASP-Solving 1-gen-2020 Dovier, A.; Formisano, A.; Vella, F.
Adding Metalogic Features to Knowledge Representation Languages 1-gen-2021 Costantini, S.; Formisano, A.
Introduction to the 37th international conference on logic programming special issue i 1-gen-2021 Brik, A.; Formisano, A.; Liu, Y. A.; Vennekens, J.
An Epistemic Logic for Multi-agent Systems with Budget and Costs 1-gen-2021 Costantini, S.; Formisano, A.; Pitoni, V.
A logic of inferable in multi-agent systems with budget and costs 1-gen-2021 Costantini, S.; Formisano, A.; Pitoni, V.
Scalable Energy Games Solvers on GPUs 1-gen-2021 Formisano, A.; Gentilini, R.; Vella, F.
Introduction to the 37th International Conference on Logic Programming Special Issue II 1-gen-2021 Brik, A. L. E. X.; Formisano, A.; Liu, Y. A.; Vennekens, J. O. O. S. T.
{CUDA}: Set Constraints on GPUs. 1-gen-2021 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Tardivo, Fabio
Dataset_ScalableEnergyGamesSolversOnGPUs 1-gen-2022 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
GPU Parallelism for SAT Solving Heuristics 1-gen-2022 Collevati, M.; Dovier, A.; Formisano, A.
Temporalizing Epistemic Logic L-DINF 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
Epistemic Logic Programs: an Approach to Semantic Comparison 1-gen-2022 Costantini, S.; Formisano, A.
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
Constraints Propagation on GPU: A Case Study for AllDifferent 1-gen-2022 Tardivo, F.; Dovier, A.; Formisano, A.; Michel, L.; Pontelli, E.
Epistemic Logic Programs: A Study of Some Properties 1-gen-2022 Costantini, S.; Formisano, A.
An Epistemic Logic for Modular Development of Multi-Agent Systems 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
Cognitive Aspects in Epistemic Logic L-DINF 1-gen-2022 Costantini, S.; Formisano, A.; Pitoni, V.
Epistemic Logic Programs: a Novel Perspective and Some Extensions 1-gen-2022 Costantini, S.; Formisano, A.
Mostrati risultati da 51 a 100 di 114
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