Alessandro Provetti

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Enhancing community detection using a network weighting strategy. Inf. Sci. 222: 648-668 (2013)

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Mixing local and global information for community detection in large networks. CoRR abs/1303.1738 (2013)

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Enhancing community detection using a network weighting strategy. CoRR abs/1303.1741 (2013)

Jorge Lobo, Massimo Marchi, Alessandro Provetti: Firewall Configuration Policies for the Specification and Implementation of Private Zones. POLICY 2012: 78-85

Emilio Ferrara, Pasquale De Meo, Giacomo Fiumara, Alessandro Provetti: The role of strong and weak ties in Facebook: a community structure perspective. CoRR abs/1203.0535 (2012)

Alessandro Provetti: Recollections on Michael Gelfond's 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 191-192

Giacomo Fiumara, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti, N. Spada: A rule-based system for end-user e-mail annotations. CEAS 2011: 102-108

Annamaria Basile, Maria Rosa Felice, Alessandro Provetti: Formalization and Automated reasoning about a Complex Signalling Network. CILC 2011: 407-414

Maria Amalfi, Alessandro Artale, Andrea Calì, Alessandro Provetti: Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. DASFAA (2) 2011: 225-234

Stefania Costantini, Alessandro Provetti: Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs. GKR 2011: 68-90

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Generalized Louvain method for community detection in large networks. ISDA 2011: 88-93

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Improving recommendation quality by merging collaborative filtering and social relationships. ISDA 2011: 587-592

Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Crawling Facebook for social network analysis purposes. WIMS 2011: 52

Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Crawling Facebook for Social Network Analysis Purposes. CoRR abs/1105.6307 (2011)

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Generalized Louvain Method for Community Detection in Large Networks. CoRR abs/1108.1502 (2011)

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti: Improving Recommendation Quality by Merging Collaborative Filtering and Social Relationships. CoRR abs/1109.6698 (2011)

Stefania Costantini, Alessandro Provetti: A Lower Bound for Answer Set Solver Computation. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48): 41-52 (2010)

Giacomo Fiumara, Dario Maggiorini, Alessandro Provetti, Laura Anna Ripamonti: Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds. PRO-VE 2010: 619-625

Giacomo Fiumara, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti: Rule-Based Spam E-mail Annotation. RR 2010: 231-234

Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti: Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures. J. Log. Comput. 19(4): 697-715 (2009)

Biogio Bonasera, Francesco Pagano, Alessandro Provetti: Flexible Interpolated-Binary Search over Sorted Sets. ICTCS 2009: 51-54

Stefania Costantini, Alessandro Provetti: A Lower-Bound for Answer Set Solver Computation. LA-NMR 2009: 183-198

Massimo Marchi, Romeo Penzo, Alessandro Provetti: Policy-Based Parametric Firewall Configuration: A Real-Case Application. POLICY 2007: 276

Giacomo Fiumara, Massimo Marchi, Alessandro Provetti: Adaptive Web Data Extraction Policies. POLICY 2007: 281

Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti: Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. ECAI 2006: 737-738

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

Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti: Declarative Web data extraction and annotation. WLP 2006: 137-144

Sergio Bossa, Giacomo Fiumara, Alessandro Provetti: A Lightweight Architecture for RSS Polling of Arbitrary Web sources. WOA 2006

Stefania Costantini, Alessandro Provetti: Normal forms for answer sets programming. TPLP 5(6): 747-760 (2005)

Elisa Bertino, Alessandra Mileo, Alessandro Provetti: PDL with Preferences. POLICY 2005: 213-222

Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Declarative Policies for Web Service Selection. POLICY 2005: 239-242

Elisa Bertino, Alessandro Provetti, Franco Salvetti: Reasoning about RDF statements with default rules. Rule Languages for Interoperability 2005

Marina De Vos, Alessandro Provetti (Eds.): Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005. CEUR Workshop Proceedings 142, CEUR-WS.org 2005

Alessandro Provetti: A primer on Answer Set Programming. CoRR abs/cs/0508100 (2005)

Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Declarative Policies for Grid Service Selection. ECOWS 2004: 102-115

Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Grid Service Selection with PPDL. ICLP 2004: 464-466

Massimo Marchi, Alessandra Mileo, Alessandro Provetti: Specification and Execution of Policies for Grid Service Selection. ICWS 2004: 828-829

Luca Padovani, Alessandro Provetti: Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA 2004: 689-692

Mauricio Osorio, Alessandro Provetti (Eds.): 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 Workshop Proceedings 92, CEUR-WS.org 2004

Stefania Costantini, Alessandro Provetti: Normal forms for Answer Sets Programming. CoRR cs.AI/0410014 (2004)

Chitta Baral, Alessandro Provetti, Tran Cao Son: Introduction to the special issue on Programming with Answer Sets. TPLP 3(4-5): 387-391 (2003)

Elisa Bertino, Alessandra Mileo, Alessandro Provetti: User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE 2003: 110-122

Elisa Bertino, Alessandro Provetti, Franco Salvetti: Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE 2003: 314-323

Elisa Bertino, Alessandra Mileo, Alessandro Provetti: PDL with Maximum Consistency Monitors. ISMIS 2003: 65-74

Marina De Vos, Alessandro Provetti (Eds.): Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003. CEUR Workshop Proceedings 78, CEUR-WS.org 2003

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)

Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son: Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302

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)

Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari: The Prospect for Answer Sets Computation by a Genetic Model. Answer Set Programming 2001

Alessandro Provetti, Tran Cao Son (Eds.): Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, March 26-28, 2001. 2001

Marcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti: Experiments in Answer Sets Planning. MICAI 2000: 95-107

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998)

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998)

Gaetano Aurelio Lanzarone, Alessandro Provetti: Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. APPIA-GULP-PRODE 1998: 201-214

Chitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997)

Alessandro Provetti, G. Rossi: Action Specifications in log. APPIA-GULP-PRODE 1997: 381-392

Alessandro Provetti: Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. Computational Intelligence 12: 478-498 (1996)

Alessandro Provetti: Ordering events: Intervals are sufficient, more general sets are usually not necessary. Reliable Computing 2(3): 321-327 (1996)

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996: 652-657

Chitta Baral, Alfredo Gabaldon, Alessandro Provetti: Value Minimization in Circumscription. KR 1996: 474-481

Luca Chittaro, Angelo Montanari, Alessandro Provetti: Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365

Alessandro Provetti: Hypothetical Reasoning from Situation Calculus to Event Calculus. TIME 1994: 42-47