Skip to content

Bernardo Cuenca Grau

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

69

Venues

9

Active years

2004–2026

Best venue rank

A*

Where they publish

Papers

69 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIThe Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic.Bernardo Cuenca Grau, Eva Feng, Przemyslaw Andrzej Walega
2025ICLRBayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks.Ouns El Harzli, Bernardo Cuenca Grau
2025KRLogical Expressivity and Explanations for Monotonic GNNs with Scoring Functions.Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
2024AAAIDouble-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes.Ouns El Harzli, Bernardo Cuenca Grau, Guillermo Valle Prez, Ard A. Louis
2024ICLROrbit-Equivariant Graph Neural Networks.Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks
2024ICLRFaithful Rule Extraction for Differentiable Rule Learning Models.Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024KRBridging Max Graph Neural Networks and Datalog with Negation.David J. Tena Cucala, Bernardo Cuenca Grau
2024KRRelational Graph Convolutional Networks Do Not Learn Sound Rules.Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024KRMTLearn: Extracting Temporal Rules Using Datalog Rule Learners.Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2023AAAIMaterialisation-Based Reasoning in DatalogMTL with Bounded Intervals.Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
2023AAAIEfficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs.Dingmin Wang, Yeyuan Chen, Bernardo Cuenca Grau
2023ECAIAn Empirical Study of Retrieval-Enhanced Graph Neural Networks.Dingmin Wang, Shengchao Liu, Hanchen Wang, Bernardo Cuenca Grau, Linfeng Song, Jian Tang, Le Song, Qi Liu
2023IJCAICardinality-Minimal Explanations for Monotonic Neural Networks.Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
2023KRRevisiting Inferential Benchmarks for Knowledge Graph Completion.Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
2023KROn the Correspondence Between Monotonic Max-Sum GNNs and Datalog.David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
2022AAAIMeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
2022ICLRExplainable GNN-Based Models over Knowledge Graphs.David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
2022KRFaithful Approaches to Rule Learning.David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik
2021AAAIStratified Negation in Datalog with Metric Temporal Operators.David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev
2021KRDatalogMTL with Negation Under Stable Models Semantics.Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau
2021KRFinitely Materialisable Datalog Programs with Metric Temporal Operators.Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
2020AAAIComplexity and Expressive Power of Disjunction and Negation in Limit Datalog.Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2020IJCAITractable Fragments of Datalog with Metric Temporal Operators.Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2020KRDatalogMTL over the Integer Timeline.Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2019AAAIReasoning over Streaming Data in Metric Temporal Datalog.Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
2019IJCAISatisfaction and Implication of Integrity Constraints in Ontology-based Data Access.Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
2019IJCAIDatalogMTL: Computational Complexity and Expressive Power.Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
2018AAAIStream Reasoning in Temporal Datalog.Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
2018IJCAIConsequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2018IJCAIStratified Negation in Limit Datalog Programs.Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2018KRThe Window Validity Problem in Rule-Based Stream Reasoning.Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2017AAAISource Information Disclosure in Ontology-Based Data Integration.Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
2017CIKMSemFacet: Making Hard Faceted Search Easier.Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
2017IJCAIFoundations of Declarative Data Analysis Using Limit Datalog Programs.Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
2017IJCAIThe Bag Semantics of Ontology-Based Data Access.Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2016AAAILogical Foundations of Privacy-Preserving Publishing of Linked Data.Bernardo Cuenca Grau, Egor V. Kostylev
2016KRExtending Consequence-Based Reasoning to SRIQ.Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simanck, Ian Horrocks
2016WWWSemantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
2015AAAIOntology Module Extraction via Datalog Reasoning.Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
2015IJCAIThe Combined Approach to Query Answering Beyond the OWL 2 Profiles.Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
2015IJCAIControlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
2015IJCAIComputing Horn Rewritings of Description Logics Ontologies.Mark Kaminski, Bernardo Cuenca Grau
2014AAAIDatalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
2014AAAIPay-As-You-Go OWL Query Answering Using a Triple Store.Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2014CADEUntitled recordDavid Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
2014CIKMFaceted Search over Ontology-Enhanced RDF Data.Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2014WWWTowards semantic faceted search.Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2014WWWSemFacet: semantic faceted search over yago.Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jimnez-Ruiz
2013IJCAIComputing Datalog Rewritings Beyond Horn Ontologies.Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
2013WWWMaking the most of your triple store: query answering in OWL 2 using an RL reasoner.Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee
2012AAAIBenchmarking Ontology-Based Query Rewriting Systems.Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau
2012ECAILarge-scale Interactive Ontology Matching: Algorithms and Implementation.Ernesto Jimnez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks
2012KRAcyclicity Conditions and their Application to Query Answering in Description Logics.Bernardo Cuenca Grau, Ian Horrocks, Markus Krtzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
2012KROntology Evolution Under Semantic Constraints.Bernardo Cuenca Grau, Ernesto Jimnez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
2011IJCAIWhat to Ask to an Incomplete Semantic Web Reasoner?.Bernardo Cuenca Grau, Giorgos Stoilos
2010AAAIHow Incomplete Is Your Semantic Web Reasoner?Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
2010KRPushing the Limits of Reasoning over Ontologies with Hidden Content.Bernardo Cuenca Grau, Boris Motik
2009IJCAIImport-by-Query: Ontology Reasoning under Access Limitations.Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov
2008AAAIMetalevel Information in Ontology-Based Applications.Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks
2008ECAIPrivacy-Preserving Query Answering in Logic-based Information Systems.Bernardo Cuenca Grau, Ian Horrocks
2008KRRepresenting Structured Objects using Description Graphs.Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
2008WWWStructured objects in owl: representation and reasoning.Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
2007IJCAIA Logical Framework for Modularity of Ontologies.Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2007WWWJust the right amount: extracting modules from ontologies.Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
2006ICLPIntegrating Datalog with OWL: Exploring the AL-log Approach.Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau
2006KRModularity and Web Ontologies.Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
2006KRFrom Wine to Water: Optimizing Description Logic Reasoning for Nominals.Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia
2005AAAIGeneralized Link Properties for Expressive epsilon-Connections of Description Logics.Bijan Parsia, Bernardo Cuenca Grau
2004WWWA possible simplification of the semantic web architecture.Bernardo Cuenca Grau