Alessandro Provetti

99 papers A* 1A 3B 3C 8Journal 47Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Dr Web: a modern, query-based web data retrieval engine. CoRR Ylli Prifti, Alessandro Provetti, Pasquale De Meo
2025	—	`conf`	Resource Allocation with Cooperative Agents. ICLP Workshops Stefania Costantini, Giovanni De Gasperis, Pasquale De Meo, Francesco Gullo, Alessandro Provetti
2025	J	`jnl`	Trust Models Go to the Web: Learning How to Trust Strangers. ACM Trans. Web Pasquale De Meo, Ylli Prifti, Alessandro Provetti
2024	J	`jnl`	Sentiment and time-series analysis of direct-message conversations. Forensic Sci. Int. Digit. Investig. Martyn Harris, Jessica Jacobson, Alessandro Provetti
2024	—	`conf`	The Limits of Influence Maximisation in Online Social Networks. SNAMS Stefania Costantini, Giovanna Costanzo, Pasquale De Meo, Rino Falcone, Fabio Persia, Alessandro Provetti
2023	J	`jnl`	A right kind of wrong: European equity market forecasting with custom feature engineering and loss functions. Expert Syst. Appl. Alberto Matuozzo, Paul D. Yoo, Alessandro Provetti
2023	J	`jnl`	Branching processes reveal influential nodes in social networks. Inf. Sci. Pasquale De Meo, Mark Levene, Alessandro Provetti
2022	J	`jnl`	A Hybrid Model for Forecasting Short-Term Electricity Demand. CoRR Maria Eleni Athanasopoulou, Justina Deveikyte, Alan Mosca, Ilaria Peri, Alessandro Provetti
2022	J	`jnl`	A sentiment analysis approach to the prediction of market volatility. Frontiers Artif. Intell. Justina Deveikyte, Helyette Geman, Carlo Piccari, Alessandro Provetti
2022	—	`conf`	Machine Learning Methods for Equity Time Series Forecasting: A Compendium. AMLTS Alberto Matuozzo, Paul D. Yoo, Alessandro Provetti, Maria H. Kim
2022	C	`conf`	Predicting Seriousness of Injury in a Traffic Accident: A New Imbalanced Dataset and Benchmark. EANN Paschalis Lagias, George D. Magoulas, Ylli Prifti, Alessandro Provetti
2022	J	`jnl`	Predicting Seriousness of Injury in a Traffic Accident: A New Imbalanced Dataset and Benchmark. CoRR Paschalis Lagias, George D. Magoulas, Ylli Prifti, Alessandro Provetti
2021	—	`conf`	A hybrid model for forecasting short-term electricity demand. ICAIF Maria Eleni Athanasopoulou, Justina Deveikyte, Alan Mosca, Ilaria Peri, Alessandro Provetti
2020	J	`jnl`	A General Centrality Framework-Based on Node Navigability. IEEE Trans. Knowl. Data Eng. Pasquale De Meo, Mark Levene, Fabrizio Messina, Alessandro Provetti
2020	J	`jnl`	A Sentiment Analysis Approach to the Prediction of Market Volatility. CoRR Justina Deveikyte, Helyette Geman, Carlo Piccari, Alessandro Provetti
2020	J	`jnl`	COVID-19 Contact Tracing: Eight Privacy Questions Explored. CoRR Hugh Lawson-Tancred, Henry C. W. Price, Alessandro Provetti
2020	J	`jnl`	Exploring Low-degree Nodes First Accelerates Network Exploration. CoRR Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia
2020	—	`conf`	Exploring Low-degree nodes first accelerates Network Exploration. WebSci Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia
2020	J	`jnl`	Potential gain as a centrality measure. CoRR Pasquale De Meo, Mark Levene, Alessandro Provetti
2019	B	`conf`	Potential gain as a centrality measure. WI Pasquale De Meo, Mark Levene, Alessandro Provetti
2018	J	`jnl`	Computing a Score of Navigability in Large Graphs. CoRR Pasquale De Meo, Mark Levene, Fabrizio Messina, Alessandro Provetti
2015	J	`jnl`	A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems. CoRR Alessandro Provetti, Andrea Zucchellini
2015	—	`conf`	A case study on graph-based planning for emergency evacuation. CILC Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti
2015	J	`jnl`	Adaptive Search over Sorted Sets. CoRR Biagio Bonasera, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano, Alessandro Provetti
2015	J	`jnl`	Adaptive search over sorted sets. J. Discrete Algorithms Biagio Bonasera, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano, Alessandro Provetti
2015	J	`jnl`	Analysis of a Heterogeneous Social Network of Humans and Cultural Objects. IEEE Trans. Syst. Man Cybern. Syst. Santa Agreste, Pasquale De Meo, Emilio Ferrara, Sebastiano Antonio Piccolo, Alessandro Provetti
2015	J	`jnl`	MORE: Merged Opinions Reputation Model. CoRR Nardine Osman, Alessandro Provetti, Valerio Riggi, Carles Sierra
2015	J	`jnl`	Qsmodels: ASP Planning in Interactive Gaming Environment. CoRR Luca Padovani, Alessandro Provetti
2015	J	`jnl`	RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality. CoRR Carlo Bernava, Giacomo Fiumara, Dario Maggiorini, Alessandro Provetti, Laura Anna Ripamonti
2015	J	`jnl`	Trust Networks: Topology, Dynamics, and Measurements. IEEE Internet Comput. Santa Agreste, Pasquale De Meo, Emilio Ferrara, Sebastiano Antonio Piccolo, Alessandro Provetti
2014	J	`jnl`	Analysis of a heterogeneous social network of humans and cultural objects. CoRR Santa Agreste, Pasquale De Meo, Emilio Ferrara, Sebastiano Antonio Piccolo, Alessandro Provetti
2014	J	`jnl`	Characterizing and computing stable models of logic programs: The non-stratified case. CoRR Gianpaolo Brignoli, Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti
2014	C	`conf`	MORE: Merged Opinions Reputation Model. EUMAS Nardine Osman, Alessandro Provetti, Valerio Riggi, Carles Sierra
2014	J	`jnl`	Mixing local and global information for community detection in large networks. J. Comput. Syst. Sci. Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2014	J	`jnl`	On Facebook, most ties are weak. Commun. ACM Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2014	J	`jnl`	RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality. Comput. Math. Organ. Theory Carlo Bernava, Giacomo Fiumara, Dario Maggiorini, Alessandro Provetti, Laura Anna Ripamonti
2013	J	`jnl`	Enhancing community detection using a network weighting strategy CoRR Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2013	J	`jnl`	Enhancing community detection using a network weighting strategy. Inf. Sci. Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2013	J	`jnl`	Mixing local and global information for community detection in large networks CoRR Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2012	—	`ch.`	Extraction and Analysis of Facebook Friendship Relations. Computational Social Networks Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2012	—	`conf`	Firewall Configuration Policies for the Specification and Implementation of Private Zones. POLICY Jorge Lobo, Massimo Marchi, Alessandro Provetti
2012	J	`jnl`	The role of strong and weak ties in Facebook: a community structure perspective CoRR Emilio Ferrara, Pasquale De Meo, Giacomo Fiumara, Alessandro Provetti
2011	—	`conf`	A rule-based system for end-user e-mail annotations. CEAS Giacomo Fiumara, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti, N. Spada
2011	—	`conf`	Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs. GKR Stefania Costantini, Alessandro Provetti
2011	J	`jnl`	Crawling Facebook for Social Network Analysis Purposes CoRR Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2011	—	`conf`	Crawling Facebook for social network analysis purposes. WIMS Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2011	—	`conf`	Formalization and Automated reasoning about a Complex Signalling Network. CILC Annamaria Basile, Maria Rosa Felice, Alessandro Provetti
2011	J	`jnl`	Generalized Louvain Method for Community Detection in Large Networks CoRR Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2011	C	`conf`	Generalized Louvain method for community detection in large networks. ISDA Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2011	—	`conf`	Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case. DASFAA (2) Maria Amalfi, Alessandro Artale, Andrea Calì, Alessandro Provetti
2011	J	`jnl`	Improving Recommendation Quality by Merging Collaborative Filtering and Social Relationships CoRR Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2011	C	`conf`	Improving recommendation quality by merging collaborative filtering and social relationships. ISDA Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti
2011	—	`conf`	Recollections on Michael Gelfond's 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Alessandro Provetti
2010	J	`jnl`	A Lower Bound for Answer Set Solver Computation. Inteligencia Artif. Stefania Costantini, Alessandro Provetti
2010	C	`conf`	Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds. PRO-VE Giacomo Fiumara, Dario Maggiorini, Alessandro Provetti, Laura Anna Ripamonti
2010	—	`conf`	Rule-Based Spam E-mail Annotation. RR Giacomo Fiumara, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti
2009	—	`conf`	A Lower-Bound for Answer Set Solver Computation. LA-NMR Stefania Costantini, Alessandro Provetti
2009	J	`jnl`	Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures. J. Log. Comput. Giuliano Grossi, Massimo Marchi, Enrico Pontelli, Alessandro Provetti
2009	—	`conf`	Flexible Interpolated-Binary Search over Sorted Sets. ICTCS Biagio Bonasera, Francesco Pagano, Alessandro Provetti
2007	—	`conf`	Adaptive Web Data Extraction Policies. POLICY Giacomo Fiumara, Massimo Marchi, Alessandro Provetti
2007	—	`conf`	Policy-Based Parametric Firewall Configuration: A Real-Case Application. POLICY Massimo Marchi, Romeo Penzo, Alessandro Provetti
2006	—	`conf`	A Lightweight Architecture for RSS Polling of Arbitrary Web sources. WOA Sergio Bossa, Giacomo Fiumara, Alessandro Provetti
2006	—	`conf`	Aggregating Information and Enforcing Awareness Across Communities with the Dynamo RSS Feeds Creation Engine: Preliminary Report. OTM Workshops (1) Fiorella de Cindio, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti, Laura Anna Ripamonti, Leonardo Sonnante
2006	—	`conf`	Declarative Web data extraction and annotation. WLP Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti
2006	A	`conf`	Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. ECAI Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti
2005	J	`jnl`	A primer on Answer Set Programming CoRR Alessandro Provetti
2005	—	`ed.`	Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005 Answer Set Programming Marina De Vos, Alessandro Provetti
2005	—	`conf`	Declarative Policies for Web Service Selection. POLICY Massimo Marchi, Alessandra Mileo, Alessandro Provetti
2005	J	`jnl`	Normal forms for answer sets programming. Theory Pract. Log. Program. Stefania Costantini, Alessandro Provetti
2005	—	`conf`	PDL with Preferences. POLICY Elisa Bertino, Alessandra Mileo, Alessandro Provetti
2005	—	`conf`	Reasoning about RDF statements with default rules. Rule Languages for Interoperability Elisa Bertino, Alessandro Provetti, Franco Salvetti
2004	B	`conf`	Grid Service Selection with PPDL. ICLP Massimo Marchi, Alessandra Mileo, Alessandro Provetti
2004	—	`ed.`	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 LA-NMR Mauricio Osorio, Alessandro Provetti
2004	J	`jnl`	Normal forms for Answer Sets Programming CoRR Stefania Costantini, Alessandro Provetti
2004	B	`conf`	Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA Luca Padovani, Alessandro Provetti
2004	—	`conf`	Specification and Execution of Declarative Policies for Grid Service Selection. ECOWS Massimo Marchi, Alessandra Mileo, Alessandro Provetti
2004	A	`conf`	Specification and Execution of Policies for Grid Service Selection. ICWS Massimo Marchi, Alessandra Mileo, Alessandro Provetti
2003	—	`ed.`	Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003 Answer Set Programming Marina De Vos, Alessandro Provetti
2003	J	`jnl`	Introduction to the special issue on Programming with Answer Sets. Theory Pract. Log. Program. Chitta Baral, Alessandro Provetti, Tran Cao Son
2003	—	`conf`	Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE Elisa Bertino, Alessandro Provetti, Franco Salvetti
2003	C	`conf`	PDL with Maximum Consistency Monitors. ISMIS Elisa Bertino, Alessandra Mileo, Alessandro Provetti
2003	—	`conf`	User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE Elisa Bertino, Alessandra Mileo, Alessandro Provetti
2002	C	`conf`	Disjunctive Logic Programs with Inheritance Revisited. ISMIS Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son
2002	J	`jnl`	On the equivalence and range of applicability of graph-based representations of logic programs. Inf. Process. Lett. Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti
2001	J	`jnl`	AAAI 2001 Spring Symposium Series Reports. AI Mag. 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
2001	—	`ed.`	Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001 Answer Set Programming Alessandro Provetti, Tran Cao Son
2001	—	`conf`	The Prospect for Answer Sets Computation by a Genetic Model. Answer Set Programming Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari
2000	—	`conf`	Experiments in Answer Sets Planning. MICAI Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti
1998	J	`jnl`	Formalizing Narratives Using Nested Circumscription. Artif. Intell. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1998	—	`conf`	Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. APPIA-GULP-PRODE Gaetano Aurelio Lanzarone, Alessandro Provetti
1998	J	`jnl`	Value Minimization in Circumscription. Artif. Intell. Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1997	—	`conf`	Action Specifications in log. APPIA-GULP-PRODE Alessandro Provetti, Gianfranco Rossi
1997	J	`jnl`	Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. Chitta Baral, Michael Gelfond, Alessandro Provetti
1996	—	`conf`	Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1996	J	`jnl`	Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. Comput. Intell. Alessandro Provetti
1996	J	`jnl`	Ordering events: Intervals are sufficient, more general sets are usually not necessary. Reliab. Comput. Alessandro Provetti
1996	A*	`conf`	Value Minimization in Circumscription. KR Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
1994	C	`conf`	Hypothetical Reasoning from Situation Calculus to Event Calculus. TIME Alessandro Provetti
1994	A	`conf`	Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI Luca Chittaro, Angelo Montanari, Alessandro Provetti