6 citations · 6 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021★ 6 cited
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis +1
Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules".…
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…