Zobrazeno 1 - 10
of 213
pro vyhledávání: '"RICCA, FRANCESCO"'
Answer Set Programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process Mining. In particular, ASP has been used to model tasks involving declarative specifications of business processes.
Externí odkaz:
http://arxiv.org/abs/2412.10152
Linear Temporal Logic over finite traces ($\text{LTL}_f$) is a widely used formalism with applications in AI, process mining, model checking, and more. The primary reasoning task for $\text{LTL}_f$ is satisfiability checking; yet, the recent focus on
Externí odkaz:
http://arxiv.org/abs/2409.09485
Answer Set Programming with Quantifiers (ASP(Q)) has been introduced to provide a natural extension of ASP modeling to problems in the polynomial hierarchy (PH). However, ASP(Q) lacks a method for encoding in an elegant and compact way problems requi
Externí odkaz:
http://arxiv.org/abs/2408.07697
Recently, Large Language Models (LLMs) have showcased their potential in various natural language processing tasks, including code generation. However, while significant progress has been made in adapting LLMs to generate code for several imperative
Externí odkaz:
http://arxiv.org/abs/2407.18723
This paper moves the first step towards automating the composition of Answer Set Programming (ASP) specifications. In particular, the following contributions are provided: (i) A dataset focused on graph-related problem specifications, designed to dev
Externí odkaz:
http://arxiv.org/abs/2403.04541
Unit testing frameworks are nowadays considered a best practice, included in almost all modern software development processes, to achieve rapid development of correct specifications. Knowledge representation and reasoning paradigms such as Answer Set
Externí odkaz:
http://arxiv.org/abs/2401.02153
Autor:
Behrunani, Varsha, Zagorowska, Marta, de Badyn, Mathias Hudoba, Ricca, Francesco, Heer, Philipp, Lygeros, John
Mitigating the energy use in buildings, together with satisfaction of comfort requirements are the main objectives of efficient building control systems. Augmenting building energy systems with batteries can improve the energy use of a building, whil
Externí odkaz:
http://arxiv.org/abs/2307.01543
Autor:
Barbara, Vito, Guarascio, Massimo, Leone, Nicola, Manco, Giuseppe, Quarta, Alessandro, Ricca, Francesco, Ritacco, Ettore
Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performed by domain experts. In particular, assessing the compliance of a prod
Externí odkaz:
http://arxiv.org/abs/2305.10113
Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Programming (ASP) to allow for declarative and modular modeling of problems from the entire polynomial hierarchy. The first implementation of ASP(Q), called qasp, was based on a transl
Externí odkaz:
http://arxiv.org/abs/2305.10021
Accessing the large volumes of information available in public knowledge bases might be complicated for those users unfamiliar with the SPARQL query language. Automatic translation of questions posed in natural language in SPARQL has the potential of
Externí odkaz:
http://arxiv.org/abs/2111.03000