This article explores the integration of Structured Declarative Language (SDL) into ASP Chef, a low-code web application designed to facilitate the development of pipelines for combinatorial search and optimization. SDL is a recent proposal aimed at simplifying the syntax of Answer Set Programming (ASP), inspired by the straightforwardness of SQL. The integration is achieved through the implementation of a server that compiles SDL specifications into ASP programs and the addition of a new operation in ASP Chef to manage data exchange with the server. This integration aims to streamline the development process and make it more accessible for users working on combinatorial optimization tasks.

Integrating Structured Declarative Language (SDL) into ASP Chef

Alviano M.
;
Guarasci P.;Rodriguez Reiners L. A.;Vasile I. R.
2024-01-01

Abstract

This article explores the integration of Structured Declarative Language (SDL) into ASP Chef, a low-code web application designed to facilitate the development of pipelines for combinatorial search and optimization. SDL is a recent proposal aimed at simplifying the syntax of Answer Set Programming (ASP), inspired by the straightforwardness of SQL. The integration is achieved through the implementation of a server that compiles SDL specifications into ASP programs and the addition of a new operation in ASP Chef to manage data exchange with the server. This integration aims to streamline the development process and make it more accessible for users working on combinatorial optimization tasks.
2024
9783031742088
9783031742095
Answer Set Programming
Combinatorial Search and Optimization
declarative languages
system description
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/376939
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact