Follow
Marco Gavanelli
Title
Cited by
Cited by
Year
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
2142008
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
1202006
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
962004
An algorithm for multi-criteria optimization in CSPs
M Gavanelli¹
ECAI 2002: 15th European Conference on Artificial Intelligence, July 21-26 …, 2002
792002
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
771999
The log-support encoding of CSP into SAT
M Gavanelli
Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007
732007
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
702004
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
662008
Mapping deontic operators to abductive expectations
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor
Computational & Mathematical Organization Theory 12, 205-225, 2006
652006
Sustainable policy making: A strategic challenge for artificial intelligence
M Milano, B O’Sullivan, M Gavanelli
Ai Magazine 35 (3), 22-35, 2014
582014
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
462009
The SCIFF Abductive Proof-Procedure
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
AI* IA 2005: Advances in Artificial Intelligence: 9th Congress of the …, 2005
462005
Verification from declarative specifications using logic programming
M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ...
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
442008
Security protocols verification in abductive logic programming: a case study
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
Engineering Societies in the Agents World VI: 6th International Workshop …, 2006
402006
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
392006
An abductive interpretation for open agent societies
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
AI* IA 2003: Advances in Artificial Intelligence: 8th Congress of the …, 2003
392003
Argumentation in the semantic web
P Torroni, M Gavanelli, F Chesani
IEEE Intelligent Systems 22 (6), 66-74, 2007
342007
Optimal placement of valves in a water distribution network with CLP (FD)
M Cattafi, M Gavanelli, M Nonato, S Alvisi, M Franchini
Theory and Practice of Logic Programming 11 (4-5), 731-747, 2011
322011
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
Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005
322005
A social ACL semantics by deontic constraints
M Alberti, A Ciampolini, M Gavanelli, E Lamma, P Mello, P Torroni
Multi-Agent Systems and Applications III: 3rd International Central and …, 2003
312003
The system can't perform the operation now. Try again later.
Articles 1–20