Proceedings

Ian Horrocks

9 papers in the IJCAI proceedings

IJCAI 2023

Cardinality-Minimal Explanations for Monotonic Neural Networks
with Ouns El Harzli, Bernardo Cuenca Grau
doi:10.24963/ijcai.2023/409
Details PDF
Enhancing Datalog Reasoning with Hypertree Decompositions
with Xinyue Zhang, Pan Hu, Yavor Nenov
doi:10.24963/ijcai.2023/377
Details PDF

IJCAI 2021

Knowledge-aware Zero-Shot Learning: Survey and Perspective
with Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Jeff Z. Pan, Huajun Chen
doi:10.24963/ijcai.2021/597
Details PDF

IJCAI 2019

Learning Semantic Annotations for Tabular Data
with Jiaoyan Chen, Ernesto Jimenez-Ruiz, Charles Sutton
doi:10.24963/ijcai.2019/289
Details PDF
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
with Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski
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, Bernardo Cuenca Grau
doi:10.24963/ijcai.2018/272
Details PDF
Stratified Negation in Limit Datalog Programs
with Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
doi:10.24963/ijcai.2018/259
Details PDF

IJCAI 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs
with Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
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, Bernardo Cuenca Grau
doi:10.24963/ijcai.2017/170
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards