Cristian Molinaro

Orcid: 0000-0003-4103-1084

Affiliations:
  • University of Calabria, Cosenza, Italy


According to our database1, Cristian Molinaro authored at least 94 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Querying Data Exchange Settings Beyond Positive Queries.
Theory Pract. Log. Program., March, 2024

2023
An approximation algorithm for querying inconsistent knowledge bases.
Intell. Syst. Appl., 2023

Querying Data Exchange Settings Beyond Positive Queries.
Proceedings of the 31st Symposium of Advanced Database Systems, 2023

Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Generating Fake Documents Using Probabilistic Logic Graphs.
IEEE Trans. Dependable Secur. Comput., 2022

Query answering over inconsistent knowledge bases: A probabilistic approach.
Theor. Comput. Sci., 2022

Guest Editorial: Reasoning With Inconsistent, Incomplete, and Uncertain Knowledge.
IEEE Intell. Syst., 2022

Inconsistency-tolerant query answering for existential rules.
Artif. Intell., 2022

Preference-based inconsistency-tolerant query answering under existential rules.
Artif. Intell., 2022

Active Integrity Constraints with Existential Quantification.
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021
STAR: Summarizing Timed Association Rules.
Trans. Data Sci., 2021

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases.
J. Artif. Intell. Res., 2021

Existential active integrity constraints.
Expert Syst. Appl., 2021

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper).
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

Randomized Generation of Adversary-aware Fake Knowledge Graphs to Combat Intellectual Property Theft.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Preferred Explanations for Ontology-Mediated Queries under Existential Rules.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Approximate Query Answering over Incomplete Data.
Proceedings of the Complex Pattern Mining - New Challenges, Methods and Applications, 2020

Probabilistic Answers over Inconsistent Knowledge Bases.
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Explanations for Negative Query Answers under Existential Rules.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Consistent query answering with prioritized active integrity constraints.
Proceedings of the IDEAS 2020: 24th International Database Engineering & Applications Symposium, 2020

Explanations for Inconsistency-Tolerant Query Answering under Existential Rules.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Approximation algorithms for querying incomplete databases.
Inf. Syst., 2019

A System Prototype for Approximate Query Answering over Incomplete Data.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases.
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018
Efficient Maintenance of Shortest Distances in Dynamic Graphs.
IEEE Trans. Knowl. Data Eng., 2018

Probabilistic spatio-temporal knowledge bases: Capacity constraints, count queries, and consistency checking.
Int. J. Approx. Reason., 2018

ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases.
Proceedings of the 2018 International Conference on Management of Data, 2018


Complexity of Approximate Query Answering under Inconsistency in Datalog+/-.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Approximate Query Answering over Inconsistent Knowledge Bases.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Computing Approximate Query Answers over Inconsistent Knowledge Bases.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Algorithms for Computing Approximate Certain Answers over Incomplete Databases.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 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.
Soc. Netw. Anal. Min., 2017

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

Approximation Algorithms for Computing Certain Answers over Incomplete Databases.
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 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.
Theory Pract. Log. Program., 2016

Exploiting Equality Generating Dependencies in Checking Chase Termination.
Proc. VLDB Endow., 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, ISBN: 978-3-031-01854-1, 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

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.
Theory Pract. Log. Program., 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, ISBN: 978-3-031-01893-0, 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.
Int. J. Knowl. Based Intell. Eng. Syst., 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.
Theory Pract. Log. Program., 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
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
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...