Matteo Baldoni

	2011
89		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
88		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
87		Matteo Baldoni, Cristina Baroglio, Viviana Patti, Paolo Rena: ArsEmotica: emotions in the social semantic web. I-SEMANTICS 2011: 171-174
86		Elisa Marengo, Matteo Baldoni, Cristina Baroglio: On Temporal Regulations and Commitment Protocols. IJCAI 2011: 2824-2825
85		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
84		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
83		Elisa Marengo, Matteo Baldoni, Cristina Baroglio: Extend Commitment Protocols with Temporal Regulations: Why and How CoRR abs/1107.2086: (2011)
82		Matteo Baldoni, Cristina Baroglio: A journey in Computational Logic in Italy. Intelligenza Artificiale 5(1): 67-69 (2011)
81		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)
80		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)
	2010
79		Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd: Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers Springer 2010
78		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
77		Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. DALT 2010: 60-77
76		Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Behavior-Oriented Commitment-based Protocols. ECAI 2010: 137-142
75		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
74		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
73		Matteo Baldoni, Cristina Baroglio, Viviana Mascardi: Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies. Multiagent and Grid Systems 6(2): 103-104 (2010)
72		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)
	2009
71		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: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 CEUR-WS.org 2009
70		Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff: Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers Springer 2009
69		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
68		Matteo Baldoni, Guido Boella, Leendert van der Torre: The Interplay between Relationships, Roles and Objects. FSEN 2009: 402-415
67		Fabian Abel, Matteo Baldoni, Cristina Baroglio, Nicola Henze, Daniel Krause, Viviana Patti: Context-based ranking in folksonomies. Hypertext 2009: 209-218
66		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
65		Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi: Introductory Essay of MALLOW-AWESOME'009. MALLOW 2009
64		Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella: Joint Achievement of Services' Personal Goals. MALLOW 2009
63		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
	2008
62		Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff: Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers Springer 2008
61		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
60		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
59		Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert van der Torre: Adding Organizations and Roles as Primitives to JADE Framework. NORMAS 2008: 95-111
	2007
58		Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi: 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
57		Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Curricula Modeling and Checking. AI*IA 2007: 471-482
56		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
55		Matteo Baldoni, Elisa Marengo: Curriculum Model Checking: Declarative Representation and Verification of Properties. EC-TEL 2007: 432-437
54		Matteo Baldoni, Guido Boella, Leendert van der Torre: Relationships Meet Their Roles in Object Oriented Programming. FSEN 2007: 440-448
53		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426
52		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007
51		Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Adding Roles to Relationship Patterns. WOA 2007: 112-125
50		Matteo Baldoni, Cristina Baroglio, Giuseppe Berio, Elisa Marengo: Declarative representation of curricula models: an LTL- and UML-based approach. WOA 2007: 34-41
49		Erik Arnaudo, Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna: An implementation of roles as affordances: powerJava. WOA 2007: 8-13
48		Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi: Preface to the Proceedings of WOA 2007. WOA 2007
47		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139
46		Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla: Rule-based Policy Specification. Secure Data Management in Decentralized Systems 2007: 169-216
45		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)
44		Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Interaction between Objects in powerJava. Journal of Object Technology 6(2): 5-30 (2007)
	2006
43		Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers Springer 2006
42		Matteo Baldoni, Ulle Endriss: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers Springer 2006
41		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351
40		Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Modelling the Interaction Between Objects: Roles as Affordances. KSEM 2006: 42-54
39		Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: A Personalization Service for Curriculum Planning. LWA 2006: 17-20
38		Matteo Baldoni, Guido Boella, Leendert van der Torre: Interaction among objects via roles: sessions and affordances in Java. PPPJ 2006: 188-193
37		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77
36		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
35		Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: powerJava: ontologically founded roles in object oriented programming languages. SAC 2006: 1414-1418
34		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006
33		Matteo Baldoni, Guido Boella, Leendert van der Torre: Importing Agent-like Interaction in Object Orientation. WOA 2006
32		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)
	2005
31		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA 2005: 265-283
30		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
29		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
28		Matteo Baldoni, Cristina Baroglio, Nicola Henze: Personalization for the Semantic Web. Reasoning Web 2005: 173-212
27		Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Social roles, from agents back to objects. WOA 2005: 164-170
26		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
25		Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini: 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
24		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA 2004: 196-212
23		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
22		Claudio Schifanella, Luca Lusso, Matteo Baldoni, Cristina Baroglio: Design and development of a visual environment for writing DyLOG programs. WOA 2004: 43-50
21		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)
20		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)
19		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)
	2003
18		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311
17		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241
16		Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98
15		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35
	2002
14		Matteo Baldoni, Cristina Baroglio, Viviana Patti: Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. WOA 2002: 49-55
	2001
13		Matteo Baldoni, Cristina Baroglio, Viviana Patti: Structureless, intention-guided web sites: planning based adaptation. HCI 2001: 237-241
12		Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425
11		Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti: Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001: 60-75
	2000
10		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)
	1998
9		Matteo Baldoni, Cristina Baroglio, Davide Cavagnino: XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition. SSPR/SPR 1998: 382-389
8		Matteo Baldoni, Laura Giordano, Alberto Martelli: A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59
7		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)
	1997
6		Matteo Baldoni, Cristina Baroglio, Davide Cavagnino, Giuseppe Lo Bello: Extraction of Discriminant Features from Image Fractal Encoding. AI*IA 1997: 127-138
	1996
5		Matteo Baldoni, Laura Giordano, Alberto Martelli: Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33
4		Matteo Baldoni, Laura Giordano, Alberto Martelli: A Framework for a Modal Logic Programming. JICSLP 1996: 52-66
3		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
2		Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335
	1993
1		Matteo Baldoni, Laura Giordano, Alberto Martelli: A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487

Coauthor Index

1	Fabian Abel	[67] [72]
2	Edoardo Acotto	[66]
3	Grigoris Antoniou	[46]
4	Erik Arnaudo	[49]
5	Maurizio Avilia	[61]
6	Cristina Baroglio	[6] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [26] [28] [30] [31] [34] [37] [39] [41] [45] [47] [50] [52] [53] [56] [57] [61] [64] [65] [66] [67] [69] [71] [72] [73] [74] [75] [76] [77] [78] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89]
7	Giuseppe Lo Bello	[6]
8	Jamal Bentahar	[65] [71] [79]
9	Federico Bergenti	[74] [75] [88]
10	Giuseppe Berio	[50]
11	Antonio Boccalatte	[48] [58] [74] [75]
12	Guido Boella	[27] [29] [32] [33] [35] [36] [38] [40] [44] [49] [51] [54] [60] [63] [68] [71]
13	Piero A. Bonatti	[46]
14	Ingo Brunkhorst	[39] [56] [80]
15	Federico Capuzzimati	[84]
16	Davide Cavagnino	[6] [9] [10]
17	Alessandro Chiarotto	[11]
18	Amit K. Chopra	[69] [89]
19	Massimo Cossentino	[71]
20	Mehdi Dastani	[71]
21	Nirmit Desai	[69]
22	Barbara Dunin-Keplicz	[71]
23	Ulrich Endriss (Ulle Endriss)	[42] [43]
24	Amal El Fallah-Seghrouchni (Amal El Fallah)	[71]
25	Giancarlo Fortino	[71]
26	Valerio Genovese	[49] [59] [60] [63]
27	Laura Giordano	[1] [2] [3] [4] [5] [7] [8] [12] [16] [21]
28	Marie Pierre Gleizes	[71]
29	Roberto Grenna	[49] [59] [60] [63]
30	Pierluigi Grillo	[61]
31	Ivana Gungui	[23]
32	Nicola Henze	[28] [39] [67] [72] [80]
33	András Horváth	[61]
34	Ricardo Kawase	[72]
35	Daniel Krause	[67] [72]
36	João Leite (João Alexandre Leite)	[71]
37	John Lloyd	[79]
38	Luca Lusso	[22]
39	Elisa Marengo	[39] [50] [55] [56] [57] [64] [74] [75] [76] [77] [80] [81] [83] [84] [85] [86] [88] [89]
40	Alberto Martelli	[1] [2] [3] [4] [5] [7] [8] [12] [15] [16] [17] [18] [19] [21] [23] [24] [25] [26] [30] [31] [34] [37] [41] [45] [47] [52] [53]
41	Maurizio Martelli	[23] [48] [58] [74] [75]
42	Viviana Mascardi	[23] [26] [48] [58] [65] [71] [73] [74] [75] [78] [88]
43	Andrea Mugnaini	[63]
44	Wolfgang Nejdl	[46]
45	Daniel Olmedilla	[46]
46	Andrea Omicini	[25] [43] [78]
47	Julian A. Padget	[71]
48	Luca Padovani	[74] [75]
49	Flavio De Paoli	[25] [48] [58]
50	Viviana Patti	[3] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23] [24] [26] [30] [31] [34] [37] [39] [41] [45] [47] [52] [53] [56] [61] [64] [66] [67] [69] [72] [74] [75] [80] [81] [84] [85] [87] [88] [89]
51	Juan Pavón	[71]
52	Axel Polleres	[71]
53	Flavio Portis	[61] [66]
54	Paolo Rena	[87]
55	Alessandro Ricci	[74] [75] [85] [88]
56	M. Birna van Riemsdijk (Birna van Riemsdijk)	[62] [70] [79]
57	Gianfranco Rossi	[74] [75]
58	Andrea Santi	[74] [75] [88]
59	Claudio Schifanella	[22] [23] [24] [26] [30] [37] [47] [52] [53] [64] [81]
60	Munindar P. Singh	[69] [89]
61	Tran Cao Son	[62] [70]
62	Laura Torasso	[26]
63	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[27] [29] [32] [33] [35] [36] [38] [40] [44] [51] [54] [59] [60] [63] [68]
64	Paolo Torroni	[43] [71] [78]
65	Giorgio Vaccarino	[66]
66	Rineke Verbrugge (L. C. Verbrugge)	[71]
67	Michael Winikoff	[62] [70]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page