Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Cristian Molinaro

A Logic Framework for Flexible and Security-Aware Service Composition

scientific article published in December 2013

A three-valued semantics for querying and repairing inconsistent databases

scientific article published in December 2007

Active Integrity Constraints with Existential Quantification

scientific paper published in CEUR-WS Volume 3194

Checking Termination of Logic Programs with Function Symbols through Linear Constraints

scientific article published in 2014

Consistent query answering over inconsistent databases

scientific article published on 17 June 2011

Customized Policies for Handling Partial Information in Relational Databases

scientific article published in June 2013

Diffusion Centrality in Social Networks

scientific article published in August 2012

Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data

scientific article published in March 2014

Disjunctive databases for representing repairs

scientific article published on 29 September 2009

Explanations for Inconsistency-Tolerant Query Answering under Existential Rules

scientific paper published in CEUR-WS Volume 3194

Integrating and Querying P2P Deductive Databases

scientific article published in December 2006

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments

scientific article published in July 2013

PADUA

scientific article published on 7 August 2014

PASS: A Parallel Activity-Search System

scientific article published in August 2014

Polynomial Time Queries over Inconsistent Databases

scientific article published in 2008

Polynomial time queries over inconsistent databases with functional dependencies and foreign keys

scientific article published in July 2010

Probabilistic query answering over inconsistent databases

scientific article published in March 2012

Recognizing Unexplained Behavior in Network Traffic

scientific article published on 15 June 2013

Super-Solutions

scientific article published on 25 July 2014

Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems

scientific article published in June 2013

atalog: A logic language for expressing search and optimization problems

scientific article published on 18 January 2010