Follow
Matteo Baldoni
Matteo Baldoni
Professor in Computer Science, Universitą degli Studi di Torino, Dipartimento di Informatica
Verified email at di.unito.it - Homepage
Title
Cited by
Cited by
Year
Verifying the conformance of web services to global interaction protocols: A first step
M Baldoni, C Baroglio, A Martelli, V Patti, C Schifanella
EPEW/WS-FM 3670, 257-271, 2005
1232005
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
962012
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
862018
Commitments with regulations: reasoning about safety and control in REGULA
E Marengo, M Baldoni, C Baroglio, AK Chopra, V Patti, MP Singh
Proceedings of the 10th International Conference on Autonomous Agents and …, 2011
822011
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
812009
Roles as a coordination construct: Introducing powerJava
M Baldoni, G Boella, L Van Der Torre
Electronic Notes in Theoretical Computer Science 150 (1), 9-29, 2006
802006
Normal multimodal logics: Automatic deduction and logic programming extension
M Baldoni
Universitą degli Studi di Torino, Dipartimento di Informatica, 1998
781998
Behavior-Oriented Commitment-based Protocols.
M Baldoni, C Baroglio, E Marengo
ECAI 215, 137-142, 2010
742010
A tableau calculus for multimodal logics and some (un) decidability results
M Baldoni, L Giordano, A Martelli
Automated Reasoning with Analytic Tableaux and Related Methods …, 1998
741998
Interaction between Objects in powerJava
M Baldoni, G Boella, IL van der Torre
Interaction 2 (2), 2003
732003
A priori conformance verification for guaranteeing interoperability in open environments
M Baldoni, C Baroglio, A Martelli, V Patti
Service-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 2006
682006
Reasoning about learning object metadata for adapting SCORM courseware
M Baldoni, C Baroglio, V Patti, L Torasso
Engineering the Adaptive Web., CS-Report, 04-18, 2004
662004
Personalization for the semantic web
M Baldoni, C Baroglio, N Henze
Reasoning Web: First International Summer School 2005, Msida, Malta, July 25 …, 2005
632005
Rule-based policy specification: State of the art and future work
P Bonatti, N Shahmehri, C Duma, D Olmedilla, W Nejdl, M Baldoni, ...
REWERSE, 2004
602004
Reasoning about interaction protocols for customizing web service selection and composition
M Baldoni, C Baroglio, A Martelli, V Patti
The Journal of Logic and Algebraic Programming 70 (1), 53-73, 2007
582007
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), 1-25, 2013
572013
Cooperation between aspirin-triggered lipoxin and nitric oxide (NO) mediates antiadhesive properties of 2-(acetyloxy) benzoic acid 3-(nitrooxymethyl) phenyl ester (NCX-4016)(NO …
S Fiorucci, E Distrutti, A Mencarelli, G Rizzo, AR Di Lorenzo, M Baldoni, ...
Journal of Pharmacology and Experimental Therapeutics 309 (3), 1174-1182, 2004
562004
Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions
M Baldoni, C Baroglio, V Patti
Artificial Intelligence Review 22, 3-39, 2004
492004
Programming rational agents in a modal action logic
M Baldoni, A Martelli, V Patti, L Giordano
Annals of Mathematics and Artificial Intelligence 41, 207-257, 2004
492004
Verification of protocol conformance and agent interoperability
M Baldoni, C Baroglio, A Martelli, V Patti
Computational Logic in Multi-Agent Systems: 6th International Workshop …, 2006
472006
The system can't perform the operation now. Try again later.
Articles 1–20