Cristian Molinaro

According to our database1, Cristian Molinaro
  • authored at least 61 papers between 2006 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Dealing with Inconsistency in Databases: An Overview.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Ontology-Based Data Access Leveraging Subjective Reports
Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-65228-3, 2017

Incremental maintenance of all-pairs shortest paths in relational DBMSs.
Social Netw. Analys. Mining, 2017

Efficient Maximum Flow Maintenance on Dynamic Networks.
Proceedings of the 26th International Conference on World Wide Web Companion, 2017

Incremental maximum flow computation on evolving networks.
Proceedings of the Symposium on Applied Computing, 2017

Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

Computing Approximate Certain Answers over Incomplete Databases.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016
Using linear constraints for logic program termination analysis.
TPLP, 2016

Exploiting Equality Generating Dependencies in Checking Chase Termination.
PVLDB, 2016

Diffusion centrality: A paradigm to maximize spread in social networks.
Artif. Intell., 2016

Efficient Maintenance of All-Pairs Shortest Distances.
Proceedings of the 28th International Conference on Scientific and Statistical Database Management, 2016

Leveraging Equality Generating Dependencies for Chase Termination.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

Ranking Answers to Datalog+/- Ontologies based on Trust and Reliability of Subjective Reports.
Proceedings of the Computational Models of Rationality, 2016

All-pairs shortest distances maintenance in relational DBMSs.
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016

2015
Datalog and Logic Databases
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, 2015

Using Linear Constraints for Logic Program Termination Analysis.
CoRR, 2015

Checking Termination of Datalog with Function Symbols Through Linear Constraints.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Logic Program Termination Analysis Using Atom Sizes.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Rewriting-based Check of Chase Termination.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Recognizing Unexplained Behavior in Network Traffic.
Proceedings of the Network Science and Cybersecurity, 2014

PADUA: Parallel Architecture to Detect Unexplained Activities.
ACM Trans. Internet Techn., 2014

Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic.
ACM Trans. Comput. Log., 2014

PASS: A Parallel Activity-Search System.
IEEE Trans. Knowl. Data Eng., 2014

Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data.
IEEE Trans. Knowl. Data Eng., 2014

Answering Ontological Ranking Queries Based on Subjective Reports.
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014

Termination Criteria for Datalog with Function Symbols.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

Answering Ontological Ranking Queries Based on Subjective Reports.
Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

2013
A General Framework for Reasoning On Inconsistency.
Springer Briefs in Computer Science, Springer, ISBN: 978-1-4614-6750-2, 2013

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

Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems.
ACM Trans. Comput. Log., 2013

Customized Policies for Handling Partial Information in Relational Databases.
IEEE Trans. Knowl. Data Eng., 2013

Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report).
CoRR, 2013

A Logic Framework for Flexible and Security-Aware Service Composition.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

Aggregate Count Queries in Probabilistic Spatio-temporal Databases.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.
Proceedings of the IJCAI 2013, 2013

2012
Incomplete Data and Data Dependencies in Relational Databases
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, 2012

Probabilistic query answering over inconsistent databases.
Ann. Math. Artif. Intell., 2012

Diffusion Centrality in Social Networks.
Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2011
Consistent query answering over inconsistent databases.
KES Journal, 2011

Finding "Unexplained" Activities in Video.
Proceedings of the IJCAI 2011, 2011

Abduction in Annotated Probabilistic Temporal Logic.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010
NP Datalog: A logic language for expressing search and optimization problems.
TPLP, 2010

Polynomial time queries over inconsistent databases with functional dependencies and foreign keys.
Data Knowl. Eng., 2010

Querying and Updating Inconsistent Databases (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

2009
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems
CoRR, 2009

Disjunctive databases for representing repairs.
Ann. Math. Artif. Intell., 2009

A System Prototype for Computing Probabilistic Query Answers over Inconsistent Databases.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Consistent Queries over Databases with Integrity Constraints.
Proceedings of the Database Technologies: Concepts, 2009

2008
Disjunctive Databases for Representing Repairs
CoRR, 2008

Polynomial Time Queries over Inconsistent Databases.
Proceedings of the Scalable Uncertainty Management, Second International Conference, 2008

Towards Relational Inconsistent Databases with Functional Dependencies.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

Approximate Probabilistic Query Answering over Inconsistent Databases.
Proceedings of the Conceptual Modeling, 2008

2007
A three-valued semantics for querying and repairing inconsistent databases.
Ann. Math. Artif. Intell., 2007

Exploiting Preference Rules for Querying Databases.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Preference rules in database querying.
Proceedings of the ICEIS 2007, 2007

Prioritized Active Integrity Constraints for Database Maintenance.
Proceedings of the Advances in Databases: Concepts, 2007

2006
Prioritized Active Integrity Constraints for Database Maintenance.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Integrating and Querying P2P Deductive Databases.
Proceedings of the Tenth International Database Engineering and Applications Symposium (IDEAS 2006), 2006

Implementation and Experimentation of the Logic Language NP Datalog.
Proceedings of the Database and Expert Systems Applications, 17th International Conference, 2006


  Loading...