Marco Gavanelli
Marco Gavanelli
Associate Professor, Ferrara University
Dirección de correo verificada de unife.it - Página principal
Título
Citado por
Citado por
Año
Verifiable agent interaction in abductive logic programming: the SCIFF framework
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
ACM Transactions on Computational Logic (TOCL) 9 (4), 1-43, 2008
1952008
Compliance verification of agent interaction: a logic-based software tool
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni
Applied Artificial Intelligence 20 (2-4), 133-157, 2006
1222006
Specification and verification of agent interaction protocols in a logic-based system
M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello
Proceedings of the 2004 ACM symposium on Applied computing, 72-78, 2004
942004
Constraint propagation and value acquisition: why we should do it interactively
E Lamma, P Mello, M Milano, R Cucchiara, M Gavanelli, M Piccardi
IJCAI 99, 467-473, 1999
751999
Specification and verification of agent interaction using social integrity constraints
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004
712004
An algorithm for multi-criteria optimization in CSPs
M Gavanelli
ECAI 2, 136-140, 2002
692002
The log-support encoding of CSP into SAT
M Gavanelli
International Conference on Principles and Practice of Constraint …, 2007
642007
Mapping deontic operators to abductive expectations
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor
Computational & Mathematical Organization Theory 12 (2-3), 205-225, 2006
642006
Expressing and verifying business contracts with abductive logic programming
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, ...
International Journal of Electronic Commerce 12 (4), 9-38, 2008
572008
Modelling interactions via commitments and expectations
P Torroni, P Yolum, MP Singh, M Alberti, F Chesani, M Gavanelli, ...
Handbook of research on multi-agent systems: Semantics and dynamics of …, 2009
402009
An abductive framework for a-priori verification of web services
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, M Montali
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
372006
The SCIFF Abductive Proof-Procedure
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Congress of the Italian Association for Artificial Intelligence, 135-147, 2005
372005
Verification from declarative specifications using logic programming
M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ...
International Conference on Logic Programming, 440-454, 2008
362008
An abductive interpretation for open agent societies
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Congress of the Italian Association for Artificial Intelligence, 287-299, 2003
362003
Security protocols verification in abductive logic programming: a case study
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
International Workshop on Engineering Societies in the Agents World, 106-124, 2005
352005
Argumentation in the semantic web
P Torroni, M Gavanelli, F Chesani
IEEE Intelligent Systems 22 (6), 66-74, 2007
322007
The SOCS computational logic approach to the specification and verification of agent societies
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
International Workshop on Global Computing, 314-339, 2004
302004
Modeling interactions using Social Integrity Constraints: A resource sharing case study
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
International Workshop on Declarative Agent Languages and Technologies, 243-262, 2003
282003
Optimal placement of valves in a water distribution network with CLP (FD)
M Cattafi, M Gavanelli, M Nonato, S Alvisi, M Franchini
arXiv preprint arXiv:1109.1248, 2011
272011
Computational logic for run-time verification of web services choreographies: Exploiting the socs-si tool
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, S Storari, ...
International Workshop on Web Services and Formal Methods, 58-72, 2006
272006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20