| 2011 |
|---|
| 16 | Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. Maria Amalfi, Alessandro Artale, Andrea Calì, Alessandro Provetti. DASFAA (2) 2011, 225-234. Web SearchBibTeXDownload |
| 2005 |
|---|
| 15 | PDL with Preferences. Elisa Bertino, Alessandra Mileo, Alessandro Provetti. POLICY 2005, 213-222. Cited by 12Web SearchBibTeXDownload |
| 14 | Reasoning about RDF statements with default rules. Elisa Bertino, Alessandro Provetti, Franco Salvetti. Rule Languages for Interoperability 2005. Cited by 2Web SearchBibTeXDownload |
| 2003 |
|---|
| 13 | Local Closed-World Assumptions for reasoning about Semantic Web data. Elisa Bertino, Alessandro Provetti, Franco Salvetti. APPIA-GULP-PRODE 2003, 314-323. Cited by 5Web SearchBibTeX |
| 12 | User Preferences VS Minimality in PPDL. Elisa Bertino, Alessandra Mileo, Alessandro Provetti. APPIA-GULP-PRODE 2003, 110-122. Web SearchBibTeX |
| 11 | PDL with Maximum Consistency Monitors. Elisa Bertino, Alessandra Mileo, Alessandro Provetti. ISMIS 2003, 65-74. Cited by 6Web SearchBibTeXDownload |
| 10 | Introduction to the special issue on Programming with Answer Sets. Chitta Baral, Alessandro Provetti, Tran Cao Son. TPLP (3): 387-391 (2003). Web SearchBibTeXDownload |
| 2002 |
|---|
| 9 | Disjunctive Logic Programs with Inheritance Revisited. Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son. ISMIS 2002, 294-302. Web SearchBibTeXDownload |
| 2001 |
|---|
| 8 | AAAI 2001 Spring Symposium Series Reports. Carolyn Penstein Rosé, Ella M. Atkins, Mathias Bauer, Charles Rich, Paul R. Cohen, Alan C. Schultz, Michael Freed, Alonso H. Vera, Kerstin Dautenhahn, Tran Cao Son. AI Magazine (22): 112-116 (2001). Web SearchBibTeX |
| 7 | The Prospect for Answer Sets Computation by a Genetic Model. Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari. Answer Set Programming 2001. Web SearchBibTeXDownload |
| 1998 |
|---|
| 6 | Formalizing Narratives Using Nested Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. Artif. Intell. (104): 107-164 (1998). Web SearchBibTeXDownload |
| 5 | Value Minimization in Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. Artif. Intell. (102): 163-186 (1998). Web SearchBibTeXDownload |
| 1997 |
|---|
| 4 | Representing Actions: Laws, Observations and Hypotheses. Chitta Baral, Michael Gelfond, Alessandro Provetti. J. Log. Program. (31): 201-243 (1997). Web SearchBibTeXDownload |
| 1996 |
|---|
| 3 | Formalizing Narratives Using Nested Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. AAAI/IAAI, Vol. 1 1996, 652-657. Web SearchBibTeX |
| 2 | Value Minimization in Circumscription. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti. KR 1996, 474-481. Web SearchBibTeX |
| 1994 |
|---|
| 1 | Skeptical and Credulous Event Calculi for Supporting Modal Queries. Luca Chittaro, Angelo Montanari, Alessandro Provetti. ECAI 1994, 361-365. Web SearchBibTeX |
