activity
20092026
most citedMulti-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")

6 citations · 12 across the 11 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

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…