Cristina Baroglio
Cristina Baroglio
Professore associato di Informatica, UniversitÓ degli Studi di Torino, Dipartimento di Informatica
Email verificata su unito.it - Home page
Titolo
Citata da
Citata da
Anno
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
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
772012
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
742011
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
712010
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
682004
Learning controllers for industrial robots
C Baroglio, A Giordana, R Piola, M Kaiser, M Nuttin
Machine learning 23 (2-3), 221-249, 1996
661996
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
612006
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
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), 22, 2013
552013
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
542004
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
462004
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
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
432005
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
422003
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
312014
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
312004
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
28*2016
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20