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]

  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