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