![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Alessandro Provetti
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Martyn Harris, Jessica Jacobson, Alessandro Provetti
:
Sentiment and time-series analysis of direct-message conversations. Forensic Sci. Int. Digit. Investig. 49: 301753 (2024) - 2023
- [j22]Alberto Matuozzo
, Paul D. Yoo
, Alessandro Provetti
:
A right kind of wrong: European equity market forecasting with custom feature engineering and loss functions. Expert Syst. Appl. 223: 119854 (2023) - [j21]Pasquale De Meo
, Mark Levene, Alessandro Provetti
:
Branching processes reveal influential nodes in social networks. Inf. Sci. 644: 119201 (2023) - 2022
- [j20]Justina Deveikyte, Helyette Geman, Carlo Piccari, Alessandro Provetti
:
A sentiment analysis approach to the prediction of market volatility. Frontiers Artif. Intell. 5 (2022) - [c45]Alberto Matuozzo, Paul D. Yoo, Alessandro Provetti, Maria H. Kim:
Machine Learning Methods for Equity Time Series Forecasting: A Compendium. AMLTS 2022 - [c44]Paschalis Lagias, George D. Magoulas
, Ylli Prifti
, Alessandro Provetti
:
Predicting Seriousness of Injury in a Traffic Accident: A New Imbalanced Dataset and Benchmark. EANN 2022: 412-423 - [i22]Paschalis Lagias, George D. Magoulas, Ylli Prifti, Alessandro Provetti:
Predicting Seriousness of Injury in a Traffic Accident: A New Imbalanced Dataset and Benchmark. CoRR abs/2205.10441 (2022) - [i21]Maria Eleni Athanasopoulou, Justina Deveikyte, Alan Mosca, Ilaria Peri, Alessandro Provetti:
A Hybrid Model for Forecasting Short-Term Electricity Demand. CoRR abs/2205.10449 (2022) - 2021
- [c43]Maria Eleni Athanasopoulou, Justina Deveikyte, Alan Mosca, Ilaria Peri, Alessandro Provetti
:
A hybrid model for forecasting short-term electricity demand. ICAIF 2021: 6:1-6:6 - 2020
- [j19]Pasquale De Meo
, Mark Levene
, Fabrizio Messina
, Alessandro Provetti
:
A General Centrality Framework-Based on Node Navigability. IEEE Trans. Knowl. Data Eng. 32(11): 2088-2100 (2020) - [c42]Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia:
Exploring Low-degree nodes first accelerates Network Exploration. WebSci 2020: 241-249 - [i20]Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia:
Exploring Low-degree Nodes First Accelerates Network Exploration. CoRR abs/2005.08050 (2020) - [i19]Pasquale De Meo, Mark Levene, Alessandro Provetti:
Potential gain as a centrality measure. CoRR abs/2005.08959 (2020) - [i18]Hugh Lawson-Tancred, Henry C. W. Price, Alessandro Provetti:
COVID-19 Contact Tracing: Eight Privacy Questions Explored. CoRR abs/2005.11416 (2020) - [i17]Justina Deveikyte, Helyette Geman, Carlo Piccari, Alessandro Provetti:
A Sentiment Analysis Approach to the Prediction of Market Volatility. CoRR abs/2012.05906 (2020)
2010 – 2019
- 2019
- [c41]Pasquale De Meo, Mark Levene, Alessandro Provetti:
Potential gain as a centrality measure. WI 2019: 418-422 - 2018
- [i16]Pasquale De Meo, Mark Levene, Fabrizio Messina, Alessandro Provetti:
Computing a Score of Navigability in Large Graphs. CoRR abs/1812.08012 (2018) - 2015
- [j18]Santa Agreste, Pasquale De Meo, Emilio Ferrara
, Sebastiano Piccolo
, Alessandro Provetti:
Trust Networks: Topology, Dynamics, and Measurements. IEEE Internet Comput. 19(6): 26-35 (2015) - [j17]Biagio Bonasera, Emilio Ferrara
, Giacomo Fiumara, Francesco Pagano, Alessandro Provetti
:
Adaptive search over sorted sets. J. Discrete Algorithms 30: 128-133 (2015) - [j16]Santa Agreste
, Pasquale De Meo, Emilio Ferrara
, Sebastiano Piccolo
, Alessandro Provetti:
Analysis of a Heterogeneous Social Network of Humans and Cultural Objects. IEEE Trans. Syst. Man Cybern. Syst. 45(4): 559-570 (2015) - [c40]Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti:
A case study on graph-based planning for emergency evacuation. CILC 2015: 46-52 - [i15]Biagio Bonasera, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano, Alessandro Provetti:
Adaptive Search over Sorted Sets. CoRR abs/1502.03845 (2015) - [i14]Nardine Osman, Alessandro Provetti, Valerio Riggi, Carles Sierra:
MORE: Merged Opinions Reputation Model. CoRR abs/1503.09066 (2015) - [i13]Carlo Bernava, Giacomo Fiumara, Dario Maggiorini, Alessandro Provetti, Laura Anna Ripamonti:
RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality. CoRR abs/1504.02358 (2015) - [i12]Luca Padovani, Alessandro Provetti:
Qsmodels: ASP Planning in Interactive Gaming Environment. CoRR abs/1505.07263 (2015) - [i11]Alessandro Provetti, Andrea Zucchellini:
A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems. CoRR abs/1511.07319 (2015) - 2014
- [j15]Pasquale De Meo, Emilio Ferrara
, Giacomo Fiumara, Alessandro Provetti:
On Facebook, most ties are weak. Commun. ACM 57(11): 78-84 (2014) - [j14]Carlo Bernava, Giacomo Fiumara, Dario Maggiorini
, Alessandro Provetti
, Laura Anna Ripamonti
:
RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality. Comput. Math. Organ. Theory 20(1): 20-35 (2014) - [j13]Pasquale De Meo, Emilio Ferrara
, Giacomo Fiumara, Alessandro Provetti:
Mixing local and global information for community detection in large networks. J. Comput. Syst. Sci. 80(1): 72-87 (2014) - [c39]Nardine Osman, Alessandro Provetti, Valerio Riggi, Carles Sierra
:
MORE: Merged Opinions Reputation Model. EUMAS 2014: 67-81 - [i10]Santa Agreste, Pasquale De Meo, Emilio Ferrara, Sebastiano Piccolo, Alessandro Provetti:
Analysis of a heterogeneous social network of humans and cultural objects. CoRR abs/1402.1778 (2014) - [i9]Gianpaolo Brignoli, Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti
:
Characterizing and computing stable models of logic programs: The non-stratified case. CoRR abs/1402.5436 (2014) - 2013
- [j12]Pasquale De Meo, Emilio Ferrara
, Giacomo Fiumara
, Alessandro Provetti:
Enhancing community detection using a network weighting strategy. Inf. Sci. 222: 648-668 (2013) - [i8]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) - [i7]Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti:
Enhancing community detection using a network weighting strategy. CoRR abs/1303.1741 (2013) - 2012
- [c38]Jorge Lobo
, Massimo Marchi, Alessandro Provetti
:
Firewall Configuration Policies for the Specification and Implementation of Private Zones. POLICY 2012: 78-85 - [p1]Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara
, Alessandro Provetti:
Extraction and Analysis of Facebook Friendship Relations. Computational Social Networks 2012: 291-324 - [i6]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) - 2011
- [c37]Alessandro Provetti
:
Recollections on Michael Gelfond's 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 191-192 - [c36]Giacomo Fiumara, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti
, N. Spada:
A rule-based system for end-user e-mail annotations. CEAS 2011: 102-108 - [c35]Annamaria Basile, Maria Rosa Felice, Alessandro Provetti:
Formalization and Automated reasoning about a Complex Signalling Network. CILC 2011: 407-414 - [c34]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 - [c33]Stefania Costantini
, Alessandro Provetti
:
Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs. GKR 2011: 68-90 - [c32]Pasquale De Meo, Emilio Ferrara
, Giacomo Fiumara
, Alessandro Provetti:
Generalized Louvain method for community detection in large networks. ISDA 2011: 88-93 - [c31]Pasquale De Meo, Emilio Ferrara
, Giacomo Fiumara
, Alessandro Provetti:
Improving recommendation quality by merging collaborative filtering and social relationships. ISDA 2011: 587-592 - [c30]Salvatore Catanese, Pasquale De Meo, Emilio Ferrara
, Giacomo Fiumara
, Alessandro Provetti:
Crawling Facebook for social network analysis purposes. WIMS 2011: 52 - [i5]Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti:
Crawling Facebook for Social Network Analysis Purposes. CoRR abs/1105.6307 (2011) - [i4]Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti:
Generalized Louvain Method for Community Detection in Large Networks. CoRR abs/1108.1502 (2011) - [i3]Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara, Alessandro Provetti:
Improving Recommendation Quality by Merging Collaborative Filtering and Social Relationships. CoRR abs/1109.6698 (2011) - 2010
- [j11]Stefania Costantini, Alessandro Provetti:
A Lower Bound for Answer Set Solver Computation. Inteligencia Artif. 14(48): 41-52 (2010) - [c29]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 - [c28]Giacomo Fiumara
, Massimo Marchi, Rosamaria Pagano, Alessandro Provetti
:
Rule-Based Spam E-mail Annotation. RR 2010: 231-234
2000 – 2009
- 2009
- [j10]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) - [c27]Biagio Bonasera, Francesco Pagano, Alessandro Provetti:
Flexible Interpolated-Binary Search over Sorted Sets. ICTCS 2009: 51-54 - [c26]Stefania Costantini, Alessandro Provetti:
A Lower-Bound for Answer Set Solver Computation. LA-NMR 2009: 183-198 - 2007
- [c25]Massimo Marchi, Romeo Penzo, Alessandro Provetti
:
Policy-Based Parametric Firewall Configuration: A Real-Case Application. POLICY 2007: 276 - [c24]Giacomo Fiumara
, Massimo Marchi, Alessandro Provetti
:
Adaptive Web Data Extraction Policies. POLICY 2007: 281 - 2006
- [c23]Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti:
Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. ECAI 2006: 737-738 - [c22]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 - [c21]Carlo Bernardoni, Giacomo Fiumara, Massimo Marchi, Alessandro Provetti:
Declarative Web data extraction and annotation. WLP 2006: 137-144 - [c20]Sergio Bossa, Giacomo Fiumara, Alessandro Provetti:
A Lightweight Architecture for RSS Polling of Arbitrary Web sources. WOA 2006 - 2005
- [j9]Stefania Costantini
, Alessandro Provetti
:
Normal forms for answer sets programming. Theory Pract. Log. Program. 5(6): 747-760 (2005) - [c19]Elisa Bertino, Alessandra Mileo, Alessandro Provetti:
PDL with Preferences. POLICY 2005: 213-222 - [c18]Massimo Marchi, Alessandra Mileo, Alessandro Provetti:
Declarative Policies for Web Service Selection. POLICY 2005: 239-242 - [c17]Elisa Bertino, Alessandro Provetti, Franco Salvetti:
Reasoning about RDF statements with default rules. Rule Languages for Interoperability 2005 - [e4]Marina 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 Workshop Proceedings 142, CEUR-WS.org 2005 [contents] - [i2]Alessandro Provetti:
A primer on Answer Set Programming. CoRR abs/cs/0508100 (2005) - 2004
- [c16]Massimo Marchi, Alessandra Mileo, Alessandro Provetti:
Specification and Execution of Declarative Policies for Grid Service Selection. ECOWS 2004: 102-115 - [c15]Massimo Marchi, Alessandra Mileo, Alessandro Provetti:
Grid Service Selection with PPDL. ICLP 2004: 464-466 - [c14]Massimo Marchi, Alessandra Mileo, Alessandro Provetti:
Specification and Execution of Policies for Grid Service Selection. ICWS 2004: 828-829 - [c13]Luca Padovani, Alessandro Provetti
:
Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA 2004: 689-692 - [e3]Mauricio 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 Workshop Proceedings 92, CEUR-WS.org 2004 [contents] - [i1]Stefania Costantini, Alessandro Provetti:
Normal forms for Answer Sets Programming. CoRR cs.AI/0410014 (2004) - 2003
- [j8]Chitta Baral, Alessandro Provetti
, Tran Cao Son:
Introduction to the special issue on Programming with Answer Sets. Theory Pract. Log. Program. 3(4-5): 387-391 (2003) - [c12]Elisa Bertino, Alessandra Mileo, Alessandro Provetti:
User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE 2003: 110-122 - [c11]Elisa Bertino, Alessandro Provetti, Franco Salvetti:
Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE 2003: 314-323 - [c10]Elisa Bertino, Alessandra Mileo, Alessandro Provetti:
PDL with Maximum Consistency Monitors. ISMIS 2003: 65-74 - [e2]Marina 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 Workshop Proceedings 78, CEUR-WS.org 2003 [contents] - 2002
- [j7]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) - [c9]Stefania Costantini, Ramón P. Otero, Alessandro Provetti
, Tran Cao Son:
Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302 - 2001
- [j6]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 Mag. 22(3): 117-122 (2001) - [c8]Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari:
The Prospect for Answer Sets Computation by a Genetic Model. Answer Set Programming 2001 - [e1]Alessandro Provetti, Tran Cao Son:
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. 2001 [contents] - 2000
- [c7]Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti
:
Experiments in Answer Sets Planning. MICAI 2000: 95-107
1990 – 1999
- 1998
- [j5]Chitta Baral, Alfredo Gabaldon
, Alessandro Provetti
:
Value Minimization in Circumscription. Artif. Intell. 102(2): 163-186 (1998) - [j4]Chitta Baral, Alfredo Gabaldon
, Alessandro Provetti
:
Formalizing Narratives Using Nested Circumscription. Artif. Intell. 104(1-2): 107-164 (1998) - [c6]Gaetano Aurelio Lanzarone, Alessandro Provetti:
Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. APPIA-GULP-PRODE 1998: 201-214 - 1997
- [j3]Chitta Baral, Michael Gelfond
, Alessandro Provetti
:
Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243 (1997) - [c5]Alessandro Provetti, Gianfranco Rossi:
Action Specifications in log. APPIA-GULP-PRODE 1997: 381-392 - 1996
- [j2]Alessandro Provetti
:
Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. Comput. Intell. 12: 478-498 (1996) - [j1]Alessandro Provetti
:
Ordering events: Intervals are sufficient, more general sets are usually not necessary. Reliab. Comput. 2(3): 321-327 (1996) - [c4]Chitta Baral, Alfredo Gabaldon, Alessandro Provetti:
Formalizing Narratives Using Nested Circumscription. AAAI/IAAI, Vol. 1 1996: 652-657 - [c3]Chitta Baral, Alfredo Gabaldon, Alessandro Provetti:
Value Minimization in Circumscription. KR 1996: 474-481 - 1994
- [c2]Luca Chittaro, Angelo Montanari, Alessandro Provetti:
Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI 1994: 361-365 - [c1]Alessandro Provetti:
Hypothetical Reasoning from Situation Calculus to Event Calculus. TIME 1994: 42-47
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint