Matteo Baldoni

2008
51		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
2007
50	EE	Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Curricula Modeling and Checking. AI*IA 2007: 471-482
49	EE	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
48	EE	Matteo Baldoni, Elisa Marengo: Curriculum Model Checking: Declarative Representation and Verification of Properties. EC-TEL 2007: 432-437
47	EE	Matteo Baldoni, Guido Boella, Leendert van der Torre: Relationships Meet Their Roles in Object Oriented Programming. FSEN 2007: 440-448
46	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007
45	EE	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	EE	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	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351
40	EE	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Modelling the Interaction Between Objects: Roles as Affordances. KSEM 2006: 42-54
39	EE	Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: A Personalization Service for Curriculum Planning. LWA 2006: 17-20
38	EE	Matteo Baldoni, Guido Boella, Leendert van der Torre: Interaction among objects via roles: sessions and affordances in Java. PPPJ 2006: 188-193
37	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77
36	EE	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	EE	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: powerJava: ontologically founded roles in object oriented programming languages. SAC 2006: 1414-1418
34	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006
33	EE	Matteo Baldoni, Guido Boella, Leendert van der Torre: Importing Agent-like Interaction in Object Orientation. WOA 2006
32	EE	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	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA VI 2005: 265-283
30	EE	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	EE	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	EE	Matteo Baldoni, Cristina Baroglio, Nicola Henze: Personalization for the Semantic Web. Reasoning Web 2005: 173-212
27	EE	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Social roles, from agents back to objects. WOA 2005: 164-170
26	EE	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	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA V 2004: 196-212
23	EE	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	EE	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	EE	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	EE	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	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311
17	EE	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	EE	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	EE	Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425
11	EE	Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti: Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001: 60-75
2000
10	EE	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	EE	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	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] [46] [49] [50]
2	Giuseppe Lo Bello	[6]
3	Guido Boella	[27] [29] [32] [33] [35] [36] [38] [40] [44] [47]
4	Ingo Brunkhorst	[39] [49]
5	Davide Cavagnino	[6] [9] [10]
6	Alessandro Chiarotto	[11]
7	Ulrich Endriss (Ulle Endriss)	[42] [43]
8	Laura Giordano	[1] [2] [3] [4] [5] [7] [8] [12] [16] [21]
9	Ivana Gungui	[23]
10	Nicola Henze	[28] [39]
11	Luca Lusso	[22]
12	Elisa Marengo	[39] [48] [49] [50]
13	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] [46]
14	Maurizio Martelli	[23]
15	Viviana Mascardi	[23] [26]
16	Andrea Omicini	[25] [43]
17	Flavio De Paoli	[25]
18	Viviana Patti	[3] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23] [24] [26] [30] [31] [34] [37] [39] [41] [45] [46] [49]
19	M. Birna van Riemsdijk (Birna van Riemsdijk)	[51]
20	Claudio Schifanella	[22] [23] [24] [26] [30] [37] [46]
21	Tran Cao Son	[51]
22	Laura Torasso	[26]
23	Leendert W. N. van der Torre (Leendert van der Torre)	[27] [29] [32] [33] [35] [36] [38] [40] [44] [47]
24	Paolo Torroni	[43]
25	Michael Winikoff	[51]

Colors in the list of coauthors