Viviana Patti

	2009
30		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
29		Fabian Abel, Matteo Baldoni, Cristina Baroglio, Nicola Henze, Daniel Krause, Viviana Patti: Context-based ranking in folksonomies. Hypertext 2009: 209-218
28		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
27		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
26		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
25		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426
24		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007
23		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139
22		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)
	2006
21		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351
20		Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: A Personalization Service for Curriculum Planning. LWA 2006: 17-20
19		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77
18		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006
	2005
17		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA VI 2005: 265-283
16		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
15		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
14		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA V 2004: 196-212
13		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
12		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)
11		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)
10		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
9		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311
8		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241
7		Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98
6		Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35
	2002
5		Matteo Baldoni, Cristina Baroglio, Viviana Patti: Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. WOA 2002: 49-55
	2001
4		Matteo Baldoni, Cristina Baroglio, Viviana Patti: Structureless, intention-guided web sites: planning based adaptation. HCI 2001: 237-241
3		Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425
2		Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti: Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001: 60-75
	1996
1		Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150

Coauthor Index

1	Fabian Abel	[29]
2	Edoardo Acotto	[28]
3	Maurizio Avilia	[27]
4	Matteo Baldoni	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30]
5	Cristina Baroglio	[2] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30]
6	Ingo Brunkhorst	[20] [26]
7	Alessandro Chiarotto	[2]
8	Amit K. Chopra	[30]
9	Nirmit Desai	[30]
10	Laura Giordano	[1] [3] [7] [12]
11	Pierluigi Grillo	[27]
12	Ivana Gungui	[13]
13	Nicola Henze	[20] [29]
14	András Horváth	[27]
15	Daniel Krause	[29]
16	Elisa Marengo	[20] [26]
17	Alberto Martelli	[1] [3] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25]
18	Maurizio Martelli	[13]
19	Viviana Mascardi	[13] [15]
20	Flavio Portis	[27] [28]
21	Claudio Schifanella	[13] [14] [15] [16] [19] [23] [24] [25]
22	Munindar P. Singh	[30]
23	Laura Torasso	[15]
24	Giorgio Vaccarino	[28]