Alessandro Provetti

2007
39	EE	Massimo Marchi, Romeo Penzo, Alessandro Provetti: Policy-Based Parametric Firewall Configuration: A Real-Case Application. POLICY 2007: 276
38	EE	Giacomo Fiumara, Massimo Marchi, Alessandro Provetti: Adaptive Web Data Extraction Policies. POLICY 2007: 281
2006
37		Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti: Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. ECAI 2006: 737-738
36	EE	Fiorella de Cindio, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti, Laura Anna Ripamonti, Leonardo Sonnante: Aggregating Information and Enforcing Awareness Across Communities with the Dynamo RSS Feeds Creation Engine: Preliminary Report. OTM Workshops (1) 2006: 227-236
35	EE	Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti: Declarative Web data extraction and annotation. WLP 2006: 137-144
34	EE	Sergio Bossa, Giacomo Fiumara, Alessandro Provetti: A Lightweight Architecture for RSS Polling of Arbitrary Web sources. WOA 2006
2005
33		Marina De Vos, Alessandro Provetti: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005 CEUR-WS.org 2005
32	EE	Elisa Bertino, Alessandra Mileo, Alessandro Provetti: PDL with Preferences. POLICY 2005: 213-222
31	EE	Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Declarative Policies for Web Service Selection. POLICY 2005: 239-242
30	EE	Elisa Bertino, Alessandro Provetti, Franco Salvetti: Reasoning about RDF statements with default rules. Rule Languages for Interoperability 2005
29	EE	Alessandro Provetti: A primer on Answer Set Programming CoRR abs/cs/0508100: (2005)
28	EE	Stefania Costantini, Alessandro Provetti: Normal forms for answer sets programming. TPLP 5(6): 747-760 (2005)
2004
27		Mauricio Osorio, Alessandro Provetti: Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F , Mexico, April 26th 2004 CEUR-WS.org 2004
26	EE	Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Declarative Policies for Grid Service Selection. ECOWS 2004: 102-115
25	EE	Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Grid Service Selection with PPDL. ICLP 2004: 464-466
24	EE	Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Policies for Grid Service Selection. ICWS 2004: 828-829
23	EE	Luca Padovani, Alessandro Provetti: Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA 2004: 689-692
22	EE	Stefania Costantini, Alessandro Provetti: Normal forms for Answer Sets Programming CoRR cs.AI/0410014: (2004)
2003
21		Marina De Vos, Alessandro Provetti: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003 CEUR-WS.org 2003
20		Elisa Bertino, Alessandra Mileo, Alessandro Provetti: User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE 2003: 110-122
19		Elisa Bertino, Alessandro Provetti, Franco Salvetti: Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE 2003: 314-323
18	EE	Elisa Bertino, Alessandra Mileo, Alessandro Provetti: PDL with Maximum Consistency Monitors. ISMIS 2003: 65-74
17		Chitta Baral, Alessandro Provetti, Tran Cao Son: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003)
2002
16	EE	Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302
15	EE	Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti: On the equivalence and range of applicability of graph-based representations of logic programs. Inf. Process. Lett. 84(5): 241-249 (2002)
2001
14		Alessandro Provetti, Tran Cao Son: Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, March 26-28, 2001 Answer Set Programming 2001
13	EE	Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari: The Prospect for Answer Sets Computation by a Genetic Model. Answer Set Programming 2001
12		Lorraine M. Fesq, Ella M. Atkins, Lina Khatib, Charles Pecheur, Paul R. Cohen, Lynn Andrea Stein, Michael van Lent, John E. Laird, Alessandro Provetti, Tran Cao Son: AAAI 2001 Spring Symposium Series Reports. AI Magazine 22(3): 117-122 (2001)
2000
11		Marcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti: Experiments in Answer Sets Planning. MICAI 2000: 95-107
1998
10		Gaetano Aurelio Lanzarone, Alessandro Provetti: Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. APPIA-GULP-PRODE 1998: 201-214
9	EE	Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998)
8	EE	Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998)
1997
7		Alessandro Provetti, G. Rossi: Action Specifications in log. APPIA-GULP-PRODE 1997: 381-392
6		Chitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)
1996
5		Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996: 652-657
4		Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. KR 1996: 474-481
3		Alessandro Provetti: Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. Computational Intelligence 12: 478-498 (1996)
1994
2		Luca Chittaro, Angelo Montanari, Alessandro Provetti: Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365
1	EE	Alessandro Provetti: Hypothetical Reasoning from Situation Calculus to Event Calculus. TIME 1994: 42-47

Coauthor Index

1	Maria Amalfi	[37]
2	Ella M. Atkins	[12]
3	Marcello Balduccini	[11]
4	Chitta Baral	[4] [5] [6] [8] [9] [17]
5	Carlo Bernardoni	[35]
6	Elisa Bertino	[18] [19] [20] [30] [32]
7	Alberto Bertoni	[13]
8	Sergio Bossa	[34]
9	G. Brignoli	[11]
10	Luca Chittaro	[2]
11	Fiorella de Cindio	[36]
12	Paul R. Cohen	[12]
13	Stefania Costantini	[15] [16] [22] [28]
14	Ottavio M. D'Antona	[15]
15	Lorraine M. Fesq	[12]
16	Giacomo Fiumara	[34] [35] [36] [38]
17	Alfredo Gabaldon	[4] [5] [8] [9]
18	Michael Gelfond	[6]
19	Giuliano Grossi	[13]
20	Lina Khatib	[12]
21	Vladik Kreinovich	[13]
22	John E. Laird	[12]
23	Gaetano Aurelio Lanzarone	[10] [11]
24	Michael van Lent	[12]
25	F. Magni	[11]
26	Massimo Marchi	[24] [25] [26] [31] [35] [36] [38] [39]
27	Alessandra Mileo	[18] [20] [24] [25] [26] [31] [32]
28	Angelo Montanari	[2]
29	Mauricio Osorio (Mauricio Javier Osorio Galindo)	[27]
30	Ramón P. Otero	[16]
31	Luca Padovani	[23]
32	Charles Pecheur	[12]
33	Romeo Penzo	[39]
34	Katia Lo Presti	[37]
35	Laura Anna Ripamonti	[36]
36	G. Rossi	[7]
37	Franco Salvetti	[19] [30] [37]
38	Tran Cao Son	[12] [14] [16] [17]
39	Leonardo Sonnante	[36]
40	Lynn Andrea Stein	[12]
41	Luis Tari	[13]
42	Marina De Vos	[21] [33]

Colors in the list of coauthors