Answer Set Programming (ASP) is gaining popularity in the Knowledge Representation and Reasoning community thanks to its high-level modeling capabilities that ease the fast prototyping of systems addressing complex tasks. On the other hand, ASP is not a general purpose programming language and therefore it is usually employed for specific tasks of possibly long and articulated pipelines. This article introduces the notion of ASP recipe, a chain of ingredients combining computational tasks typical of ASP with other operations of data manipulation and visualization. ASP recipes are at the core of ASP Chef, a simple, intuitive web app for analysing answer sets that is designed to ease the creation of pipelines of operations over sequences of interpretations.

Introducing ASP recipes and ASP Chef

Alviano M.;Cirimele D.;Rodriguez Reiners L. A.
2023-01-01

Abstract

Answer Set Programming (ASP) is gaining popularity in the Knowledge Representation and Reasoning community thanks to its high-level modeling capabilities that ease the fast prototyping of systems addressing complex tasks. On the other hand, ASP is not a general purpose programming language and therefore it is usually employed for specific tasks of possibly long and articulated pipelines. This article introduces the notion of ASP recipe, a chain of ingredients combining computational tasks typical of ASP with other operations of data manipulation and visualization. ASP recipes are at the core of ASP Chef, a simple, intuitive web app for analysing answer sets that is designed to ease the creation of pipelines of operations over sequences of interpretations.
2023
answer set programming
knowledge visualization
modular programming
UX design
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/360752
 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