1. A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation. Issue 5 (September 2019) Authors: DAS, ARIYAM; ZANIOLO, CARLO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1056 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Fixpoint semantics and optimization of recursive Datalog programs with aggregates*. Issue 5 (23rd August 2017) Authors: ZANIOLO, CARLO; YANG, MOHAN; DAS, ARIYAM; SHKAPSKY, ALEXANDER; CONDIE, TYSON; INTERLANDI, MATTEO Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 1048 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Scaling-up reasoning and advanced analytics on BigData. Issue 5 (5th September 2018) Authors: CONDIE, TYSON; DAS, ARIYAM; INTERLANDI, MATTEO; SHKAPSKY, ALEXANDER; YANG, MOHAN; ZANIOLO, CARLO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 806 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗