102 citations · 226 across the 18 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 6 cited
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
Luca Padovani
We extend the linear π-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping acce…
cs.AI2015★ 5 cited
Qsmodels: ASP Planning in Interactive Gaming Environment
Luca Padovani, Alessandro Provetti
Qsmodels is a novel application of Answer Set Programming to interactive gaming environment. We describe a software architecture by which the behavior of a bot acting inside the Qu…