Matthew Morris : Publications
Journal papers
-
[1]
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
-
[2]
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)
Conference papers
-
[1]
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
-
[2]
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
-
[3]
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