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 semantics of results obtained and the determinism of diagnostic answers. As a case study, we present the workings of the framework on a delivery process from e-commerce.

O. Kafali, F. Toni, P. Torroni (2011). Reasoning about exceptions to contracts. HEIDELBERG : Springer-Verlag [10.1007/978-3-642-22359-4_16].

Reasoning about exceptions to contracts

TORRONI, PAOLO
2011

Abstract

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 semantics of results obtained and the determinism of diagnostic answers. As a case study, we present the workings of the framework on a delivery process from e-commerce.
2011
Computational Logic in Multi-Agent Systems12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
225
242
O. Kafali, F. Toni, P. Torroni (2011). Reasoning about exceptions to contracts. HEIDELBERG : Springer-Verlag [10.1007/978-3-642-22359-4_16].
O. Kafali; F. Toni; P. Torroni
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/108724
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact