Matteo Baldoni
Matteo Baldoni
Associate Professor, Università degli Studi di Torino, Dipartimento di Informatica
Verified email at di.unito.it - Homepage
TitleCited byYear
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
1092005
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
742006
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
732012
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
732009
Commitments with regulations: reasoning about safety and control in REGULA
E Marengo, M Baldoni, C Baroglio, AK Chopra, V Patti, MP Singh
10th International Conference on Autonomous Agents and Multiagent Systems …, 2011
712011
Normal multimodal logics: Automatic deduction and logic programming extension
M Baldoni
Università degli Studi di Torino, Dipartimento di Informatica, 1998
711998
Behavior-Oriented Commitment-based Protocols.
M Baldoni, C Baroglio, E Marengo
ECAI 215, 137-142, 2010
682010
Interaction between Objects in powerJava
M Baldoni, IG Boella, IL van der Torre
Journal of Object Technology 6 (2), 2003
682003
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
A tableau calculus for multimodal logics and some (un) decidability results
M Baldoni, L Giordano, A Martelli
International Conference on Automated Reasoning with Analytic Tableaux and …, 1998
651998
Personalization for the semantic web
M Baldoni, C Baroglio, N Henze
Reasoning Web, 173-212, 2005
632005
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
602006
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
562007
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
542013
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
522004
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
502004
Programming rational agents in a modal action logic
M Baldoni, A Martelli, V Patti, L Giordano
Annals of Mathematics and Artificial Intelligence 41 (2-4), 207-257, 2004
482004
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
452004
Verification of protocol conformance and agent interoperability
M Baldoni, C Baroglio, A Martelli, V Patti
International Workshop on Computational Logic in Multi-Agent Systems, 265-283, 2005
432005
Reasoning methods for personalization on the semantic web
G Antoniou, M Baldoni, C Baroglio, R Baumgartner, F Bry, T Eiter, ...
na 2, 1-24, 2004
422004
The system can't perform the operation now. Try again later.
Articles 1–20