Остановите войну!
for scientists:
default search action
Alessandro Provetti
- > Home > Persons > Alessandro Provetti
Publications
- 2023
- [j21]Pasquale De Meo, Mark Levene, Alessandro Provetti:
Branching processes reveal influential nodes in social networks. Inf. Sci. 644: 119201 (2023) - 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) - 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) - [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) - 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) - [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
- [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 - [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 - 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 - 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 - [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 - 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 - 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
- [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
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-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint