Per Year
Per Year
4 publications without ACM ID / 2016 / Roberta Calegari
- Labelled Variables in Logic Programming: Foundations
- The Butlers Framework for Socio-Technical Smart Spaces
- Building Smart Spaces on the Home Manager platform
- Towards Logic Programming as a Service: Experiments in tuProlog