dblp.uni-trier.dewww.uni-trier.de

Alessandro Provetti Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
39EEMassimo Marchi, Romeo Penzo, Alessandro Provetti: Policy-Based Parametric Firewall Configuration: A Real-Case Application. POLICY 2007: 276
38EEGiacomo 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
36EEFiorella 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
35EECarlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti: Declarative Web data extraction and annotation. WLP 2006: 137-144
34EESergio 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
32EEElisa Bertino, Alessandra Mileo, Alessandro Provetti: PDL with Preferences. POLICY 2005: 213-222
31EEMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Declarative Policies for Web Service Selection. POLICY 2005: 239-242
30EEElisa Bertino, Alessandro Provetti, Franco Salvetti: Reasoning about RDF statements with default rules. Rule Languages for Interoperability 2005
29EEAlessandro Provetti: A primer on Answer Set Programming CoRR abs/cs/0508100: (2005)
28EEStefania 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
26EEMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Declarative Policies for Grid Service Selection. ECOWS 2004: 102-115
25EEMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Grid Service Selection with PPDL. ICLP 2004: 464-466
24EEMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Policies for Grid Service Selection. ICWS 2004: 828-829
23EELuca Padovani, Alessandro Provetti: Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA 2004: 689-692
22EEStefania 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
18EEElisa 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
16EEStefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302
15EEStefania 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
13EEAlberto 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
9EEChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998)
8EEChitta 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
1EEAlessandro Provetti: Hypothetical Reasoning from Situation Calculus to Event Calculus. TIME 1994: 42-47

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)