Evelina Lamma

Verifiable agent interaction in abductive logic programming

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

Computational Logic, Abduction, Engineering +15

Modularity in Logic Programming

Michele Bugliesi, Evelina Lamma, Paola Mello · The Journal of Logic Programming · 1994 · 121 citations

Engineering, Automated Reasoning, Propositional Logic +4

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

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

Engineering, Verification, Software Engineering +19

Probabilistic Description Logics under the distribution semantics

Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma et al. · Semantic Web · 2015 · 65 citations · Full text

Engineering, Algorithm Bundle, Semantics +17

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

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

Engineering, Information Security, Verification +18