Skeptical and Credulous Event Calculi for Supporting Modal Queries. - Luca Chittaro; Angelo Montanari; Alessandro Provetti (ECAI, 1994)

Hypothetical Reasoning from Situation Calculus to Event Calculus. - Alessandro Provetti (TIME, 1994)

Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. - Alessandro Provetti (Comput. Intell., 1996)

Ordering events: Intervals are sufficient, more general sets are usually not necessary. - Alessandro Provetti (Reliab. Comput., 1996)

Action Specifications in log. - Alessandro Provetti; Gianfranco Rossi (APPIA-GULP-PRODE, 1997)

Representing Actions: Laws, Observations and Hypotheses. - Chitta Baral; Michael Gelfond; Alessandro Provetti (J. Log. Program., 1997)

Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. - Gaetano Aurelio Lanzarone; Alessandro Provetti (APPIA-GULP-PRODE, 1998)

Value Minimization in Circumscription. - Chitta Baral; Alfredo Gabaldon; Alessandro Provetti (Artif. Intell., 1998)

Formalizing Narratives Using Nested Circumscription. - Chitta Baral; Alfredo Gabaldon; Alessandro Provetti (Artif. Intell., 1998)

Experiments in Answer Sets Planning. - Marcello Balduccini; Gianpaolo Brignoli; Gaetano Aurelio Lanzarone; F. Magni; Alessandro Provetti (MICAI, 2000)

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

AAAI 2001 Spring Symposium Series Reports. - 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 (AI Mag., 2001)

Disjunctive Logic Programs with Inheritance Revisited. - Stefania Costantini; Ramón P. Otero; Alessandro Provetti; Tran Cao Son (ISMIS, 2002)

On the equivalence and range of applicability of graph-based representations of logic programs. - Stefania Costantini; Ottavio M. D'Antona; Alessandro Provetti (Inf. Process. Lett., 2002)

User Preferences VS Minimality in PPDL. - Elisa Bertino; Alessandra Mileo; Alessandro Provetti (APPIA-GULP-PRODE, 2003)

Local Closed-World Assumptions for reasoning about Semantic Web data. - Elisa Bertino; Alessandro Provetti; Franco Salvetti (APPIA-GULP-PRODE, 2003)

PDL with Maximum Consistency Monitors. - Elisa Bertino; Alessandra Mileo; Alessandro Provetti (ISMIS, 2003)

Introduction to the special issue on Programming with Answer Sets. - Chitta Baral; Alessandro Provetti; Tran Cao Son (Theory Pract. Log. Program., 2003)

Specification and Execution of Declarative Policies for Grid Service Selection. - Massimo Marchi; Alessandra Mileo; Alessandro Provetti (ECOWS, 2004)

Grid Service Selection with PPDL. - Massimo Marchi; Alessandra Mileo; Alessandro Provetti (ICLP, 2004)

Specification and Execution of Policies for Grid Service Selection. - Massimo Marchi; Alessandra Mileo; Alessandro Provetti (ICWS, 2004)

Qsmodels: ASP Planning in Interactive Gaming Environment. - Luca Padovani; Alessandro Provetti (JELIA, 2004)

PDL with Preferences. - Elisa Bertino; Alessandra Mileo; Alessandro Provetti (POLICY, 2005)

Declarative Policies for Web Service Selection. - Massimo Marchi; Alessandra Mileo; Alessandro Provetti (POLICY, 2005)

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

A primer on Answer Set Programming - Alessandro Provetti (CoRR, 2005)

Normal forms for answer sets programming. - Stefania Costantini; Alessandro Provetti (Theory Pract. Log. Program., 2005)

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

Aggregating Information and Enforcing Awareness Across Communities with the Dynamo RSS Feeds Creation Engine: Preliminary Report. - Fiorella de Cindio; Giacomo Fiumara; Massimo Marchi; Alessandro Provetti; Laura Anna Ripamonti; Leonardo Sonnante (OTM Workshops (1), 2006)

Declarative Web data extraction and annotation. - Carlo Bernardoni; Giacomo Fiumara; Massimo Marchi; Alessandro Provetti (WLP, 2006)

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

Adaptive Web Data Extraction Policies. - Giacomo Fiumara; Massimo Marchi; Alessandro Provetti (POLICY, 2007)

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

Flexible Interpolated-Binary Search over Sorted Sets. - Biagio Bonasera; Francesco Pagano; Alessandro Provetti (ICTCS, 2009)

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

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

Rule-Based Spam E-mail Annotation. - Giacomo Fiumara; Massimo Marchi; Rosamaria Pagano; Alessandro Provetti (RR, 2010)

A Lower Bound for Answer Set Solver Computation. - Stefania Costantini; Alessandro Provetti (Inteligencia Artif., 2010)

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

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

Formalization and Automated reasoning about a Complex Signalling Network. - Annamaria Basile; Maria Rosa Felice; Alessandro Provetti (CILC, 2011)

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)

Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs. - Stefania Costantini; Alessandro Provetti (GKR, 2011)

Generalized Louvain method for community detection in large networks. - Pasquale De Meo; Emilio Ferrara; Giacomo Fiumara; Alessandro Provetti (ISDA, 2011)

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

Crawling Facebook for social network analysis purposes. - Salvatore Catanese; Pasquale De Meo; Emilio Ferrara; Giacomo Fiumara; Alessandro Provetti (WIMS, 2011)

Extraction and Analysis of Facebook Friendship Relations. - Salvatore Catanese; Pasquale De Meo; Emilio Ferrara; Giacomo Fiumara; Alessandro Provetti (Computational Social Networks, 2012)

Firewall Configuration Policies for the Specification and Implementation of Private Zones. - Jorge Lobo 001; Massimo Marchi; Alessandro Provetti (POLICY, 2012)

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

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

MORE: Merged Opinions Reputation Model. - Nardine Osman 001; Alessandro Provetti; Valerio Riggi; Carles Sierra (EUMAS, 2014)

On Facebook, most ties are weak. - Pasquale De Meo; Emilio Ferrara; Giacomo Fiumara; Alessandro Provetti (Commun. ACM, 2014)

RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality. - Carlo Bernava; Giacomo Fiumara; Dario Maggiorini; Alessandro Provetti; Laura Anna Ripamonti (Comput. Math. Organ. Theory, 2014)

Characterizing and computing stable models of logic programs: The non-stratified case. - Gianpaolo Brignoli; Stefania Costantini; Ottavio M. D'Antona; Alessandro Provetti (CoRR, 2014)

Mixing local and global information for community detection in large networks. - Pasquale De Meo; Emilio Ferrara; Giacomo Fiumara; Alessandro Provetti (J. Comput. Syst. Sci., 2014)

A case study on graph-based planning for emergency evacuation. - Santa Agreste; Pasquale De Meo; Massimo Marchi; Maria Francesca Milazzo; Salvatore Nunnari; Alessandro Provetti (CILC, 2015)

A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems. - Alessandro Provetti; Andrea Zucchellini (CoRR, 2015)

Trust Networks: Topology, Dynamics, and Measurements. - Santa Agreste; Pasquale De Meo; Emilio Ferrara; Sebastiano Antonio Piccolo; Alessandro Provetti (IEEE Internet Comput., 2015)

Adaptive search over sorted sets. - Biagio Bonasera; Emilio Ferrara; Giacomo Fiumara; Francesco Pagano; Alessandro Provetti (J. Discrete Algorithms, 2015)

Analysis of a Heterogeneous Social Network of Humans and Cultural Objects. - Santa Agreste; Pasquale De Meo; Emilio Ferrara; Sebastiano Antonio Piccolo; Alessandro Provetti (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Computing a Score of Navigability in Large Graphs. - Pasquale De Meo; Mark Levene; Fabrizio Messina; Alessandro Provetti (CoRR, 2018)

Potential gain as a centrality measure. - Pasquale De Meo; Mark Levene; Alessandro Provetti (WI, 2019)

Exploring Low-degree nodes first accelerates Network Exploration. - Stefania Costantini; Pasquale De Meo; Angelo Giorgianni; Valentina Migliorato; Alessandro Provetti; Federico Salvia (WebSci, 2020)

COVID-19 Contact Tracing: Eight Privacy Questions Explored. - Hugh Lawson-Tancred; Henry C. W. Price; Alessandro Provetti (CoRR, 2020)

A General Centrality Framework-Based on Node Navigability. - Pasquale De Meo; Mark Levene; Fabrizio Messina; Alessandro Provetti (IEEE Trans. Knowl. Data Eng., 2020)

A hybrid model for forecasting short-term electricity demand. - Maria Eleni Athanasopoulou; Justina Deveikyte; Alan Mosca; Ilaria Peri; Alessandro Provetti (ICAIF, 2021)

Machine Learning Methods for Equity Time Series Forecasting: A Compendium. - Alberto Matuozzo; Paul D. Yoo; Alessandro Provetti; Maria H. Kim (AMLTS, 2022)

Predicting Seriousness of Injury in a Traffic Accident: A New Imbalanced Dataset and Benchmark. - Paschalis Lagias; George D. Magoulas; Ylli Prifti; Alessandro Provetti (EANN, 2022)

A sentiment analysis approach to the prediction of market volatility. - Justina Deveikyte; Helyette Geman; Carlo Piccari; Alessandro Provetti (Frontiers Artif. Intell., 2022)

A right kind of wrong: European equity market forecasting with custom feature engineering and loss functions. - Alberto Matuozzo; Paul D. Yoo; Alessandro Provetti (Expert Syst. Appl., 2023)

Branching processes reveal influential nodes in social networks. - Pasquale De Meo; Mark Levene; Alessandro Provetti (Inf. Sci., 2023)

The Limits of Influence Maximisation in Online Social Networks. - Stefania Costantini; Giovanna Costanzo; Pasquale De Meo; Rino Falcone; Fabio Persia; Alessandro Provetti (SNAMS, 2024)

Sentiment and time-series analysis of direct-message conversations. - Martyn Harris; Jessica Jacobson; Alessandro Provetti (Forensic Sci. Int. Digit. Investig., 2024)

Dr Web: a modern, query-based web data retrieval engine. - Ylli Prifti; Alessandro Provetti; Pasquale De Meo (CoRR, 2025)

Trust Models Go to the Web: Learning How to Trust Strangers. - Pasquale De Meo; Ylli Prifti; Alessandro Provetti (ACM Trans. Web, 2025)