Proceedings

Ian Horrocks

Department of Computer Science , University of Oxford , Oxford , UK

21 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

IJCAI 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
with Boris Motik, Yavor Nenov, Robert Piro
Details PDF
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
with Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau
Details PDF

IJCAI 2013

Computing Datalog Rewritings Beyond Horn Ontologies
with Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos
Details PDF
Computing Stable Models for Nonmonotonic Existential Rules
with Despoina Magka, Markus Krötzsch
Details PDF

IJCAI 2011

Consequence-Based Reasoning beyond Horn Ontologies
with Frantisek Simancik, Yevgeny Kazakov
doi:10.5591/978-1-57735-516-8/IJCAI11-187
Details PDF

IJCAI 2007

A Logical Framework for Modularity of Ontologies
with Bernardo Cuenca Grau, Yevgeny Kazakov, Ulrike Sattler
Details PDF
Conjunctive Query Answering for the Description Logic SHIQ
with Birte Glimm, Carsten Lutz, Ulrike Sattler
Details PDF

IJCAI 2005

A Tableaux Decision Procedure for SHOIQ
with Ulrike Sattler
Details PDF
Ordering Heuristics for Description Logic Reasoning
with Dmitry Tsarkov
Details PDF

IJCAI 2003

Decidability of SHIQ with Complex Role Inclusion Axioms
with Ulrike Sattler
Details PDF
Keys, Nominals, and Concrete Domains
with Carsten Lutz, Carlos Areces, Ulrike Sattler
Details PDF

IJCAI 2001

Ontology Reasoning in the SHOQ(D) Description Logic
with Ulrike Sattler
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards