In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results in the areas of multi-agent systems, argumentation, web services choreographies and business processes.
F. Chesani, P. Mello, M. Montali, P. Torroni (2011). Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. INTELLIGENZA ARTIFICIALE, 5 (1), 101-105 [10.3233/IA-2011-0011].
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions.
CHESANI, FEDERICO;MELLO, PAOLA;MONTALI, MARCO;TORRONI, PAOLO
2011
Abstract
In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results in the areas of multi-agent systems, argumentation, web services choreographies and business processes.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.
