Paolo Torroni

From MaRDI portal
Person:702113

Available identifiers

zbMath Open torroni.paoloDBLPt/PaoloTorroniWikidataQ57438161 ScholiaQ57438161MaRDI QIDQ702113

List of research outcomes





PublicationDate of PublicationType
An argumentative dialogue system for COVID-19 vaccine information2023-03-31Paper
Verifiable agent interaction in abductive logic programming2017-07-12Paper
Specification and verification of agent interaction using social integrity constraints2013-08-27Paper
Logics and multi-agents: towards a new symbolic model of cognition (extended abstract)2013-08-20Paper
Exception diagnosis in multiagent contract executions2012-12-28Paper
Reactive Event Calculus for Monitoring Global Computing Applications2012-07-23Paper
Social Commitment Delegation and Monitoring2011-09-16Paper
Reasoning about Exceptions to Contracts2011-09-16Paper
https://portal.mardi4nfdi.de/entity/Q30058942011-06-10Paper
A Logic-Based, Reactive Calculus of Events2011-03-28Paper
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework2010-09-14Paper
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?2010-07-20Paper
25 Years of Applications of Logic Programming in Italy2010-07-20Paper
AI*IA 2003: Advances in Artificial Intelligence2010-03-05Paper
Social Commitments in Time: Satisfied or Compensated2010-02-02Paper
Specification and Verification of Agent Interaction Using Abductive Reasoning2009-04-28Paper
${\cal B}$ -Tropos2009-02-12Paper
Verification from Declarative Specifications Using Logic Programming2009-01-22Paper
Mapping deontic operators to abductive expectations2006-10-16Paper
AI*IA 2005: Advances in Artificial Intelligence2006-06-27Paper
Computational Logic in Multi-Agent Systems2005-08-19Paper
Global Computing2005-08-19Paper
Computational Logic in Multi-Agent Systems2005-08-19Paper
Computational logic in multi-agent systems: Recent advances and future directions2005-01-17Paper
https://portal.mardi4nfdi.de/entity/Q48134432004-08-13Paper
https://portal.mardi4nfdi.de/entity/Q47393152004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44483462004-02-18Paper
https://portal.mardi4nfdi.de/entity/Q47089362003-06-20Paper
https://portal.mardi4nfdi.de/entity/Q47089032003-06-20Paper
Cooperation and competition in ALIAS: A logic framework for agents that negotiate2003-03-10Paper
LAILA: a language for coordinating abductive reasoning among logic agents2002-05-01Paper
https://portal.mardi4nfdi.de/entity/Q27669332002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27297202001-10-23Paper

Research outcomes over time

This page was built for person: Paolo Torroni