Cristian Molinaro

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 58

Top Topics

Incomplete Data

Query Answering

Integrity Constraints

Top Venues

IEEE Trans. Knowl. Data Eng.

Publications

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. Theory Pract. Log. Program. 24 (2) (2024)
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. KR (2023)
Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
An approximation algorithm for querying inconsistent knowledge bases. Intell. Syst. Appl. 17 (2023)
Marco Calautti, Sergio Greco, Hebatalla Hammad, Tariq Mahmood, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. SEBD (2023)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. CoRR (2023)
Tonmoay Deb, Jürgen Dix, Mingi Jeong, Cristian Molinaro, Andrea Pugliese, Alberto Quattrini Li, Eugene Santos Jr., V. S. Subrahmanian, Shanchieh Yang, Youzhi Zhang
DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents. AAAI (2023)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Query answering over inconsistent knowledge bases: A probabilistic approach. Theor. Comput. Sci. 935 (2022)
John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract). IJCAI (2022)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Preference-based inconsistency-tolerant query answering under existential rules. Artif. Intell. 312 (2022)
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics. IJCAI (2022)
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius
Explanations for Negative Query Answers under Existential Rules. DP@AI*IA (2022)
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules. SEBD (2022)
Qian Han, Cristian Molinaro, Antonio Picariello, Giancarlo Sperlì, V. S. Subrahmanian, Yanhai Xiong
Generating Fake Documents Using Probabilistic Logic Graphs. IEEE Trans. Dependable Secur. Comput. 19 (4) (2022)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Querying Data Exchange Settings Beyond Positive Queries. Datalog (2022)
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
Active Integrity Constraints with Existential Quantification. SEBD (2022)
Enrico Malizia, Cristian Molinaro, Francesco Parisi
Guest Editorial: Reasoning With Inconsistent, Incomplete, and Uncertain Knowledge. IEEE Intell. Syst. 37 (6) (2022)
Thomas Lukasiewicz, Enrico Malizia, Maria Vanina Martinez, Cristian Molinaro, Andreas Pieris, Gerardo I. Simari
Inconsistency-tolerant query answering for existential rules. Artif. Intell. 307 (2022)
John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases. J. Artif. Intell. Res. 71 (2021)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper). SEBD (2021)
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius
Preferred Explanations for Ontology-Mediated Queries under Existential Rules. AAAI (2021)
Snow Kang, Cristian Molinaro, Andrea Pugliese, V. S. Subrahmanian
Randomized Generation of Adversary-aware Fake Knowledge Graphs to Combat Intellectual Property Theft. AAAI (2021)
Cristian Molinaro, Chiara Pulice, Anja Subasic, Abigail Bartolome, V. S. Subrahmanian
STAR: Summarizing Timed Association Rules. Trans. Data Sci. 2 (1) (2021)
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
Existential active integrity constraints. Expert Syst. Appl. 168 (2021)
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules. AAAI (2020)
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius
Explanations for Negative Query Answers under Existential Rules. KR (2020)
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
Consistent query answering with prioritized active integrity constraints. IDEAS (2020)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. KR (2020)
Marco Calautti, Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Probabilistic Answers over Inconsistent Knowledge Bases. SEBD (2020)
Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
A System Prototype for Approximate Query Answering over Incomplete Data. SEBD (2019)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Approximation algorithms for querying incomplete databases. Inf. Syst. 86 (2019)
Nicola Fiorentino, Cristian Molinaro, Irina Trubitsyna
Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases. FQAS (2019)
Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases. AIKE (2019)
Letizia Tanca, Paolo Atzeni, Davide Azzalini, Ilaria Bartolini, Luca Cabibbo, Luca Calderoni, Paolo Ciaccia, Valter Crescenzi, Juan Carlos De Martin, Selina Fenoglietto, Donatella Firmani, Sergio Greco, Francesco Isgrò, Dario Maio, Davide Martinenghi, Maristella Matera, Paolo Merialdo, Cristian Molinaro, Marco Patella, Roberto Prevete, Elisa Quintarelli, Antonio Santangelo, Andrea Tagarelli, Guglielmo Tamburrini, Riccardo Torlone
Ethics-aware Data Governance (Vision Paper). SEBD (2018)
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-. IJCAI (2018)
John Grant, Cristian Molinaro, Francesco Parisi
Probabilistic spatio-temporal knowledge bases: Capacity constraints, count queries, and consistency checking. Int. J. Approx. Reason. 100 (2018)
Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases. SIGMOD Conference (2018)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Approximate Query Answering over Inconsistent Knowledge Bases. SEBD (2018)
Sergio Greco, Cristian Molinaro, Chiara Pulice
Efficient Maintenance of Shortest Distances in Dynamic Graphs. IEEE Trans. Knowl. Data Eng. 30 (3) (2018)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Algorithms for Computing Approximate Certain Answers over Incomplete Databases. IDEAS (2018)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Computing Approximate Query Answers over Inconsistent Knowledge Bases. IJCAI (2018)
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-. SEBD (2018)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Approximation Algorithms for Computing Certain Answers over Incomplete Databases. SEBD (2017)
Sergio Greco, Cristian Molinaro, Chiara Pulice, Ximena Quintana
Incremental maximum flow computation on evolving networks. SAC (2017)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Computing Approximate Certain Answers over Incomplete Databases. AMW (2017)
Sergio Greco, Cristian Molinaro, Chiara Pulice, Ximena Quintana
Efficient Maximum Flow Maintenance on Dynamic Networks. WWW (Companion Volume) (2017)
John Grant, Cristian Molinaro, Francesco Parisi
Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints. ECSQARU (2017)
Sergio Greco, Cristian Molinaro, Chiara Pulice, Ximena Quintana
Incremental maintenance of all-pairs shortest paths in relational DBMSs. Soc. Netw. Anal. Min. 7 (1) (2017)
Chanhyun Kang, Sarit Kraus, Cristian Molinaro, Francesca Spezzano, V. S. Subrahmanian
Diffusion centrality: A paradigm to maximize spread in social networks. Artif. Intell. 239 (2016)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Leveraging Equality Generating Dependencies for Chase Termination. SEBD (2016)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Using linear constraints for logic program termination analysis. Theory Pract. Log. Program. 16 (3) (2016)
Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari
Ranking Answers to Datalog+/- Ontologies based on Trust and Reliability of Subjective Reports. Computational Models of Rationality (2016)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Exploiting Equality Generating Dependencies in Checking Chase Termination. Proc. VLDB Endow. 9 (5) (2016)
Sergio Greco, Cristian Molinaro, Chiara Pulice, Ximena Quintana
All-pairs shortest distances maintenance in relational DBMSs. ASONAM (2016)
Sergio Greco, Cristian Molinaro, Chiara Pulice
Efficient Maintenance of All-Pairs Shortest Distances. SSDBM (2016)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Checking Termination of Datalog with Function Symbols Through Linear Constraints. SEBD (2015)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Logic Program Termination Analysis Using Atom Sizes. IJCAI (2015)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Rewriting-based Check of Chase Termination. AMW (2015)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Using Linear Constraints for Logic Program Termination Analysis. CoRR (2015)
Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna
Termination Criteria for Datalog with Function Symbols. SEBD (2014)
Cristian Molinaro, Amy Sliva, V. S. Subrahmanian
Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic. ACM Trans. Comput. Log. 15 (3) (2014)
Andrea Pugliese, V. S. Subrahmanian, Christopher Thomas, Cristian Molinaro
PASS: A Parallel Activity-Search System. IEEE Trans. Knowl. Data Eng. 26 (8) (2014)
Thomas Lukasiewicz, Maria Vanina Martínez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari
Answering Ontological Ranking Queries Based on Subjective Reports. SUM (2014)
Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari
Answering Ontological Ranking Queries Based on Subjective Reports. PRUV (2014)
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Checking Termination of Logic Programs with Function Symbols through Linear Constraints. RuleML (2014)
Cristian Molinaro, Vincenzo Moscato, Antonio Picariello, Andrea Pugliese, Antonino Rullo, V. S. Subrahmanian
PADUA: Parallel Architecture to Detect Unexplained Activities. ACM Trans. Internet Techn. 14 (1) (2014)
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian
Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data. IEEE Trans. Knowl. Data Eng. 26 (3) (2014)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments. Theory Pract. Log. Program. 13 (4-5) (2013)
Maria Vanina Martinez, Cristian Molinaro, John Grant, V. S. Subrahmanian
Customized Policies for Handling Partial Information in Relational Databases. IEEE Trans. Knowl. Data Eng. 25 (6) (2013)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols. IJCAI (2013)
Massimiliano Albanese, Sushil Jajodia, Cristian Molinaro
A Logic Framework for Flexible and Security-Aware Service Composition. UIC/ATC (2013)
John Grant, Cristian Molinaro, Francesco Parisi
Aggregate Count Queries in Probabilistic Spatio-temporal Databases. SUM (2013)
Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari
Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report). CoRR (2013)
Paulo Shakarian, Matthias Broecheler, V. S. Subrahmanian, Cristian Molinaro
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems. ACM Trans. Comput. Log. 14 (2) (2013)
Sergio Greco, Cristian Molinaro
Probabilistic query answering over inconsistent databases. Ann. Math. Artif. Intell. 64 (2-3) (2012)
Chanhyun Kang, Cristian Molinaro, Sarit Kraus, Yuval Shavitt, V. S. Subrahmanian
Diffusion Centrality in Social Networks. ASONAM (2012)
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian
Finding "Unexplained" Activities in Video. IJCAI (2011)
Sergio Greco, Cristian Molinaro
Consistent query answering over inconsistent databases. Int. J. Knowl. Based Intell. Eng. Syst. 15 (3) (2011)
Cristian Molinaro, Amy Sliva, V. S. Subrahmanian
Abduction in Annotated Probabilistic Temporal Logic. ICLP (Technical Communications) (2011)
Sergio Greco, Cristian Molinaro, Francesca Spezzano, Irina Trubitsyna
Querying and Updating Inconsistent Databases (Extended Abstract). SEBD (2010)
Cristian Molinaro, Sergio Greco
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys. Data Knowl. Eng. 69 (7) (2010)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
NP Datalog: A logic language for expressing search and optimization problems. Theory Pract. Log. Program. 10 (2) (2010)
Cristian Molinaro, Francesca Spezzano, Sergio Greco
A System Prototype for Computing Probabilistic Query Answers over Inconsistent Databases. SEBD (2009)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems CoRR (2009)
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski
Disjunctive databases for representing repairs. Ann. Math. Artif. Intell. 57 (2) (2009)
Cristian Molinaro
Polynomial Time Queries over Inconsistent Databases. SUM (2008)
Sergio Greco, Cristian Molinaro
Approximate Probabilistic Query Answering over Inconsistent Databases. ER (2008)
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski
Disjunctive Databases for Representing Repairs CoRR (2008)
Sergio Greco, Cristian Molinaro
Towards Relational Inconsistent Databases with Functional Dependencies. KES (2) (2008)
Luciano Caroprese, Sergio Greco, Cristian Molinaro
Prioritized Active Integrity Constraints for Database Maintenance. DASFAA (2007)
Sergio Greco, Cristian Molinaro, Francesco Parisi
Exploiting Preference Rules for Querying Databases. SEBD (2007)
Filippo Furfaro, Sergio Greco, Cristian Molinaro
A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51 (2-4) (2007)
Sergio Greco, Cristian Molinaro
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. ICLP (2007)
Sergio Greco, Cristian Molinaro, Francesco Parisi
Preference rules in database querying. ICEIS (1) (2007)
Cristian Molinaro, Sergio Greco, Luciano Caroprese
Prioritized Active Integrity Constraints for Database Maintenance. SEBD (2006)
Luciano Caroprese, Cristian Molinaro, Ester Zumpano
Integrating and Querying P2P Deductive Databases. IDEAS (2006)
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Implementation and Experimentation of the Logic Language NP Datalog. DEXA (2006)