- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j10 |      | Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti: Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM TIST 4(2): 22 (2013) |
| 2012 | ||
| j9 | | 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) |
| j8 | | Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella: Flexible choreography-driven service selection. Intelligenza Artificiale 6(1): 97-115 (2012) |
| c36 | | 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 |
| 2011 | ||
| j7 | | 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) |
| j6 | | Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: Constraint modeling for curriculum planning and validation. Interactive Learning Environments 19(1): 81-123 (2011) |
| c35 | | 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 |
| c34 | | 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 |
| c33 | | Matteo Baldoni, Cristina Baroglio, Viviana Patti, Paolo Rena: ArsEmotica: emotions in the social semantic web. I-SEMANTICS 2011: 171-174 |
| c32 | | 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 |
| c31 | | Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti: Grafting regulations into business protocols: Supporting the analysis of risks of violation. RELAW 2011: 50-59 |
| c30 | | 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 | ||
| j5 | | 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. The New Review of Hypermedia and Multimedia 16(1&2): 33-70 (2010) |
| c29 | | 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 |
| c28 | | 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 | ||
| c27 | | 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 |
| c26 | | Fabian Abel, Matteo Baldoni, Cristina Baroglio, Nicola Henze, Daniel Krause, Viviana Patti: Context-based ranking in folksonomies. Hypertext 2009: 209-218 |
| c25 | | 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 |
| c24 | | Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella: Joint Achievement of Services' Personal Goals. MALLOW 2009 |
| 2008 | ||
| c23 | | 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 |
| 2007 | ||
| j4 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about interaction protocols for customizing web service selection and composition. J. Log. Algebr. Program. 70(1): 53-73 (2007) |
| c22 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007 |
| c21 | | 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 |
| c20 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426 |
| c19 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139 |
| 2006 | ||
| c18 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351 |
| c17 | | Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: A Personalization Service for Curriculum Planning. LWA 2006: 17-20 |
| c16 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77 |
| c15 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006 |
| 2005 | ||
| c14 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA 2005: 265-283 |
| c13 | | 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 |
| c12 | | 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 | ||
| j3 | | 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) |
| j2 | | Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano: Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. 41(2-4): 207-257 (2004) |
| j1 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning About Interaction Protocols for Web Service Composition. Electr. Notes Theor. Comput. Sci. 105: 21-36 (2004) |
| c11 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA 2004: 196-212 |
| c10 | | 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 |
| 2003 | ||
| c9 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311 |
| c8 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241 |
| c7 | | Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98 |
| c6 |  | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35 |
| 2002 | ||
| c5 | | Matteo Baldoni, Cristina Baroglio, Viviana Patti: Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. WOA 2002: 49-55 |
| 2001 | ||
| c4 | | Matteo Baldoni, Cristina Baroglio, Viviana Patti: Structureless, intention-guided web sites: planning based adaptation. HCI 2001: 237-241 |
| c3 | | Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425 |
| c2 | | Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti: Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001: 60-75 |
| 1996 | ||
| c1 | | Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150 |
Data released under the ODC-BY 1.0 license — See also our legal information page