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


Giovanni Ciatto

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.

Events

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

Publications

Talks / Views

Home

Clouds
•  tags  •  speakers  •  authors  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1992

Sort
•  talks  •  invited  •  seminars  •  lectures  •  tutorials  •  project  •  informal  •  internal  •  panel  •  PhD  •  poster  •  others  

Talk

— speakers

— authors

— sort

talk

— language

wgb.gif

— context

WOA 2018

— where

Palermo, Italy

— when

29/06/2018

URLs

SlideShare

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY