Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Matteo Baldoni
2010 – today
- 2013
[j16]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti: Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM TIST 4(2): 22 (2013)- [e9]Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Vasconcelos (Eds.): Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7784, Springer 2013, ISBN 978-3-642-37889-8
- 2012
- [j15]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)
- [j14]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella: Flexible choreography-driven service selection. Intelligenza Artificiale 6(1): 97-115 (2012)
- [c72]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
- [c71]Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti: A Generalized Commitment Machine for 2CL Protocols and Its Implementation. DALT 2012: 96-115
- [c70]Matteo Baldoni, Cristina Baroglio: Some Thoughts about Commitment Protocols - (Position Paper). DALT 2012: 190-196
- 2011
- [j13]Matteo Baldoni, Cristina Baroglio: A journey in Computational Logic in Italy. Intelligenza Artificiale 5(1): 67-69 (2011)
- [j12]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)
- [j11]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)
- [c69]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
- [c68]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
- [c67]Matteo Baldoni, Cristina Baroglio, Viviana Patti, Paolo Rena: ArsEmotica: emotions in the social semantic web. I-SEMANTICS 2011: 171-174
- [c66]Elisa Marengo, Matteo Baldoni, Cristina Baroglio: On Temporal Regulations and Commitment Protocols. IJCAI 2011: 2824-2825
- [c65]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
- [c64]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti: Grafting regulations into business protocols: Supporting the analysis of risks of violation. RELAW 2011: 50-59
- [c63]Elisa Marengo, Matteo Baldoni, Cristina Baroglio: Extend Commitment Protocols with Temporal Regulations: Why and How. RuleML America (2) 2011
- [c62]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
- [i1]Elisa Marengo, Matteo Baldoni, Cristina Baroglio: Extend Commitment Protocols with Temporal Regulations: Why and How. CoRR abs/1107.2086 (2011)
- 2010
- [j10]Matteo Baldoni, Cristina Baroglio, Viviana Mascardi: Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies. Multiagent and Grid Systems 6(2): 103-104 (2010)
- [j9]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)
- [c61]Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni: Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 25 Years GULP 2010: 204-230
- [c60]Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Constraints among Commitments: Regulative Specification of Interaction Protocols. CILC 2010
- [c59]Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. DALT 2010: 60-77
- [c58]Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Behavior-Oriented Commitment-based Protocols. ECAI 2010: 137-142
- [c57]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
- [c56]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
- [e8]Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (Eds.): Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5948, Springer 2010, ISBN 978-3-642-11354-3
2000 – 2009
- 2009
- [c55]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
- [c54]Matteo Baldoni, Guido Boella, Leendert van der Torre: The Interplay between Relationships, Roles and Objects. FSEN 2009: 402-415
- [c53]Fabian Abel, Matteo Baldoni, Cristina Baroglio, Nicola Henze, Daniel Krause, Viviana Patti: Context-based ranking in folksonomies. Hypertext 2009: 209-218
- [c52]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
- [c51]Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi: Introductory Essay of MALLOW-AWESOME'009. MALLOW 2009
- [c50]Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella: Joint Achievement of Services' Personal Goals. MALLOW 2009
- [c49]Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre: A Middleware for Modeling Organizations and Roles in Jade. PROMAS 2009: 100-117
- [e7]Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5397, Springer 2009, ISBN 978-3-540-93919-1
- [e6]Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009
- 2008
- [c48]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
- [c47]Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre: How to Program Organizations and Roles in the JADE Framework. MATES 2008: 25-36
- [c46]Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert van der Torre: Adding Organizations and Roles as Primitives to JADE Framework. NORMAS 2008: 95-111
- [e5]Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4897, Springer 2008, ISBN 978-3-540-77563-8
- 2007
- [j8]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)
- [j7]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Interaction between Objects in powerJava. Journal of Object Technology 6(2): 5-30 (2007)
- [c45]Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Curricula Modeling and Checking. AI*IA 2007: 471-482
- [c44]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007
- [c43]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
- [c42]Matteo Baldoni, Elisa Marengo: Curriculum Model Checking: Declarative Representation and Verification of Properties. EC-TEL 2007: 432-437
- [c41]Matteo Baldoni, Guido Boella, Leendert van der Torre: Relationships Meet Their Roles in Object Oriented Programming. FSEN 2007: 440-448
- [c40]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426
- [c39]Erik Arnaudo, Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna: An implementation of roles as affordances: powerJava. WOA 2007: 8-13
- [c38]Matteo Baldoni, Cristina Baroglio, Giuseppe Berio, Elisa Marengo: Declarative representation of curricula models: an LTL- and UML-based approach. WOA 2007: 34-41
- [c37]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Adding Roles to Relationship Patterns. WOA 2007: 112-125
- [c36]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139
- [c35]Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi: Preface to the Proceedings of WOA 2007. WOA 2007
- [p1]Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla: Rule-based Policy Specification. Secure Data Management in Decentralized Systems 2007: 169-216
- [e4]Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi (Eds.): WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy. Seneca Edizioni Torino 2007, ISBN 978-88-6122-061-4
- 2006
- [j6]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Roles as a Coordination Construct: Introducing powerJava. Electr. Notes Theor. Comput. Sci. 150(1): 9-29 (2006)
- [c34]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351
- [c33]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Modelling the Interaction Between Objects: Roles as Affordances. KSEM 2006: 42-54
- [c32]Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: A Personalization Service for Curriculum Planning. LWA 2006: 17-20
- [c31]Matteo Baldoni, Guido Boella, Leendert van der Torre: Interaction among objects via roles: sessions and affordances in Java. PPPJ 2006: 188-193
- [c30]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77
- [c29]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects. PROMAS 2006: 149-164
- [c28]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: powerJava: ontologically founded roles in object oriented programming languages. SAC 2006: 1414-1418
- [c27]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006
- [c26]Matteo Baldoni, Guido Boella, Leendert van der Torre: Importing Agent-like Interaction in Object Orientation. WOA 2006
- [e3]Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (Eds.): Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Lecture Notes in Computer Science 3904, Springer 2006, ISBN 3-540-33106-9
- [e2]Matteo Baldoni, Ulle Endriss (Eds.): Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers. Lecture Notes in Computer Science 4327, Springer 2006, ISBN 3-540-68959-1
- 2005
- [c25]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA 2005: 265-283
- [c24]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
- [c23]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. PROMAS 2005: 57-75
- [c22]Matteo Baldoni, Cristina Baroglio, Nicola Henze: Personalization for the Semantic Web. Reasoning Web 2005: 173-212
- [c21]Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Social roles, from agents back to objects. WOA 2005: 164-170
- [c20]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)
- [j4]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)
- [j3]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)
- [c19]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA 2004: 196-212
- [c18]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
- [c17]Claudio Schifanella, Luca Lusso, Matteo Baldoni, Cristina Baroglio: Design and development of a visual environment for writing DyLOG programs. WOA 2004: 43-50
- [e1]Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini (Eds.): WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November - 1 December 2004, Torino, Italy. Pitagora Editrice Bologna 2004, ISBN 88-371-1533-4
- 2003
- [c16]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311
- [c15]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241
- [c14]Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98
- [c13]Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35
- 2002
- [c12]Matteo Baldoni, Cristina Baroglio, Viviana Patti: Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. WOA 2002: 49-55
- 2001
- [c11]Matteo Baldoni, Cristina Baroglio, Viviana Patti: Structureless, intention-guided web sites: planning based adaptation. HCI 2001: 237-241
- [c10]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425
- [c9]Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti: Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001: 60-75
- 2000
- [j2]Matteo Baldoni, Cristina Baroglio, Davide Cavagnino: Use of IFS Codes for Learning 2D Isolated-Object Classification Systems. Computer Vision and Image Understanding 77(3): 371-387 (2000)
1990 – 1999
- 1998
- [j1]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. J. Log. Comput. 8(5): 597-635 (1998)
- [c8]Matteo Baldoni, Cristina Baroglio, Davide Cavagnino: XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition. SSPR/SPR 1998: 382-389
- [c7]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59
- 1997
- [c6]Matteo Baldoni, Cristina Baroglio, Davide Cavagnino, Giuseppe Lo Bello: Extraction of Discriminant Features from Image Fractal Encoding. AI*IA 1997: 127-138
- 1996
- [c5]Matteo Baldoni, Laura Giordano, Alberto Martelli: Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33
- [c4]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Framework for a Modal Logic Programming. JICSLP 1996: 52-66
- [c3]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150
- 1994
- [c2]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335
- 1993
- [c1]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487
Coauthor Index
[j16] [j15] [j14] [c72] [c71] [c70] [j13] [j12] [j11] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [i1] [j10] [j9] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c53] [c52] [c51] [c50] [e6] [c48] [j8] [c45] [c44] [c43] [c40] [c38] [c36] [c34] [c32] [c30] [c27] [c25] [c24] [c22] [c20] [j5] [j3] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c9] [j2] [c8] [c6]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team