Viviana Patti

2007
26	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
25	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426
24	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007
23	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139
22	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)
2006
21	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351
20	EE	Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: A Personalization Service for Curriculum Planning. LWA 2006: 17-20
19	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77
18	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006
2005
17	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA VI 2005: 265-283
16	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
15	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
14	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA V 2004: 196-212
13	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
12	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)
11	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)
10	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
9	EE	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311
8	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
7	EE	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	EE	Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425
2	EE	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	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]
2	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]
3	Ingo Brunkhorst	[20] [26]
4	Alessandro Chiarotto	[2]
5	Laura Giordano	[1] [3] [7] [12]
6	Ivana Gungui	[13]
7	Nicola Henze	[20]
8	Elisa Marengo	[20] [26]
9	Alberto Martelli	[1] [3] [6] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25]
10	Maurizio Martelli	[13]
11	Viviana Mascardi	[13] [15]
12	Claudio Schifanella	[13] [14] [15] [16] [19] [23] [24] [25]
13	Laura Torasso	[15]