4 Contributo in Atti di Convegno (Proceeding)

4 Contributo in Atti di Convegno (Proceeding): [19606] Home page macrotipologia

Sfoglia

4.1 Contributo in Atti di convegno 16480
4.2 Abstract in Atti di convegno 2687
4.3 Poster 439

Prodotti recenti

Logic and Answer Set Programming in High School: Two Learning Unit Experiences

This paper presents the design and implementation of two learning units for teaching Answer Set Programming (ASP) to high school students, with a focus on deductive Artificial Intelligence models. These units were carried out in classroom settings at two different schools, aiming to develop logical reasoning and problem-solving skills through declarative programming. The paper discusses the teaching methods employed and the outcomes observed in both educational contexts. The findings provide ...

ASP and PDDL+ Applications in Urban Traffic Distribution and Control

Answer Set Programming (ASP) and the mixed discrete-continuos variant of the Planning Domain Definition Language (PDDL+) are well-known knowledge representation and reasoning methodologies to solve configuration, scheduling and planning problems arising in real-life applications. In this paper, we focus on the recent problems modeled and solved with ASP and PDDL+ in the context of urban traffic distribution and control, including Traffic Signal Optimization and the optimization of pre-compute...

On the Translation of ASP Rules to (Controlled) Natural Language Sentences

Answer Set Programming (ASP) is a well-known declarative paradigm within the field of knowledge representation and reasoning, extensively used in both academic and industrial settings. The success of ASP in critical decision-making applications makes it crucial to explain its complex logic and reasoning processes to non-experts. Recently, Large Language Models (LLMs), like ChatGPT, have demonstrated remarkable capabilities in explaining complex code segments, particularly in widely-used imper...

A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms

Languages for Knowledge Representation and Reasoning, such as ASP, CP, and SMT, excel at solving complex problems, but encoding them into a higher-level language may be more profitable, leaving these formalisms as targets for solving. Recent studies aim to convert controlled natural languages (CNLs) into formal representations, yet these solutions are often tailored to specific languages and require significant effort. This paper introduces a general framework that generates grammars for targ...

Representing and Evaluating SBVR Specification via ASP

Semantics of Business Vocabulary and Rules (SBVR) provide a formal framework for representing business rules in a structured and human-readable manner and they have an important role in aligning business logic with enterprise requirements. However, a recent survey has highlighted several limitations in current approaches to SBVR conflict detection and analysis. In this work, we propose a novel approach based on Answer Set Programming (ASP) that addresses most of such limitations as it offers ...

Scopri

Accesso al fulltext

no fulltext19576
open19
embargoed10
reserved1