Verifying the conformance of web services to global interaction protocols: A first step M Baldoni, C Baroglio, A Martelli, V Patti, C Schifanella Formal Techniques for Computer Systems and Business Processes, 257-271, 2005 | 123 | 2005 |
Ethics by Design: necessity or curse? V Dignum, M Baldoni, C Baroglio, M Caon, R Chatila, L Dennis, ... Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 60-66, 2018 | 120 | 2018 |
From tags to emotions: Ontology-driven sentiment analysis in the social semantic web M Baldoni, C Baroglio, V Patti, P Rena Intelligenza Artificiale 6 (1), 41-54, 2012 | 100 | 2012 |
Choice, interoperability, and conformance in interaction protocols and service choreographies M Baldoni, C Baroglio, AK Chopra, N Desai, V Patti, MP Singh Proceedings of The 8th International Conference on Autonomous Agents and …, 2009 | 85 | 2009 |
Commitments with regulations: reasoning about safety and control in REGULA E Marengo, M Baldoni, C Baroglio, AK Chopra, V Patti, MP Singh The 10th International Conference on Autonomous Agents and Multiagent …, 2011 | 83 | 2011 |
Behavior-oriented commitment-based protocols M Baldoni, C Baroglio, E Marengo ECAI 2010, 137-142, 2010 | 79 | 2010 |
Learning controllers for industrial robots C Baroglio, A Giordana, R Piola, M Kaiser, M Nuttin Machine learning 23 (2-3), 221-249, 1996 | 74 | 1996 |
A priori conformance verification for guaranteeing interoperability in open environments M Baldoni, C Baroglio, A Martelli, V Patti International Conference on Service-Oriented Computing, 339-351, 2006 | 73 | 2006 |
Reasoning about learning object metadata for adapting SCORM courseware M Baldoni, C Baroglio, V Patti, L Torasso Int. Workshop on Engineering the Adaptive Web, EAW 4, 4-13, 2004 | 68 | 2004 |
Personalization for the semantic web M Baldoni, C Baroglio, N Henze Reasoning Web, 173-212, 2005 | 67 | 2005 |
Rule-based policy specification: State of the art and future work PA Bonatti, N Shahmehri, C Duma, D Olmedilla, W Nejdl, M Baldoni, ... Report I2 D 1, 2004 | 61 | 2004 |
Reasoning about interaction protocols for customizing web service selection and composition M Baldoni, C Baroglio, A Martelli, V Patti Journal of Logic and Algebraic Programming 70 (1), 53-73, 2007 | 59 | 2007 |
Constitutive and regulative specifications of commitment protocols: A decoupled approach M Baldoni, C Baroglio, E Marengo, V Patti ACM Transactions on Intelligent Systems and Technology (TIST) 4 (2), 22, 2013 | 56 | 2013 |
Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions M Baldoni, C Baroglio, V Patti Artificial Intelligence Review 22 (1), 3-39, 2004 | 49 | 2004 |
Verification of protocol conformance and agent interoperability M Baldoni, C Baroglio, A Martelli, V Patti Computational Logic in Multi-Agent Systems, 265-283, 2006 | 48 | 2006 |
Verifying protocol conformance for logic-based communicating agents M Baldoni, C Baroglio, A Martelli, V Patti, C Schifanella Computational Logic in Multi-Agent Systems, 196-212, 2005 | 47 | 2005 |
Reasoning methods for personalization on the semantic web G Antoniou, M Baldoni, C Baroglio, V Patti, R Baumgartner, T Eiter, ... Annals of Mathematics 2, 1-24, 2003 | 46 | 2003 |
Commitment-based Agent Interaction in JaCaMo+ M Baldoni, C Baroglio, F Capuzzimati, R Micalizio Fundamenta Informaticae 21, 1001-1030, 2001 | 42* | 2001 |
A Commitment-based Infrastructure for Programming Socio-Technical Systems M Baldoni, C Baroglio, F Capuzzimati ACM Transactions on Internet Technology (TOIT) 14 (4), 23, 2014 | 41 | 2014 |
Computational Accountability in MAS Organizations with ADOPT M Baldoni, C Baroglio, KM May, R Micalizio, S Tedeschi Applied Sciences 8 (4), 489, 2018 | 38 | 2018 |