-
Chapter and Conference Paper
TWOLAR: A TWO-Step LLM-Augmented Distillation Method for Passage Reranking
In this paper, we present TWOLAR: a two-stage pipeline for passage reranking based on the distillation of knowledge from Large Language Models (LLM). TWOLAR introduces a new scoring strategy and a distillation...
-
Chapter and Conference Paper
An Argumentative Dialogue System for COVID-19 Vaccine Information
Dialogue systems are widely used in AI to support timely and interactive communication with users. We propose a general-purpose dialogue system architecture that leverages computational argumentation to perfor...
-
Chapter and Conference Paper
Claim Detection in Judgments of the EU Court of Justice
Mining arguments from text has recently become a hot topic in Artificial Intelligence. The legal domain offers an ideal scenario to apply novel techniques coming from machine learning and natural language proc...
-
Chapter and Conference Paper
Erratum to: PRIMA 2016: Principles and Practice of Multi-Agent Systems
-
Chapter and Conference Paper
Argument Mining: A Machine Learning Perspective
Argument mining has recently become a hot topic, attracting the interests of several and diverse research communities, ranging from artificial intelligence, to computational linguistics, natural language proce...
-
Chapter and Conference Paper
A New Framework for ABMs Based on Argumentative Reasoning
We present an argumentative approach to agent-based modeling where agents are socially embedded and exchange information by means of simulated dialogues. We argue that this approach can be beneficial in social...
-
Chapter and Conference Paper
Bottom-Up Argumentation
Online social platforms, e-commerce sites and technical fora support the unfolding of informal exchanges, e.g. debates or discussions, that may be topic-driven or serendipitous. We outline a methodology for an...
-
Chapter and Conference Paper
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] in which we proposed a layered architecture for modeling and reaso...
-
Chapter and Conference Paper
Social Commitment Delegation and Monitoring
The success of contract-based multiagent systems relies on agents complying with their commitments. When something goes wrong, it is important to understand what are the commitments’ mutual relations as well a...
-
Chapter and Conference Paper
Reasoning about Exceptions to Contracts
We show an application of Assumption-Based Argumentation for reasoning about and handling exceptions in multiagent contracts. We show that this solution enjoys interesting properties regarding the ABA semantic...
-
Chapter and Conference Paper
Declarative Technologies for Open Agent Systems and Beyond
Open systems are complex, heterogeneous systems whose complexity is often handled by component-based approaches. While the internal functioning of such components is invisible to the outside, a great emphasis ...
-
Chapter and Conference Paper
Role Monitoring in Open Agent Societies
We address run-time monitoring of membership, roles and role dynamics in open agent societies. To this end, we build on Dignum’s formalization of agent organizations, on the SOCS computational logic agent fram...
-
Chapter and Conference Paper
Social Commitments in Time: Satisfied or Compensated
We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of comm...
-
Chapter and Conference Paper
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior
This paper studies misalignment of commitments associated with temporal constraints. We propose a diagnosis algorithm where agents reason based on the current states of their commitments. We also provide an al...
-
Chapter and Conference Paper
Verification of Choreographies During Execution Using the Reactive Event Calculus
This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from DecSerFlow as a graphical choreography description language. We select a core set of ...
-
Chapter and Conference Paper
\({\cal B}\) -Tropos
The work presented in this paper stands at the intersection of three diverse research areas: agent-oriented early requirements engineering, business process requirements elicitation and specification, and comp...
-
Chapter and Conference Paper
Verification from Declarative Specifications Using Logic Programming
In recent years, the declarative programming philosophy has had a visible impact on new emerging disciplines, such as heterogeneous multi-agent systems and flexible business processes. We address the problem o...
-
Chapter and Conference Paper
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services whose behavioural interface is sp...
-
Chapter and Conference Paper
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a specific stage of web service loca...
-
Chapter and Conference Paper
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
In this work, we investigate the feasibility of using a framework based on computational logic, and mainly defined in the context of Multi-Agent Systems for Global Computing (SOCS UE Project), for modeling cho...