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

research
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...
research
09/22/2020

Splitting a Hybrid ASP Program

Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set...
research
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...
research
04/03/2020

Omission-based Abstraction for Answer Set Programs

Abstraction is a well-known approach to simplify a complex problem by ov...
research
09/04/2019

GPU-based parallelism for ASP-solving

Answer Set Programming (ASP) has become, the paradigm of choice in the f...
research
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...
research
05/06/2014

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Traditional AI reasoning techniques have been used successfully in many ...

Please sign up or login with your details

Forgot password? Click here to reset