| Publication | Date of Publication | Type |
|---|
An argumentative dialogue system for COVID-19 vaccine information
(available as arXiv preprint) | 2023-03-31 | Paper |
Verifiable agent interaction in abductive logic programming: the SCIFF framework
ACM Transactions on Computational Logic | 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
Annals of Mathematics and Artificial Intelligence | 2012-12-28 | Paper |
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Social commitment delegation and monitoring
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Reasoning about exceptions to contracts
Lecture Notes in Computer Science | 2011-09-16 | Paper |
| Abductive logic programming as an effective technology for the static verification of declarative business processes | 2011-06-10 | Paper |
A logic-based, reactive calculus of events
Fundamenta Informaticae | 2011-03-28 | Paper |
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
Multiagent and Grid Systems | 2010-09-14 | Paper |
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
Lecture Notes in Computer Science | 2010-07-20 | Paper |
25 years of applications of logic programming in Italy
Lecture Notes in Computer Science | 2010-07-20 | Paper |
An abductive interpretation for open agent societies
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Social commitments in time: satisfied or compensated
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
Specification and Verification of Agent Interaction Using Abductive Reasoning
Lecture Notes in Computer Science | 2009-04-28 | Paper |
${\cal B}$ -Tropos
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Verification from Declarative Specifications Using Logic Programming
Logic Programming | 2009-01-22 | Paper |
Mapping deontic operators to abductive expectations
Computational & Mathematical Organization Theory | 2006-10-16 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Computational logic in multi-agent systems: Recent advances and future directions
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | Paper |
| scientific article; zbMATH DE number 2090883 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2088174 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2044481 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1931678 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931645 (Why is no real title available?) | 2003-06-20 | Paper |
Cooperation and competition in ALIAS: A logic framework for agents that negotiate
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages | 2002-05-01 | Paper |
| scientific article; zbMATH DE number 1696711 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1630005 (Why is no real title available?) | 2001-10-23 | Paper |
