An application of Answer Set Programming in Distributed Architectures: ASP Microservices

09/22/2020
by   Stefania Costantini, et al.
0

We propose an approach to the definition of microservices with an Answer Set Programming (ASP) `core', where microservices are a successful abstraction for designing distributed applications as suites of independently deployable interacting components. Such ASP-based components might be employed in distributed architectures related to Cloud Computing or to the Internet of Things (IoT).

READ FULL TEXT

page 1

page 2

page 3

page 4

08/16/2011

Origins of Answer-Set Programming - Some Background And Two Personal Accounts

We discuss the evolution of aspects of nonmonotonic reasoning towards th...
09/22/2020

Splitting a Hybrid ASP Program

Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set...
01/14/2022

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework

This paper introduces a formal definition of a Cyber-Physical System (CP...
09/04/2019

GPU-based parallelism for ASP-solving

Answer Set Programming (ASP) has become, the paradigm of choice in the f...
08/05/2021

An ASP-based Solution to the Chemotherapy Treatment Scheduling problem

The problem of scheduling chemotherapy treatments in oncology clinics is...
01/08/2013

Answer Set Programming for Stream Reasoning

The advance of Internet and Sensor technology has brought about new chal...
09/18/2019

Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

Answer Set Programming (ASP) is a famous logic language for knowledge re...