Concepedia

Marco Gavanelli

MG

Statistics

Publications

28

Citations

851

H-Index

17

Active since

1999

Affiliations

University of Ferrara(Current)

University of Bologna

Marco Gavanelli is an author at University of Ferrara specializing in computer science, computing, and formal methods.

Publications per year

1999–2023

28

Publications

28

Verifiable agent interaction in abductive logic programming

Marco Alberti, Federico Chesani, Marco Gavanelli et al. · ACM Transactions on Computational Logic · 2008 · 156 citations

Computing, Autonomous Systems, Computer Science +17

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Marco Alberti, Marco Gavanelli, Evelina Lamma et al. · Applied Artificial Intelligence · 2006 · 68 citations

Computing, Autonomous Systems, Computer Science +17

Specification and verification of agent interaction protocols in a logic-based system

Marco Alberti, Davide Daolio, Paolo Torroni et al. · 2004 · 65 citations · Full text

Computing, Autonomous Systems, Computer Science +14

Constraint Propagation and Value Acquisition: Why we should do it Interactively

Evelina Lamma, Paola Mello, Michela Milano et al. · 1999 · 51 citations

Computing, Computer Science, Computer Vision +12

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence

Michela Milano, Barry O’Sullivan, Marco Gavanelli · AI Magazine · 2014 · 48 citations · Full text

Computing, Computer Science, Strategy +13

1–5 of 28