Alessandro Provetti Coauthor index DBLP Vis pubzone.org

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

DBLP keys2007
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Marchi, Romeo Penzo, Alessandro Provetti: Policy-Based Parametric Firewall Configuration: A Real-Case Application. POLICY 2007: 276
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiacomo Fiumara, Massimo Marchi, Alessandro Provetti: Adaptive Web Data Extraction Policies. POLICY 2007: 281
2006
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti: Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. ECAI 2006: 737-738
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFiorella 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti: Declarative Web data extraction and annotation. WLP 2006: 137-144
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Bossa, Giacomo Fiumara, Alessandro Provetti: A Lightweight Architecture for RSS Polling of Arbitrary Web sources. WOA 2006
2005
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Alessandra Mileo, Alessandro Provetti: PDL with Preferences. POLICY 2005: 213-222
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Declarative Policies for Web Service Selection. POLICY 2005: 239-242
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Alessandro Provetti, Franco Salvetti: Reasoning about RDF statements with default rules. Rule Languages for Interoperability 2005
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Provetti: A primer on Answer Set Programming CoRR abs/cs/0508100: (2005)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Costantini, Alessandro Provetti: Normal forms for answer sets programming. TPLP 5(6): 747-760 (2005)
2004
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauricio 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Declarative Policies for Grid Service Selection. ECOWS 2004: 102-115
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Grid Service Selection with PPDL. ICLP 2004: 464-466
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Policies for Grid Service Selection. ICWS 2004: 828-829
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Padovani, Alessandro Provetti: Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA 2004: 689-692
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Costantini, Alessandro Provetti: Normal forms for Answer Sets Programming CoRR cs.AI/0410014: (2004)
2003
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Alessandra Mileo, Alessandro Provetti: User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE 2003: 110-122
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Alessandro Provetti, Franco Salvetti: Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE 2003: 314-323
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Alessandra Mileo, Alessandro Provetti: PDL with Maximum Consistency Monitors. ISMIS 2003: 65-74
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alessandro Provetti, Tran Cao Son: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003)
2002
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari: The Prospect for Answer Sets Computation by a Genetic Model. Answer Set Programming 2001
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLorraine 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti: Experiments in Answer Sets Planning. MICAI 2000: 95-107
1998
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGaetano Aurelio Lanzarone, Alessandro Provetti: Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. APPIA-GULP-PRODE 1998: 201-214
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998)
1997
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Provetti, G. Rossi: Action Specifications in log. APPIA-GULP-PRODE 1997: 381-392
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)
1996
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996: 652-657
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. KR 1996: 474-481
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Provetti: Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. Computational Intelligence 12: 478-498 (1996)
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Chittaro, Angelo Montanari, Alessandro Provetti: Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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 © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)