3 papers
cs.AI2019
GPU-based parallelism for ASP-solving
Agostino Dovier, Andrea Formisano, Flavio Vella
Answer Set Programming (ASP) has become, the paradigm of choice in the field of logic programming and non-monotonic reasoning. Thanks to the availability of efficient solvers, ASP…
cs.LO2019
Introduction to the 35th International Conference on Logic Programming Special Issue
Esra Erdem, Andrea Formisano, German Vidal +1
We are proud to introduce this special issue of Theory and Practice of Logic Programming (TPLP), dedicated to the regular papers accepted for the 35th International Conference on L…
cs.DC2017
Accelerating Energy Games Solvers on Modern Architectures
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of the…