Logic Programming in Space-Time: The Case of Situatedness in LPaaS


Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

WOA 2018 – 19th Workshop "From Objects to Agents”, pages 63-68
CEUR Workshop Proceedings (AI*IA Series) 2215, June 2018
Sun SITE Central Europe, RWTH Aachen University
Massimo Cossentino, Luca Sabatucci, Valeria Seidita (eds.)

Situatedness is a fundamental requirement for today’s complex software systems, as well as for the computational models and programming languages used to build them.
Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in.
To support spatio-temporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of ~situated intelligence~.
Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives.

(keywords) LPaaS, situatedness, logic programming, SOA, space-time programming
 @inproceedings{spacetimelp-woa2018,
Author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
Booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
Editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
IrisId = {11585/646038},
       Keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
Location = {Palermo, Italy},
Month = {29--30~} # jun,
Pages = {63--68},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
Scopus = {2-s2.0-85054314622},
Series = {CEUR Workshop Proceedings},
Subseries = {AI*IA Series},
Title = {Logic Programming in Space-Time: The Case of Situatedness in {LPaaS}},
Url-Pdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
Volume = 2215,
Year = 2018

Journals & Series

Events

  • XIX Workshop "From Objects to Agents" (WOA 2018) — 27/06/2018–29/06/2018

Publication

— authors

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

— editors

Massimo Cossentino, Luca Sabatucci, Valeria Seidita

— status

published

— sort

paper in proceedings

Venue

— volume

WOA 2018 – 19th Workshop "From Objects to Agents”

— series

CEUR Workshop Proceedings / AI*IA Series

— volume

2215

— pages

63-68

— publication date

June 2018

URLs

original page

Identifiers

— IRIS

11585/646038

— Scopus

2-s2.0-85054314622

BibTeX

— BibTeX ID
spacetimelp-woa2018
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY