Ian Horrocks
23 papers · 2013–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Academic Marathon (11) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π Cross-Pollinator (5)
π
Conference Polyglot
(5)
π
Academic Marathon
(11)
π€
Dynamic Duo
(11)
π₯
Unstoppable
(8)
π
Century Club
(23)
π
Trend Setter
π
Conference Pioneer
ποΈ
Keyword Collector
(93)
Conferences
IJCAI (13)
AAAI (5)
ICLR (2)
NIPS (2)
ACL (1)
Top co-authors
Keywords
logic programming
(3)
knowledge base
(3)
language model
(2)
column type prediction
(2)
data complexity
(2)
knowledge representation
(2)
query answering
(2)
semantic embedding
(2)
datalog reasoning
(2)
ontology-based data access
(2)
computational complexity
(2)
description logic
(2)
complexity analysis
(1)
ontology alignment
(1)
constraint satisfaction
(1)
semantic matching
(1)
entity linking
(1)
link prediction
(1)
convolutional neural network
(1)
natural language inference
(1)
Papers
Orbit-Equivariant Graph Neural Networks
ICLR 2024
Language Models as Hierarchy Encoders
NIPS 2024
Faithful Rule Extraction for Differentiable Rule Learning Models
ICLR 2024
Optimised Storage for Datalog Reasoning
AAAI 2024
Language Model Analysis for Ontology Subsumption Inference
ACL 2023
Cardinality-Minimal Explanations for Monotonic Neural Networks
IJCAI 2023
Enhancing Datalog Reasoning with Hypertree Decompositions
IJCAI 2023
BERTMap: A BERT-Based Ontology Alignment System
AAAI 2022
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding
NIPS 2021
Knowledge-aware Zero-Shot Learning: Survey and Perspective
IJCAI 2021
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
AAAI 2020
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
IJCAI 2019
Modular Materialisation of Datalog Programs
AAAI 2019
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
AAAI 2019
Learning Semantic Annotations for Tabular Data
IJCAI 2019
Stratified Negation in Limit Datalog Programs
IJCAI 2018
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
IJCAI 2018
The Bag Semantics of Ontology-Based Data Access
IJCAI 2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
IJCAI 2015
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
IJCAI 2015
Computing Stable Models for Nonmonotonic Existential Rules
IJCAI 2013
Computing Datalog Rewritings Beyond Horn Ontologies
IJCAI 2013