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 2025Show all

1 paper · 1 filter

cs.AI2025

GPU Accelerated Compact-Table Propagation

Enrico Santi, Fabio Tardivo, Agostino Dovier +1

Constraint Programming developed within Logic Programming in the Eighties; nowadays all Prolog systems encompass modules capable of handling constraint programming on finite domain…