12 Result(s)
within
Conference Paper
Paolo Torroni
Logics and Meanings of Programs
-
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
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
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
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
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...
-
Chapter and Conference Paper
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
This work presents a formal, logic-based approach to one-to-one agent negotiation, in the context of goal achievement in systems of agents with limited resource availability. The proposed solution is based on ...
