Bernardo Cuenca Grau

Department of Computer Science , University of Oxford

15 papers in the IJCAI proceedings

IJCAI 2023

Cardinality-Minimal Explanations for Monotonic Neural Networks

with Ouns El Harzli, Ian Horrocks

doi:10.24963/ijcai.2023/409

Details PDF

IJCAI 2020

Tractable Fragments of Datalog with Metric Temporal Operators

with Przemysław A. Wałęga, Mark Kaminski, Egor V. Kostylev

doi:10.24963/ijcai.2020/266

Details PDF

IJCAI 2019

DatalogMTL: Computational Complexity and Expressive Power

with Przemysław A. Wałęga, Mark Kaminski, Egor V. Kostylev

doi:10.24963/ijcai.2019/261

Details PDF

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access

with Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Ian Horrocks

doi:10.24963/ijcai.2019/253

Details PDF

IJCAI 2018

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals

with David Tena Cucala, Ian Horrocks

doi:10.24963/ijcai.2018/272

Details PDF

Stratified Negation in Limit Datalog Programs

with Mark Kaminski, Egor V. Kostylev, Boris Motik, Ian Horrocks

doi:10.24963/ijcai.2018/259

Details PDF

IJCAI 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs

with Mark Kaminski, Egor V. Kostylev, Boris Motik, Ian Horrocks

doi:10.24963/ijcai.2017/156

Details PDF

The Bag Semantics of Ontology-Based Data Access

with Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Ian Horrocks

doi:10.24963/ijcai.2017/170

Details PDF

IJCAI 2015

Computing Horn Rewritings of Description Logics Ontologies

with Mark Kaminski

Details PDF

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies

with Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov

Details PDF

The Combined Approach to Query Answering Beyond the OWL 2 Profiles

with Cristina Feier, David Carral, Giorgio Stefanoni, Ian Horrocks

Details PDF

IJCAI 2013

Computing Datalog Rewritings Beyond Horn Ontologies

with Boris Motik, Giorgos Stoilos, Ian Horrocks

Details PDF

IJCAI 2011

What to Ask to an Incomplete Semantic Web Reasoner?

with Giorgos Stoilos

doi:10.5591/978-1-57735-516-8/IJCAI11-371

Details PDF

IJCAI 2009

Import-by-Query: Ontology Reasoning under Access Limitations

with Boris Motik, Yevgeny Kazakov

Details PDF

IJCAI 2007

A Logical Framework for Modularity of Ontologies

with Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Details PDF