Остановите войну!
for scientists:
default search action
Cristina Baroglio
- > Home > Persons > Cristina Baroglio
Publications
- 2016
- [c77]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati:
Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract. AAMAS 2016: 1259-1260 - 2015
- [c69]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract). IJCAI 2015: 4143-4147 - 2014
- [j17]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati:
Engineering commitment-based business protocols with the 2CL methodology. Auton. Agents Multi Agent Syst. 28(4): 519-557 (2014) - 2013
- [j15]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Trans. Intell. Syst. Technol. 4(2): 22:1-22:25 (2013) - 2012
- [j14]Matteo Baldoni, Cristina Baroglio, Viviana Patti, Paolo Rena:
From tags to emotions: Ontology-driven sentiment analysis in the social semantic web. Intelligenza Artificiale 6(1): 41-54 (2012) - [j13]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella:
Flexible choreography-driven service selection. Intelligenza Artificiale 6(1): 97-115 (2012) - [c60]Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti:
A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation. CILC 2012: 2-16 - [c59]Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti:
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. DALT 2012: 96-115 - 2011
- [j11]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella:
Models of agent interaction based on modal logics. Intelligenza Artificiale 5(1): 83-88 (2011) - [j10]Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti:
Constraint modeling for curriculum planning and validation. Interact. Learn. Environ. 19(1): 81-123 (2011) - [c56]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi:
An Interaction-Oriented Agent Framework for Open Environments. AI*IA 2011: 68-79 - [c55]Matteo Baldoni, Cristina Baroglio, Viviana Patti, Paolo Rena:
From Tags to Emotions: Ontology-driven Sentimental Analysis in the Social Semantic Web. DART@AI*IA 2011 - [c54]Matteo Baldoni, Cristina Baroglio, Viviana Patti, Claudio Schifanella:
Sentiment Analysis in the Planet Art: A Case Study in the Social Semantic Web. DART@AI*IA (Revised and Invited Papers) 2011: 131-149 - [c53]Elisa Marengo, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Viviana Patti, Munindar P. Singh:
Commitments with regulations: reasoning about safety and control in REGULA. AAMAS 2011: 467-474 - [c52]Matteo Baldoni, Cristina Baroglio, Viviana Patti, Paolo Rena:
ArsEmotica: emotions in the social semantic web. I-SEMANTICS 2011: 171-174 - [c50]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Alessandro Ricci:
Back to the future: An interaction-oriented framework for social computing. RESC 2011: 2-5 - [c49]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti:
Grafting regulations into business protocols: Supporting the analysis of risks of violation. RELAW 2011: 50-59 - [c47]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Federico Capuzzimati:
Learn the rules so you know how to break them properly. WOA 2011: 11-18 - 2010
- [j8]Fabian Abel, Matteo Baldoni, Cristina Baroglio, Nicola Henze, Ricardo Kawase, Daniel Krause, Viviana Patti:
Leveraging search and content exploration by exploiting context in folksonomy systems. New Rev. Hypermedia Multim. 16(1&2): 33-70 (2010) - [c43]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW 2010 - [c42]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA 2010 - 2009
- [c41]Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh:
Choice, interoperability, and conformance in interaction protocols and service choreographies. AAMAS (2) 2009: 843-850 - [c40]Fabian Abel, Matteo Baldoni, Cristina Baroglio, Nicola Henze, Daniel Krause, Viviana Patti:
Context-based ranking in folksonomies. Hypertext 2009: 209-218 - [c39]Edoardo Acotto, Matteo Baldoni, Cristina Baroglio, Viviana Patti, Flavio Portis, Giorgio Vaccarino:
ArsMeteo: artworks and tags floating over the planet art. Hypertext 2009: 331-332 - [c37]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella:
Joint Achievement of Services' Personal Goals. MALLOW 2009 - 2008
- [c36]Matteo Baldoni, Cristina Baroglio, Viviana Patti:
Multimodal Logics for Reasoning about Interaction. Il Milione 2008 - [c35]Matteo Baldoni, Cristina Baroglio, András Horváth, Viviana Patti, Flavio Portis, Maurizio Avilia, Pierluigi Grillo:
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. FOMI 2008: 132-143 - [c34]Matteo Baldoni, Cristina Baroglio, Viviana Patti, Claudio Schifanella:
Conservative Re-use Ensuring Matches for Service Selection. WOA 2008: 28-36 - 2007
- [j7]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Reasoning on choreographies and capability requirements. Int. J. Bus. Process. Integr. Manag. 2(4): 247-261 (2007) - [j6]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about interaction protocols for customizing web service selection and composition. J. Log. Algebraic Methods Program. 70(1): 53-73 (2007) - [c32]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Service selection by choreography-driven matching. WEWST 2007 - [c31]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Service selection by choreography-driven matching. WEWST@ECOWS (Final Proceedings) 2007: 5-22 - [c30]Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, Viviana Patti:
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. EC-TEL 2007: 426-431 - [c29]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426 - [c27]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139 - 2006
- [c26]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351 - [c25]Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti:
A Personalization Service for Curriculum Planning. LWA 2006: 17-20 - [c24]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77 - [c23]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Conformance and Interoperability in Open Enviroments. WOA 2006 - 2005
- [c22]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability. CLIMA 2005: 265-283 - [c21]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. EPEW/WS-FM 2005: 257-271 - [c19]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi:
Personalization, Verification and Conformance for Logic-based Communicating Agents. WOA 2005: 177-183 - 2004
- [j5]Matteo Baldoni, Cristina Baroglio, Viviana Patti:
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions. Artif. Intell. Rev. 22(1): 3-39 (2004) - [c18]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA 2004: 196-212 - [c17]Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella:
Reasoning About Agents' Interaction Protocols Inside DCaseLP. DALT 2004: 112-131 - [c15]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning About Interaction Protocols for Web Service Composition. WSFM 2004: 21-36 - 2003
- [c14]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311 - [c13]Matteo Baldoni, Cristina Baroglio, Viviana Patti:
Applying Logic Inference Techniques for Gaining Flexibility and Adaptivity in Tutoring Systems. HCI (4) 2003: 517-521 - [c12]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241 - [c11]Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti:
Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98 - [c10]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35 - 2002
- [c9]Matteo Baldoni, Cristina Baroglio, Viviana Patti:
Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. WOA 2002: 49-55 - 2001
- [c8]Matteo Baldoni, Cristina Baroglio, Viviana Patti:
Structureless, intention-guided web sites: planning based adaptation. HCI 2001: 237-241 - [c7]Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti:
Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001: 60-75
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-03 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint