Cristina Baroglio
Cristina Baroglio
Professore associato di Informatica, UniversitÓ degli Studi di Torino, Dipartimento di Informatica
Verified email at 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
Formal Techniques for Computer Systems and Business Processes, 257-271, 2005
1142005
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
852012
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
772011
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
742009
Behavior-Oriented Commitment-based Protocols.
M Baldoni, C Baroglio, E Marengo
ECAI 215, 137-142, 2010
732010
Learning controllers for industrial robots
C Baroglio, A Giordana, R Piola, M Kaiser, M Nuttin
Machine learning 23 (2-3), 221-249, 1996
681996
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
672004
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
632006
Personalization for the semantic web
M Baldoni, C Baroglio, N Henze
Reasoning Web, 173-212, 2005
632005
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
572007
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
562013
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
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 (1), 3-39, 2004
472004
Verification of protocol conformance and agent interoperability
M Baldoni, C Baroglio, A Martelli, V Patti
Computational Logic in Multi-Agent Systems, 265-283, 2006
452006
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
452003
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
412005
Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture
M Baldoni, C Baroglio, I Brunkhorst, E Marengo, V Patti
European Conference on Technology Enhanced Learning, 426-431, 2007
342007
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
322014
Reasoning about interaction protocols for web service composition
M Baldoni, C Baroglio, A Martelli, V Patti
Electronic Notes in Theoretical Computer Science 105, 21-36, 2004
322004
Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract
M Baldoni, C Baroglio, E Marengo, V Patti, F Capuzzimati
Proceedings of the 2016 International Conference on Autonomous Agentsá…, 2016
29*2016
The system can't perform the operation now. Try again later.
Articles 1–20