Matthew Morris : Publications

Algorithmic definitions for KLM−style defeasible disjunctive Datalog

Matthew Morris‚ Tala Ross and Thomas Meyer

In South African Computer Journal. Vol. 32. Pages 141−160. 2020.

Details about Algorithmic definitions for KLM−style defeasible disjunctive Datalog | BibTeX data for Algorithmic definitions for KLM−style defeasible disjunctive Datalog | DOI (https://doi.org/10.18489/sacj.v32i2.846)

Learning Proof Path Selection Policies in Neural Theorem Proving

Matthew Morris‚ Pasquale Minervini and Phil Blunsom

2022.

Details about Learning Proof Path Selection Policies in Neural Theorem Proving | BibTeX data for Learning Proof Path Selection Policies in Neural Theorem Proving | Download (pdf) of Learning Proof Path Selection Policies in Neural Theorem Proving

Orbit−Equivariant Graph Neural Networks

Matthew Morris‚ Bernardo Cuenca Grau and Ian Horrocks

In The Twelfth International Conference on Learning Representations. 2024.

Details about Orbit−Equivariant Graph Neural Networks | BibTeX data for Orbit−Equivariant Graph Neural Networks | Link to Orbit−Equivariant Graph Neural Networks

Relational Graph Convolutional Networks Do Not Learn Sound Rules

Matthew Morris‚ David J Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

In 21st International Conference on Principles of Knowledge Representation and Reasoning. 2024.

Details about Relational Graph Convolutional Networks Do Not Learn Sound Rules | BibTeX data for Relational Graph Convolutional Networks Do Not Learn Sound Rules

Universally Expressive Communication in Multi−Agent Reinforcement Learning

Matthew Morris Thomas D Barrett and Arnu Pretorius

In Thirty−sixth Conference on Neural Information Processing Systems (NeurIPS). 2022.

Details about Universally Expressive Communication in Multi−Agent Reinforcement Learning | BibTeX data for Universally Expressive Communication in Multi−Agent Reinforcement Learning | Link to Universally Expressive Communication in Multi−Agent Reinforcement Learning