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