Ian Horrocks
23 papers · 2013–2024 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (34) π Academic Marathon Β· Half π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π€
Dynamic Duo
(11)
π
Renaissance Researcher
(7)
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
π
Century Club Β· Bronze
π
Trend Setter
ποΈ
Keyword Collector
(95)
Venues
Top co-authors
Research topics
Machine Learning
(13)
Artificial Intelligence
(9)
Core AI
(8)
Knowledge & Reasoning
(7)
Optimization & Theory
(7)
Core Methods
(5)
Reasoning
(5)
Representation
(5)
Deep Learning
(4)
Architectures
(4)
Computer Science
(3)
Mathematics & Optimization
(3)
Natural Language Processing
(3)
Applications
(3)
Foundations
(2)
Keywords
logic programming
(3)
knowledge base
(3)
semantic embedding
(2)
graph neural network
(2)
description logic
(2)
language model
(2)
data complexity
(2)
ontology-based data access
(2)
computational complexity
(2)
query answering
(2)
column type prediction
(2)
datalog reasoning
(2)
knowledge representation
(2)
knowledge graph
(2)
complexity analysis
(1)
ontology alignment
(1)
constraint satisfaction
(1)
semantic matching
(1)
entity linking
(1)
link prediction
(1)
Papers
Faithful Rule Extraction for Differentiable Rule Learning Models
ICLR 2024
Language Models as Hierarchy Encoders
NeurIPS 2024
Optimised Storage for Datalog Reasoning
AAAI 2024
Orbit-Equivariant Graph Neural Networks
ICLR 2024
Cardinality-Minimal Explanations for Monotonic Neural Networks
IJCAI 2023
Enhancing Datalog Reasoning with Hypertree Decompositions
IJCAI 2023
Language Model Analysis for Ontology Subsumption Inference
ACL 2023
BERTMap: A BERT-Based Ontology Alignment System
AAAI 2022
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding
NeurIPS 2021
Knowledge-aware Zero-Shot Learning: Survey and Perspective
IJCAI 2021
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
AAAI 2020
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
AAAI 2019
Learning Semantic Annotations for Tabular Data
IJCAI 2019
Modular Materialisation of Datalog Programs
AAAI 2019
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
IJCAI 2019
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
IJCAI 2018
Stratified Negation in Limit Datalog Programs
IJCAI 2018
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017
The Bag Semantics of Ontology-Based Data Access
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 Datalog Rewritings Beyond Horn Ontologies
IJCAI 2013
Computing Stable Models for Nonmonotonic Existential Rules
IJCAI 2013