Matteo Baldoni

	2009
66		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
65		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
64		Fabian Abel, Matteo Baldoni, Cristina Baroglio, Nicola Henze, Daniel Krause, Viviana Patti: Context-based ranking in folksonomies. Hypertext 2009: 209-218
63		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
	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, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi: Preface to the Proceedings of WOA 2007. WOA 2007
49		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139
48		Matteo Baldoni, Cristina Baroglio, Giuseppe Berio, Elisa Marengo: Declarative representation of curricula models: an LTL- and UML-based approach. WOA 2007: 34-41
47		Erik Arnaudo, Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna: An implementation of roles as affordances: powerJava. WOA 2007: 8-13
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): (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 VI 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 V 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	[64]
2	Edoardo Acotto	[63]
3	Grigoris Antoniou	[46]
4	Erik Arnaudo	[47]
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] [48] [49] [52] [53] [56] [57] [61] [63] [64] [65]
7	Giuseppe Lo Bello	[6]
8	Giuseppe Berio	[48]
9	Antonio Boccalatte	[50] [58]
10	Guido Boella	[27] [29] [32] [33] [35] [36] [38] [40] [44] [47] [51] [54] [60]
11	Piero A. Bonatti	[46]
12	Ingo Brunkhorst	[39] [56]
13	Davide Cavagnino	[6] [9] [10]
14	Alessandro Chiarotto	[11]
15	Amit K. Chopra	[65]
16	Nirmit Desai	[65]
17	Ulrich Endriss (Ulle Endriss)	[42] [43]
18	Valerio Genovese	[47] [59] [60]
19	Laura Giordano	[1] [2] [3] [4] [5] [7] [8] [12] [16] [21]
20	Roberto Grenna	[47] [59] [60]
21	Pierluigi Grillo	[61]
22	Ivana Gungui	[23]
23	Nicola Henze	[28] [39] [64]
24	András Horváth	[61]
25	Daniel Krause	[64]
26	Luca Lusso	[22]
27	Elisa Marengo	[39] [48] [55] [56] [57]
28	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] [49] [52] [53]
29	Maurizio Martelli	[23] [50] [58]
30	Viviana Mascardi	[23] [26] [50] [58]
31	Wolfgang Nejdl	[46]
32	Daniel Olmedilla	[46]
33	Andrea Omicini	[25] [43]
34	Flavio De Paoli	[25] [50] [58]
35	Viviana Patti	[3] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23] [24] [26] [30] [31] [34] [37] [39] [41] [45] [49] [52] [53] [56] [61] [63] [64] [65]
36	Flavio Portis	[61] [63]
37	M. Birna van Riemsdijk (Birna van Riemsdijk)	[62] [66]
38	Claudio Schifanella	[22] [23] [24] [26] [30] [37] [49] [52] [53]
39	Munindar P. Singh	[65]
40	Tran Cao Son	[62] [66]
41	Laura Torasso	[26]
42	Leendert W. N. van der Torre (Leendert van der Torre)	[27] [29] [32] [33] [35] [36] [38] [40] [44] [51] [54] [59] [60]
43	Paolo Torroni	[43]
44	Giorgio Vaccarino	[63]
45	Michael Winikoff	[62] [66]