Proceedings

Bernardo Cuenca Grau

8 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
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards