Personal information

Activities

Collapse all

Education and qualifications (1)

University of Oxford: Oxford, Oxfordshire, GB

(Department of Computer Science; St Edmund Hall)
Education
Source: check_circle
ORCID Integration at the University of Oxford

Works (5)

Relational graph convolutional networks do not learn sound rules

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning
2024-11-08 | Conference paper
DOI: 10.24963/kr.2024/84
SOURCE-WORK-ID:

2023081

Part of ISSN: 2334-1033
Contributors: Matthew Morris; David J Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks
Source: check_circle
University of Oxford - Symplectic Elements

Orbit-equivariant graph neural networks

Proceedings of the 12th International Conference on Learning Representations (ICLR 2024)
2024-01-16 | Conference paper
SOURCE-WORK-ID:

2022178
Contributors: Matthew Morris; Bernardo Cuenca Grau; Ian Horrocks
Source: check_circle
University of Oxford - Symplectic Elements

Learning Proof Path Selection Policies in Neural Theorem Proving

CEUR Workshop Proceedings
2022-01-01 | Conference paper
SOURCE-WORK-ID:

1286424

Part of ISSN: 1613-0073
Contributors: Matthew Morris; P Minervini; Phil Blunsom
Source: check_circle
University of Oxford - Symplectic Elements

Defeasible disjunctive datalog

CEUR Workshop Proceedings
2019-01-01 | Conference paper
SOURCE-WORK-ID:

2024715

Part of ISSN: 1613-0073
Contributors: Matthew Morris; T Ross; T Meyer
Source: check_circle
University of Oxford - Symplectic Elements

Algorithmic definitions for KLM-style defeasible disjunctive Datalog

South African Computer Journal
Journal article
DOI: 10.18489/sacj.v32i2.846
SOURCE-WORK-ID:

2023080

Part of ISSN: 1015-7999
Contributors: Matthew Morris; Tala Ross; Thomas Meyer
Source: check_circle
University of Oxford - Symplectic Elements
grade
Preferred source (of 2)‎
How many people are using ORCID?