Grau, Bernardo Cuenca

48 publications

ICLR 2025 Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks Ouns El Harzli, Bernardo Cuenca Grau
NeurIPSW 2024 Adversarial Attacks as Near-Zero Eigenvalues in the Empirical Kernel of Neural Networks Ouns El Harzli, Bernardo Cuenca Grau
NeurIPSW 2024 Algorithmic Stability of Minimum-Norm Interpolating Deep Neural Networks Ouns El Harzli, Yoonsoo Nam, Ilja Kuzborskij, Bernardo Cuenca Grau, Ard A. Louis
NeurIPSW 2024 Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks Ouns El Harzli, Bernardo Cuenca Grau
AAAI 2024 Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes Ouns El Harzli, Bernardo Cuenca Grau, Guillermo Valle Pérez, Ard A. Louis
ICLR 2024 Faithful Rule Extraction for Differentiable Rule Learning Models Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
ICLR 2024 Orbit-Equivariant Graph Neural Networks Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks
IJCAI 2023 Cardinality-Minimal Explanations for Monotonic Neural Networks Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
AAAI 2023 Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs Dingmin Wang, Yeyuan Chen, Bernardo Cuenca Grau
JAIR 2023 Finite Materialisability of Datalog Programs with Metric Temporal Operators Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
AAAI 2023 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
ICLR 2022 Explainable GNN-Based Models over Knowledge Graphs David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
AAAI 2022 METEOR: Practical Reasoning in Datalog with Metric Temporal Operators Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
AAAI 2021 Stratified Negation in Datalog with Metric Temporal Operators David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev
AAAI 2020 Complexity and Expressive Power of Disjunction and Negation in Limit Datalog Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
IJCAI 2020 Tractable Fragments of Datalog with Metric Temporal Operators Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
IJCAI 2019 DatalogMTL: Computational Complexity and Expressive Power Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
JAIR 2019 Logical Foundations of Linked Data Anonymisation Bernardo Cuenca Grau, Egor V. Kostylev
AAAI 2019 Reasoning over Streaming Data in Metric Temporal Datalog Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
IJCAI 2019 Satisfaction and Implication of Integrity Constraints in Ontology-Based Data Access Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
IJCAI 2018 Consequence-Based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
JAIR 2018 Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks
IJCAI 2018 Stratified Negation in Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
AAAI 2018 Stream Reasoning in Temporal Datalog Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
IJCAI 2017 Foundations of Declarative Data Analysis Using Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
AAAI 2017 Source Information Disclosure in Ontology-Based Data Integration Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
IJCAI 2017 The Bag Semantics of Ontology-Based Data Access Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
AAAI 2016 Logical Foundations of Privacy-Preserving Publishing of Linked Data Bernardo Cuenca Grau, Egor V. Kostylev
JAIR 2016 Module Extraction in Expressive Ontology Languages via Datalog Reasoning Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
IJCAI 2015 Computing Horn Rewritings of Description Logics Ontologies Mark Kaminski, Bernardo Cuenca Grau
IJCAI 2015 Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
AAAI 2015 Ontology Module Extraction via Datalog Reasoning Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
JAIR 2015 PAGOdA: Pay-as-You-Go Ontology Query Answering Using a Datalog Reasoner Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
IJCAI 2015 The Combined Approach to Query Answering Beyond the OWL 2 Profiles Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
AAAI 2014 Datalog Rewritability of Disjunctive Datalog Programs and Its Applications to Ontology Reasoning Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
AAAI 2014 Pay-as-You-Go OWL Query Answering Using a Triple Store Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
JAIR 2013 Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
IJCAI 2013 Computing Datalog Rewritings Beyond Horn Ontologies Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
AAAI 2012 Benchmarking Ontology-Based Query Rewriting Systems Martha Imprialou, Giorgos Stoilos, Bernardo Cuenca Grau
JAIR 2012 Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
JAIR 2012 Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach Bernardo Cuenca Grau, Boris Motik
IJCAI 2011 What to Ask to an Incomplete Semantic Web Reasoner? Bernardo Cuenca Grau, Giorgos Stoilos
AAAI 2010 How Incomplete Is Your Semantic Web Reasoner? Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks
IJCAI 2009 Import-by-Query: Ontology Reasoning Under Access Limitations Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov
AAAI 2008 Metalevel Information in Ontology-Based Applications Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks
JAIR 2008 Modular Reuse of Ontologies: Theory and Practice Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
IJCAI 2007 A Logical Framework for Modularity of Ontologies Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
AAAI 2005 Generalized Link Properties for Expressive Epsilon-Connections of Description Logics Bijan Parsia, Bernardo Cuenca Grau