Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

To date, logic-based technologies are either built on top or as extensions of the Prolog
language, mostly working as monolithic solutions tailored upon specific inference …

Cyber-physical collectives (CPCs) are systems consisting of groups of interactive
computational devices situated in physical space. Their emergence is fostered by recent …

In distributed systems, tuple space is one of the coordination models that significantly
maximizes system performance against failure due to its space and time decoupling …

Process algebras have been widely used to verify security protocols in a formal manner.
However they mostly focus on synchronous communication based on the exchange of …

Abstract Service self-composition is a well-understood research area focusing on service-
based applications providing new services by automatically combining pre-existing ones. In …

Spatial Tuples è un modello di coordinazione tuple-based fortemente basato sul concetto di
posizione fisica nel mondo e sul movimento di un componente situato all'interno dello …

Spatial Tuplese un modello di coordinazione tuple-based fortemente basato sul concetto di
posizione fisica nel mondo e sul movimento di un componente situato all'interno dello …

Service self-composition is a well-understood research area focusing on service-based
applications providing new services by automatically combining pre-existing ones. In this …