Alessandro Provetti

According to our database1, Alessandro Provetti authored at least 65 papers between 1994 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A General Centrality Framework-Based on Node Navigability.
IEEE Trans. Knowl. Data Eng., 2020

COVID-19 Contact Tracing: Eight Privacy Questions Explored.
CoRR, 2020

Exploring Low-degree nodes first accelerates Network Exploration.
Proceedings of the WebSci '20: 12th ACM Conference on Web Science, 2020

2019
Potential gain as a centrality measure.
Proceedings of the 2019 IEEE/WIC/ACM International Conference on Web Intelligence, 2019

2018
Computing a Score of Navigability in Large Graphs.
CoRR, 2018

2015
Analysis of a Heterogeneous Social Network of Humans and Cultural Objects.
IEEE Trans. Syst. Man Cybern. Syst., 2015

Adaptive search over sorted sets.
J. Discrete Algorithms, 2015

Trust Networks: Topology, Dynamics, and Measurements.
IEEE Internet Comput., 2015

A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems.
CoRR, 2015

A case study on graph-based planning for emergency evacuation.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014
Mixing local and global information for community detection in large networks.
J. Comput. Syst. Sci., 2014

Characterizing and computing stable models of logic programs: The non-stratified case.
CoRR, 2014

RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality.
Comput. Math. Organ. Theory, 2014

On Facebook, most ties are weak.
Commun. ACM, 2014

MORE: Merged Opinions Reputation Model.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

2013
Enhancing community detection using a network weighting strategy.
Inf. Sci., 2013

2012
The role of strong and weak ties in Facebook: a community structure perspective
CoRR, 2012

Firewall Configuration Policies for the Specification and Implementation of Private Zones.
Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Extraction and Analysis of Facebook Friendship Relations.
Proceedings of the Computational Social Networks, 2012

2011
Crawling Facebook for social network analysis purposes.
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

Improving recommendation quality by merging collaborative filtering and social relationships.
Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

Generalized Louvain method for community detection in large networks.
Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011

Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.
Proceedings of the Database Systems for Advanced Applications, 2011

Formalization and Automated reasoning about a Complex Signalling Network.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

A rule-based system for end-user e-mail annotations.
Proceedings of the 8th Annual Collaboration, 2011

Recollections on Michael Gelfond's 65th Birthday.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
A Lower Bound for Answer Set Solver Computation.
Inteligencia Artif., 2010

Rule-Based Spam E-mail Annotation.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds.
Proceedings of the Collaborative Networks for a Sustainable World, 2010

2009
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures.
J. Log. Comput., 2009

Flexible Interpolated-Binary Search over Sorted Sets.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2007
Policy-Based Parametric Firewall Configuration: A Real-Case Application.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

Adaptive Web Data Extraction Policies.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2006
A Lightweight Architecture for RSS Polling of Arbitrary Web sources.
Proceedings of the 7th WOA 2006 Workshop, 2006

Declarative Web data extraction and annotation.
Proceedings of the 20th Workshop on Logic Programming, 2006

Aggregating Information and Enforcing Awareness Across Communities with the Dynamo RSS Feeds Creation Engine: Preliminary Report.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005
Normal forms for answer sets programming.
Theory Pract. Log. Program., 2005

A primer on Answer Set Programming
CoRR, 2005

Reasoning about RDF statements with default rules.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Declarative Policies for Web Service Selection.
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

PDL with Preferences.
Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

2004
Qsmodels: ASP Planning in Interactive Gaming Environment.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Specification and Execution of Policies for Grid Service Selection.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Grid Service Selection with PPDL.
Proceedings of the Logic Programming, 20th International Conference, 2004

Specification and Execution of Declarative Policies for Grid Service Selection.
Proceedings of the Web Services, European Conference, 2004

2003
Introduction to the special issue on Programming with Answer Sets.
Theory Pract. Log. Program., 2003

PDL with Maximum Consistency Monitors.
Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

Local Closed-World Assumptions for reasoning about Semantic Web data.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

User Preferences VS Minimality in PPDL.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
On the equivalence and range of applicability of graph-based representations of logic programs.
Inf. Process. Lett., 2002

Disjunctive Logic Programs with Inheritance Revisited.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2001
AAAI 2001 Spring Symposium Series Reports.
AI Mag., 2001

The Prospect for Answer Sets Computation by a Genetic Model.
Proceedings of the Answer Set Programming, 2001

2000
Experiments in Answer Sets Planning.
Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

1998
Formalizing Narratives Using Nested Circumscription.
Artif. Intell., 1998

Value Minimization in Circumscription.
Artif. Intell., 1998

Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Representing Actions: Laws, Observations and Hypotheses.
J. Log. Program., 1997

Action Specifications in log.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Ordering events: Intervals are sufficient, more general sets are usually not necessary.
Reliab. Comput., 1996

Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus.
Comput. Intell., 1996

1994
Hypothetical Reasoning from Situation Calculus to Event Calculus.
Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994

Skeptical and Credulous Event Calculi for Supporting Modal Queries.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994


  Loading...