Alessandro Provetti

CoRR, 2020

Exploring Low-degree nodes first accelerates Network Exploration.

[BibT_eX]

[DOI]

Proceedings of the WebSci '20: 12th ACM Conference on Web Science, 2020

2019

Potential gain as a centrality measure.

[BibT_eX]

[DOI]

Mark Levene

Proceedings of the 2019 IEEE/WIC/ACM International Conference on Web Intelligence, 2019

2018

Computing a Score of Navigability in Large Graphs.

[BibT_eX]

[DOI]

CoRR, 2018

2015

Analysis of a Heterogeneous Social Network of Humans and Cultural Objects.

[BibT_eX]

[DOI]

Santa Agreste

Sebastiano Antonio Piccolo

Emilio Ferrara

IEEE Trans. Syst. Man Cybern. Syst., 2015

Adaptive search over sorted sets.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2015

Trust Networks: Topology, Dynamics, and Measurements.

[BibT_eX]

[DOI]

Santa Agreste

Sebastiano Antonio Piccolo

Emilio Ferrara

IEEE Internet Comput., 2015

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

[BibT_eX]

[DOI]

Andrea Zucchellini

CoRR, 2015

A case study on graph-based planning for emergency evacuation.

[BibT_eX]

[DOI]

Santa Agreste

Maria Francesca Milazzo

Salvatore Nunnari

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

Mixing local and global information for community detection in large networks.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

RDF annotation of Second Life objects: Knowledge Representation meets Social Virtual reality.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2014

On Facebook, most ties are weak.

[BibT_eX]

[DOI]

Commun. ACM, 2014

MORE: Merged Opinions Reputation Model.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

2013

Enhancing community detection using a network weighting strategy.

[BibT_eX]

[DOI]

Inf. Sci., 2013

2012

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

[BibT_eX]

[DOI]

CoRR, 2012

Firewall Configuration Policies for the Specification and Implementation of Private Zones.

[BibT_eX]

[DOI]

Jorge Lobo

Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

Extraction and Analysis of Facebook Friendship Relations.

[BibT_eX]

[DOI]

Proceedings of the Computational Social Networks, 2012

2011

Crawling Facebook for social network analysis purposes.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

Improving recommendation quality by merging collaborative filtering and social relationships.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

Generalized Louvain method for community detection in large networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2011

Formalization and Automated reasoning about a Complex Signalling Network.

[BibT_eX]

[DOI]

Annamaria Basile

Maria Rosa Felice

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

A rule-based system for end-user e-mail annotations.

[BibT_eX]

[DOI]

Proceedings of the 8th Annual Collaboration, 2011

Recollections on Michael Gelfond's 65th Birthday.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Rule-Based Spam E-mail Annotation.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Networks for a Sustainable World, 2010

2009

Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

A Lower-Bound for Answer Set Solver Computation.

[BibT_eX]

[DOI]

Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

Flexible Interpolated-Binary Search over Sorted Sets.

[BibT_eX]

Biagio Bonasera

Francesco Pagano

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2007

Policy-Based Parametric Firewall Configuration: A Real-Case Application.

[BibT_eX]

[DOI]

Romeo Penzo

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

Adaptive Web Data Extraction Policies.

[BibT_eX]

[DOI]

Giacomo Fiumara

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.

[BibT_eX]

[DOI]

Sergio Bossa

Giacomo Fiumara

Proceedings of the 7th WOA 2006 Workshop, 2006

Declarative Web data extraction and annotation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Normal forms for answer sets programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

A primer on Answer Set Programming

[BibT_eX]

[DOI]

CoRR, 2005

Reasoning about RDF statements with default rules.

[BibT_eX]

[DOI]

Franco Salvetti

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Declarative Policies for Web Service Selection.

[BibT_eX]

[DOI]

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

PDL with Preferences.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Luca Padovani

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Specification and Execution of Policies for Grid Service Selection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Grid Service Selection with PPDL.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

Specification and Execution of Declarative Policies for Grid Service Selection.

[BibT_eX]

[DOI]

Proceedings of the Web Services, European Conference, 2004

2003

Introduction to the special issue on Programming with Answer Sets.

[BibT_eX]

[DOI]

Tran Cao Son

Theory Pract. Log. Program., 2003

PDL with Maximum Consistency Monitors.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

Local Closed-World Assumptions for reasoning about Semantic Web data.

[BibT_eX]

Franco Salvetti

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

User Preferences VS Minimality in PPDL.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Ottavio M. D'Antona

Gaetano Aurelio Lanzarone

Inf. Process. Lett., 2002

Disjunctive Logic Programs with Inheritance Revisited.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2001

AAAI 2001 Spring Symposium Series Reports.

[BibT_eX]

[DOI]

AI Mag., 2001

The Prospect for Answer Sets Computation by a Genetic Model.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

Experiments in Answer Sets Planning.

[BibT_eX]

[DOI]

Marcello Balduccini

Gianpaolo Brignoli

F. Magni

Gaetano Aurelio Lanzarone

Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

1998

Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Representing Actions: Laws, Observations and Hypotheses.

[BibT_eX]

[DOI]

Michael Gelfond

J. Log. Program., 1997

Action Specifications in log.

[BibT_eX]

Gianfranco Rossi

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

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

[BibT_eX]

[DOI]

Reliab. Comput., 1996

Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus.

[BibT_eX]

[DOI]

Comput. Intell., 1996

Value Minimization in Circumscription.

[BibT_eX]

Alfredo Gabaldon

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Formalizing Narratives Using Nested Circumscription.

[BibT_eX]

[DOI]

Alfredo Gabaldon

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1994

Hypothetical Reasoning from Situation Calculus to Event Calculus.

[BibT_eX]

Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994

Skeptical and Credulous Event Calculi for Supporting Modal Queries.

[BibT_eX]

Luca Chittaro

Angelo Montanari