default search action
Cristian Molinaro
Person information
- affiliation: University of Calabria, Cosenza, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j30]Marco Calautti
, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. Theory Pract. Log. Program. 24(2): 250-278 (2024) - [c62]Giuseppe Salerno, Andrea Pugliese, Cristian Molinaro:
Work-in-Progress: Protecting Knowledge Graph-based Descriptions of Digital Twins. EuroS&P Workshops 2024: 701-705 - 2023
- [j29]Gianvincenzo Alfano
An approximation algorithm for querying inconsistent knowledge bases. Intell. Syst. Appl. 17: 200146 (2023) - [c61]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: 16425-16427 - [c60]Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro:
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs. KR 2023: 472-481 - [c59]Marco Calautti, Sergio Greco, Hebatalla Hammad, Tariq Mahmood, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. SEBD 2023: 360-368 - [i5]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. CoRR abs/2307.03071 (2023) - 2022
- [j28]Thomas Lukasiewicz, Enrico Malizia
Inconsistency-tolerant query answering for existential rules. Artif. Intell. 307: 103685 (2022) - [j27]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Preference-based inconsistency-tolerant query answering under existential rules. Artif. Intell. 312: 103772 (2022) - [j26]Enrico Malizia
Guest Editorial: Reasoning With Inconsistent, Incomplete, and Uncertain Knowledge. IEEE Intell. Syst. 37(6): 13-17 (2022) - [j25]Marco Calautti
Query answering over inconsistent knowledge bases: A probabilistic approach. Theor. Comput. Sci. 935: 144-173 (2022) - [j24]Qian Han
Generating Fake Documents Using Probabilistic Logic Graphs. IEEE Trans. Dependable Secur. Comput. 19(4): 2428-2441 (2022) - [c58]Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius:
Explanations for Negative Query Answers under Existential Rules. DP@AI*IA 2022: 65-74 - [c57]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. Datalog 2022: 27-41 - [c56]Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro:
Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics. IJCAI 2022: 2705-2711 - [c55]John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi:
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract). IJCAI 2022: 5742-5746 - [c54]Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
Active Integrity Constraints with Existential Quantification. SEBD 2022: 284-291 - [c53]Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro:
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules. SEBD 2022: 489-496 - 2021
- [j23]Marco Calautti, Luciano Caroprese
Existential active integrity constraints. Expert Syst. Appl. 168: 114297 (2021) - [j22]John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi:
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases. J. Artif. Intell. Res. 71: 733-780 (2021) - [j21]Cristian Molinaro, Chiara Pulice, Anja Subasic, Abigail Bartolome, V. S. Subrahmanian:
STAR: Summarizing Timed Association Rules. Trans. Data Sci. 2(1): 6:1-6:36 (2021) - [c52]Snow Kang, Cristian Molinaro, Andrea Pugliese, V. S. Subrahmanian:
Randomized Generation of Adversary-aware Fake Knowledge Graphs to Combat Intellectual Property Theft. AAAI 2021: 4155-4163 - [c51]Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius:
Preferred Explanations for Ontology-Mediated Queries under Existential Rules. AAAI 2021: 6262-6270 - [c50]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper). SEBD 2021: 217-225 - 2020
- [c49]Thomas Lukasiewicz, Enrico Malizia
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules. AAAI 2020: 2909-2916 - [c48]Marco Calautti, Luciano Caroprese, Sergio Greco
Consistent query answering with prioritized active integrity constraints. IDEAS 2020: 3:1-3:10 - [c47]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. KR 2020: 203-212 - [c46]Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius:
Explanations for Negative Query Answers under Existential Rules. KR 2020: 223-232 - [c45]Marco Calautti, Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Probabilistic Answers over Inconsistent Knowledge Bases. SEBD 2020: 48-55 - [p4]Nicola Fiorentino, Cristian Molinaro, Irina Trubitsyna:
Approximate Query Answering over Incomplete Data. Complex Pattern Mining 2020: 213-227
2010 – 2019
- 2019
- [j20]Sergio Greco
Approximation algorithms for querying incomplete databases. Inf. Syst. 86: 28-45 (2019) - [c44]Nicola Fiorentino, Sergio Greco
ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases. AIKE 2019: 107-110 - [c43]Nicola Fiorentino, Cristian Molinaro, Irina Trubitsyna:
Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases. FQAS 2019: 48-60 - [c42]Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
A System Prototype for Approximate Query Answering over Incomplete Data. SEBD 2019 - 2018
- [j19]John Grant, Cristian Molinaro, Francesco Parisi:
Probabilistic spatio-temporal knowledge bases: Capacity constraints, count queries, and consistency checking. Int. J. Approx. Reason. 100: 1-28 (2018) - [j18]Sergio Greco
Efficient Maintenance of Shortest Distances in Dynamic Graphs. IEEE Trans. Knowl. Data Eng. 30(3): 474-487 (2018) - [c41]Sergio Greco
Algorithms for Computing Approximate Certain Answers over Incomplete Databases. IDEAS 2018: 1-4 - [c40]Sergio Greco
Computing Approximate Query Answers over Inconsistent Knowledge Bases. IJCAI 2018: 1838-1846 - [c39]Thomas Lukasiewicz, Enrico Malizia
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-. IJCAI 2018: 1921-1927 - [c38]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Approximate Query Answering over Inconsistent Knowledge Bases. SEBD 2018 - [c37]Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro:
Complexity of Approximate Query Answering under Inconsistency in Datalog+/-. SEBD 2018 - [c36]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: 49 - [c35]Nicola Fiorentino, Sergio Greco
ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases. SIGMOD Conference 2018: 1685-1688 - [p3]Marco Calautti, Luciano Caroprese
Dealing with Inconsistency in Databases: An Overview. A Comprehensive Guide Through the Italian Database Research 2018: 143-167 - 2017
- [b4]Gerardo I. Simari, Cristian Molinaro, Maria Vanina Martinez, Thomas Lukasiewicz, Livia Predoiu:
Ontology-Based Data Access Leveraging Subjective Reports. Springer Briefs in Computer Science, Springer 2017, ISBN 978-3-319-65228-3, pp. 1-77 - [j17]Sergio Greco
Incremental maintenance of all-pairs shortest paths in relational DBMSs. Soc. Netw. Anal. Min. 7(1): 36:1-36:18 (2017) - [c34]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Computing Approximate Certain Answers over Incomplete Databases. AMW 2017 - [c33]John Grant, Cristian Molinaro, Francesco Parisi:
Count Queries in Probabilistic Spatio-Temporal Knowledge Bases with Capacity Constraints. ECSQARU 2017: 459-469 - [c32]Sergio Greco
Incremental maximum flow computation on evolving networks. SAC 2017: 1061-1067 - [c31]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Approximation Algorithms for Computing Certain Answers over Incomplete Databases. SEBD 2017: 243 - [c30]Sergio Greco
Efficient Maximum Flow Maintenance on Dynamic Networks. WWW (Companion Volume) 2017: 1383-1385 - 2016
- [j16]Chanhyun Kang, Sarit Kraus, Cristian Molinaro, Francesca Spezzano
Diffusion centrality: A paradigm to maximize spread in social networks. Artif. Intell. 239: 70-96 (2016) - [j15]Marco Calautti
Exploiting Equality Generating Dependencies in Checking Chase Termination. Proc. VLDB Endow. 9(5): 396-407 (2016) - [j14]Marco Calautti
Using linear constraints for logic program termination analysis. Theory Pract. Log. Program. 16(3): 353-377 (2016) - [c29]Sergio Greco
All-pairs shortest distances maintenance in relational DBMSs. ASONAM 2016: 215-222 - [c28]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: 175-194 - [c27]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Leveraging Equality Generating Dependencies for Chase Termination. SEBD 2016: 94-101 - [c26]Sergio Greco
Efficient Maintenance of All-Pairs Shortest Distances. SSDBM 2016: 9:1-9:12 - 2015
- [b3]Sergio Greco, Cristian Molinaro:
Datalog and Logic Databases. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2015, ISBN 978-3-031-00726-2 - [c25]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Rewriting-based Check of Chase Termination. AMW 2015 - [c24]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Logic Program Termination Analysis Using Atom Sizes. IJCAI 2015: 2833-2839 - [c23]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Checking Termination of Datalog with Function Symbols Through Linear Constraints. SEBD 2015: 192-199 - [i4]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Using Linear Constraints for Logic Program Termination Analysis. CoRR abs/1512.04097 (2015) - 2014
- [j13]Massimiliano Albanese
Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data. IEEE Trans. Knowl. Data Eng. 26(3): 577-594 (2014) - [j12]Andrea Pugliese
PASS: A Parallel Activity-Search System. IEEE Trans. Knowl. Data Eng. 26(8): 1989-2001 (2014) - [j11]Cristian Molinaro
Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic. ACM Trans. Comput. Log. 15(3): 18:1-18:35 (2014) - [j10]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): 3:1-3:28 (2014) - [c22]Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari:
Answering Ontological Ranking Queries Based on Subjective Reports. PRUV 2014: 127-140 - [c21]Marco Calautti
Checking Termination of Logic Programs with Function Symbols through Linear Constraints. RuleML 2014: 97-111 - [c20]Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna:
Termination Criteria for Datalog with Function Symbols. SEBD 2014: 248-255 - [c19]Thomas Lukasiewicz, Maria Vanina Martínez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari:
Answering Ontological Ranking Queries Based on Subjective Reports. SUM 2014: 223-236 - [p2]Massimiliano Albanese
Recognizing Unexplained Behavior in Network Traffic. Network Science and Cybersecurity 2014: 39-62 - 2013
- [b2]Maria Vanina Martinez, Cristian Molinaro, V. S. Subrahmanian, Leila Amgoud:
A General Framework for Reasoning On Inconsistency. Springer Briefs in Computer Science, Springer 2013, ISBN 978-1-4614-6749-6, pp. i-vii, 1-45 - [j9]Maria Vanina Martinez
Customized Policies for Handling Partial Information in Relational Databases. IEEE Trans. Knowl. Data Eng. 25(6): 1254-1271 (2013) - [j8]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): 10:1-10:40 (2013) - [j7]Sergio Greco
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments. Theory Pract. Log. Program. 13(4-5): 737-752 (2013) - [c18]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols. IJCAI 2013: 926-931 - [c17]John Grant, Cristian Molinaro, Francesco Parisi:
Aggregate Count Queries in Probabilistic Spatio-temporal Databases. SUM 2013: 255-268 - [c16]Massimiliano Albanese
A Logic Framework for Flexible and Security-Aware Service Composition. UIC/ATC 2013: 337-346 - [i3]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 abs/1312.0032 (2013) - 2012
- [b1]Sergio Greco, Cristian Molinaro, Francesca Spezzano
Incomplete Data and Data Dependencies in Relational Databases. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2012, ISBN 978-3-031-00765-1 - [j6]Sergio Greco
Probabilistic query answering over inconsistent databases. Ann. Math. Artif. Intell. 64(2-3): 185-207 (2012) - [c15]Chanhyun Kang, Cristian Molinaro
Diffusion Centrality in Social Networks. ASONAM 2012: 558-564 - 2011
- [j5]Sergio Greco
Consistent query answering over inconsistent databases. Int. J. Knowl. Based Intell. Eng. Syst. 15(3): 119-129 (2011) - [c14]Cristian Molinaro, Amy Sliva, V. S. Subrahmanian:
Abduction in Annotated Probabilistic Temporal Logic. ICLP (Technical Communications) 2011: 240-250 - [c13]Massimiliano Albanese
Finding "Unexplained" Activities in Video. IJCAI 2011: 1628-1634 - 2010
- [j4]Cristian Molinaro
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys. Data Knowl. Eng. 69(7): 709-722 (2010) - [j3]Sergio Greco
NP Datalog: A logic language for expressing search and optimization problems. Theory Pract. Log. Program. 10(2): 125-166 (2010) - [c12]Sergio Greco, Cristian Molinaro, Francesca Spezzano, Irina Trubitsyna:
Querying and Updating Inconsistent Databases (Extended Abstract). SEBD 2010: 438-445
2000 – 2009
- 2009
- [j2]Cristian Molinaro
Disjunctive databases for representing repairs. Ann. Math. Artif. Intell. 57(2): 103-124 (2009) - [c11]Cristian Molinaro, Francesca Spezzano, Sergio Greco:
A System Prototype for Computing Probabilistic Query Answers over Inconsistent Databases. SEBD 2009: 9-20 - [p1]Luciano Caroprese, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
Consistent Queries over Databases with Integrity Constraints. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 2051-2058 - [i2]Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems. CoRR abs/0911.2785 (2009) - 2008
- [c10]Sergio Greco
Approximate Probabilistic Query Answering over Inconsistent Databases. ER 2008: 311-325 - [c9]Sergio Greco
Towards Relational Inconsistent Databases with Functional Dependencies. KES (2) 2008: 695-702 - [c8]Cristian Molinaro
Polynomial Time Queries over Inconsistent Databases. SUM 2008: 312-325 - [i1]Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski:
Disjunctive Databases for Representing Repairs. CoRR abs/0811.2117 (2008) - 2007
- [j1]Filippo Furfaro
A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51(2-4): 167-193 (2007) - [c7]Luciano Caroprese
Prioritized Active Integrity Constraints for Database Maintenance. DASFAA 2007: 459-471 - [c6]Sergio Greco, Cristian Molinaro, Francesco Parisi:
Preference rules in database querying. ICEIS (1) 2007: 119-124 - [c5]Sergio Greco
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. ICLP 2007: 149-164 - [c4]Sergio Greco, Cristian Molinaro, Francesco Parisi:
Exploiting Preference Rules for Querying Databases. SEBD 2007: 405-413 - 2006
- [c3]Sergio Greco
Implementation and Experimentation of the Logic Language NP Datalog. DEXA 2006: 622-633 - [c2]Luciano Caroprese
Integrating and Querying P2P Deductive Databases. IDEAS 2006: 285-290 - [c1]Cristian Molinaro, Sergio Greco, Luciano Caroprese:
Prioritized Active Integrity Constraints for Database Maintenance. SEBD 2006: 20-31
Coauthor Index
[j30] [j29] [c59] [i5] [j27] [j25] [c57] [c54] [j23] [c50] [c48] [c47] [c45] [j20] [c44] [c42] [j18] [c41] [c40] [c38] [c36] [c35] [p3] [j17] [c34] [c32] [c31] [c30] [j15] [j14] [c29] [c27] [c26] [b3] [c25] [c24] [c23] [i4] [c21] [j7] [c18] [b1] [j6] [j5] [j4] [j3] [c12] [c11] [i2] [c10] [c9] [j1] [c7] [c6] [c5] [c4] [c3] [c1]
Maria Vanina Martinez
aka: Maria Vanina Martínez
aka: Maria Vanina Martínez
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 02:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: