Logic Programming as a Service

Autor: Calegari, Roberta, Denti, Enrico, Mariani, Stefano, Omicini, Andrea

Publikováno v: CALEGARI, R., DENTI, E., MARIANI, S., & OMICINI, A. (2018). Logic programming as a service. Theory and Practice of Logic Programming, 18(5-6), 846-873

New generations of distributed systems are opening novel perspectives for logic programming (LP): on the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engineering; on the other hand, pervasi

Externí odkaz: http://arxiv.org/abs/1806.02577

Extending Logic Programming with Labelled Variables: Model and Semantics.

Autor: Calegari, Roberta¹ roberta.calegari@unibo.it, Denti, Enrico¹ enrico.denti@unibo.it, Dovier, Agostino² agostino.dovier@uniud.it, Omicini, Andrea³ andrea.omicini@unibo.it

Publikováno v: Fundamenta Informaticae. 2018, Vol. 161 Issue 1-2, p53-74. 22p.

Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres

Autor: Cabano, Michele, Denti, Enrico, Ricci, Alessandro, Viroli, Mirko

Publikováno v: In Electronic Notes in Theoretical Computer Science 11 May 2006 154(1):139-158

Formal ReSpecT

Autor: Omicini, Andrea, Denti, Enrico

Publikováno v: In Electronic Notes in Theoretical Computer Science June 2001 48:179-196

Building Smart Spaces on the Home Manager platform

Autor: CALEGARI, ROBERTA, DENTI, ENRICO

Smart Spaces refer to application scenarios where people are immersed in time and space in an augmented environment, exploiting ubiquitous computing technologies, space and time awareness, and per- vasive intelligence. This paper focuses on Home Mana

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4094::b74b6528f29b2d38c91eec7a5a42e412
http://hdl.handle.net/11585/575585