Paolo Torroni

Available identifiers

zbMath Open torroni.paoloDBLPt/PaoloTorroniWikidataQ57438161 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
Specification and verification of agent interaction using social integrity constraints	2013-08-27	Paper
Logics and multi-agents: towards a new symbolic model of cognition (extended abstract)	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
Global Computing	2005-08-19	Paper
Computational Logic in Multi-Agent Systems	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/Q4708936	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708903	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

This page was built for person: Paolo Torroni