Paolo Torroni

Available identifiers

zbMath Open torroni.paoloWikidataQ57438161 ScholiaQ57438161MaRDI QIDQ702113

List of research outcomes

Publication	Date of Publication	Type
An argumentative dialogue system for COVID-19 vaccine information	2023-03-31	Paper
Verifiable agent interaction in abductive logic programming	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2844044	2013-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2844934	2013-08-20	Paper
Exception diagnosis in multiagent contract executions	2012-12-28	Paper
Reactive Event Calculus for Monitoring Global Computing Applications	2012-07-23	Paper
Social Commitment Delegation and Monitoring	2011-09-16	Paper
Reasoning about Exceptions to Contracts	2011-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3005894	2011-06-10	Paper
A Logic-Based, Reactive Calculus of Events	2011-03-28	Paper
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework	2010-09-14	Paper
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?	2010-07-20	Paper
25 Years of Applications of Logic Programming in Italy	2010-07-20	Paper
AI*IA 2003: Advances in Artificial Intelligence	2010-03-05	Paper
Social Commitments in Time: Satisfied or Compensated	2010-02-02	Paper
Specification and Verification of Agent Interaction Using Abductive Reasoning	2009-04-28	Paper
${\cal B}$ -Tropos	2009-02-12	Paper
Verification from Declarative Specifications Using Logic Programming	2009-01-22	Paper
Mapping deontic operators to abductive expectations	2006-10-16	Paper
AI*IA 2005: Advances in Artificial Intelligence	2006-06-27	Paper
Computational Logic in Multi-Agent Systems	2005-08-19	Paper
Computational Logic in Multi-Agent Systems	2005-08-19	Paper
Global Computing	2005-08-19	Paper
Computational logic in multi-agent systems: Recent advances and future directions	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4813443	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4739315	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4448346	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4708903	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708936	2003-06-20	Paper
Cooperation and competition in ALIAS: A logic framework for agents that negotiate	2003-03-10	Paper
LAILA: a language for coordinating abductive reasoning among logic agents	2002-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2766933	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2729720	2001-10-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paolo Torroni