Federico Chesani

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

Compliance Verification of Agent Interaction: a Logic-Based Tool

Marco Alberti, Federico Chesani, Marco Gavanelli et al. · 2004 · 32 citations

Computing, Computer Science, Systems Engineering +13

Expressing and Verifying Business Contracts with Abductive Logic Programming

Marco Alberti, Federico Chesani, Marco Gavanelli et al. · International Journal of Electronic Commerce · 2008 · 23 citations · Full text

Computing, Computer Science, Contract Law +17

Specification and Verification of Agent Interaction Protocols in a Logic-based System

Marco Alberti, Federico Chesani, Davide Daolio et al. · 2007 · 12 citations · Full text

Computing, Autonomous Systems, Computer Science +14