Bernardo Cuenca Grau

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 97

Top Venues

Publications

Dingmin Wang, Przemyslaw Andrzej Walega, Pan Hu, Bernardo Cuenca Grau
Practical Reasoning in DatalogMTL. CoRR (2024)
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
The Stable Model Semantics of Datalog with Metric Temporal Operators. Theory Pract. Log. Program. 24 (1) (2024)
Ouns El Harzli, Bernardo Cuenca Grau, Guillermo Valle Pérez, Ard A. Louis
Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes. AAAI (2024)
Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks
Orbit-Equivariant Graph Neural Networks. ICLR (2024)
Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Faithful Rule Extraction for Differentiable Rule Learning Models. ICLR (2024)
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
Revisiting Inferential Benchmarks for Knowledge Graph Completion. CoRR (2023)
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
Revisiting Inferential Benchmarks for Knowledge Graph Completion. KR (2023)
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
The Stable Model Semantics of Datalog with Metric Temporal Operators. CoRR (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Finite Materialisability of Datalog Programs with Metric Temporal Operators. J. Artif. Intell. Res. 76 (2023)
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR (2023)
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR (2023)
Dingmin Wang, Yeyuan Chen, Bernardo Cuenca Grau
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs. AAAI (2023)
Dingmin Wang, Shengchao Liu, Hanchen Wang, Bernardo Cuenca Grau, Linfeng Song, Jian Tang, Le Song, Qi Liu
An Empirical Study of Retrieval-Enhanced Graph Neural Networks. ECAI (2023)
Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
Cardinality-Minimal Explanations for Monotonic Neural Networks. IJCAI (2023)
Przemyslaw Andrzej Walega, Mark Kaminski, Dingmin Wang, Bernardo Cuenca Grau
Stream reasoning with DatalogMTL. J. Web Semant. 76 (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. AAAI (2023)
Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
Seminaïve Materialisation in DatalogMTL. RuleML+RR (2022)
Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
Seminaive Materialisation in DatalogMTL. CoRR (2022)
David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
Explainable GNN-Based Models over Knowledge Graphs. ICLR (2022)
David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik
Faithful Approaches to Rule Learning. KR (2022)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Reasoning Techniques in DatalogMTL. Datalog (2022)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The delay and window size problems in rule-based stream reasoning. Artif. Intell. 306 (2022)
Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. CoRR (2022)
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
The Complexity and Expressive Power of Limit Datalog. J. ACM 69 (1) (2022)
Dingmin Wang, Shengchao Liu, Hanchen Wang, Linfeng Song, Jian Tang, Song Le, Bernardo Cuenca Grau, Qi Liu
Augmenting Message Passing by Retrieving Similar Graphs. CoRR (2022)
Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
Minimal Explanations for Neural Network Predictions. CoRR (2022)
Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI (2022)
Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau
Finitely Materialisable Datalog Programs with Metric Temporal Operators. KR (2021)
Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau
DatalogMTL with Negation Under Stable Models Semantics. KR (2021)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell. 298 (2021)
David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev
Stratified Negation in Datalog with Metric Temporal Operators. AAAI (2021)
Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. NeurIPS (2021)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. AAAI (2020)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL over the Integer Timeline. KR (2020)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
Tractable Fragments of Datalog with Metric Temporal Operators. IJCAI (2020)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Sequoia: A Consequence Based Reasoner for SROIQ. Description Logics (2019)
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Bagging the DL-Lite Family Further. Description Logics (2019)
Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. 48 (4) (2019)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That (2019)
Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau
Reasoning over Streaming Data in Metric Temporal Datalog. AAAI (2019)
Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
Query-Based Entity Comparison in Knowledge Graphs Revisited. ISWC (1) (2019)
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Foundations of ontology-based data access under bag semantics. Artif. Intell. 274 (2019)
Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
DatalogMTL: Computational Complexity and Expressive Power. IJCAI (2019)
Gianluca Cima, Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Bag Semantics of DL-Lite with Functionality Axioms. ISWC (1) (2019)
Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
Towards Explainable Entity Matching via Comparison Queries. OM@ISWC (2019)
Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. IJCAI (2019)
Bernardo Cuenca Grau, Egor V. Kostylev
Logical Foundations of Linked Data Anonymisation. J. Artif. Intell. Res. 64 (2019)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
Stream Reasoning in Temporal Datalog. AAAI (2018)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross
LogMap family participation in the OAEI 2018. OM@ISWC (2018)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Window Validity Problem in Rule-Based Stream Reasoning. CoRR (2018)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. 63 (2018)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Stratified Negation in Limit Datalog Programs. CoRR (2018)
Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
Logical foundations of information disclosure in ontology-based data integration. Artif. Intell. 262 (2018)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. IJCAI (2018)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Stratified Negation in Limit Datalog Programs. IJCAI (2018)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. CoRR (2018)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Window Validity Problem in Rule-Based Stream Reasoning. KR (2018)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie Cross
LogMap family participation in the OAEI 2017. OM@ISWC (2017)
Michael Benedikt, Bernardo Cuenca Grau, Egor V. Kostylev
Source Information Disclosure in Ontology-Based Data Integration. AAAI (2017)
Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
SemFacet: Making Hard Faceted Search Easier. CIKM (2017)
Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks
Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. ISWC (Posters, Demos & Industry Tracks) (2017)
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
Query Nesting, Assignment, and Aggregation in SPARQL 1.1. ACM Trans. Database Syst. 42 (3) (2017)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
Stream Reasoning in Temporal Datalog. CoRR (2017)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR (2017)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI (2017)
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Bag Semantics of Ontology-Based Data Access. CoRR (2017)
Evgeny Sherkhonov, Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev
Semantic Faceted Search with Aggregation and Recursion. ISWC (1) (2017)
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
The Bag Semantics of Ontology-Based Data Access. IJCAI (2017)
Alina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks
Entity Comparison in RDF Graphs. ISWC (1) (2017)
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. Description Logics (2017)
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. Artif. Intell. 236 (2016)
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau
Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. WWW (2016)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. 55 (2016)
Alexandros Chortaras, Bernardo Cuenca Grau, Giorgos B. Stamou, Giorgos Stoilos
Reformulating Ontological Queries Using Materialised Rewritings. WIMS (2016)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Ontology Module Extraction via Datalog Reasoning. Description Logics (2016)
Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
SOMM: Industry Oriented Ontology Management Tool. ISWC (Posters & Demos) (2016)
Bernardo Cuenca Grau, Egor V. Kostylev
Logical Foundations of Privacy-Preserving Publishing of Linked Data. AAAI (2016)
Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, Ian Horrocks
Capturing Industrial Information Models with Ontologies and Constraints. ISWC (2) (2016)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Valerie V. Cross
LogMap family participation in the OAEI 2016. OM@ISWC (2016)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SRIQ. KR (2016)
Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
Faceted search over RDF-based knowledge graphs. J. Web Semant. (2016)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SRIQ. CoRR (2016)
Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas
SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs. ISWC (Posters & Demos) (2016)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Alessandro Solimando, Valerie V. Cross
LogMap family results for OAEI 2015. OM (2015)
Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks
PAGOdA: Pay-as-you-go ABox Reasoning. Description Logics (2015)
Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. J. Artif. Intell. Res. 54 (2015)
Mark Kaminski, Bernardo Cuenca Grau
Polynomial Horn Rewritings for Description Logics Ontologies. Description Logics (2015)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Ontology Module Extraction via Datalog Reasoning. AAAI (2015)
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
Extending the Combined Approach Beyond Lightweight Description Logics. Description Logics (2015)
Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
Ontology-based Query Answering with PAGOdA. ORE (2015)
Mark Kaminski, Bernardo Cuenca Grau
Computing Horn Rewritings of Description Logics Ontologies. CoRR (2015)
Mark Kaminski, Bernardo Cuenca Grau
Computing Horn Rewritings of Description Logics Ontologies. IJCAI (2015)
Egor V. Kostylev, Bernardo Cuenca Grau
Semantics of SPARQL under OWL 2 Entailment Regimes. Description Logics (2015)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SHIQ. Description Logics (2015)
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
The Combined Approach to Query Answering Beyond the OWL 2 Profiles. IJCAI (2015)
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. CoRR (2015)
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. IJCAI (2015)
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Ontology Module Extraction via Datalog Reasoning. CoRR (2014)
David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
-ifying Ontologies. IJCAR (2014)
David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks
Pushing the Boundaries of Tractable Ontology Reasoning. ISWC (2) (2014)

Bernardo Cuenca Grau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernardo Cuenca Grau