Skip to main content

Matthew Morris : Publications

Click here to download all publications in a single bibtex file

@article{15379,
  title = "Universally Expressive Communication in Multi-Agent Reinforcement Learning",
  author = "Matthew Morris, Thomas D Barrett, and Arnu Pretorius",
  year = "2022",
  journal = "Thirty-sixth Conference on Neural Information Processing Systems (NeurIPS)",
  url = "https://arxiv.org/abs/2206.06758",
}
@conference{15377,
  title = "Learning Proof Path Selection Policies in Neural Theorem Proving",
  author = "Matthew Morris and Pasquale Minervini and Phil Blunsom",
  year = "2022",
  journal = "4th Conference on Automated Knowledge Base Construction (AKBC)",
  url = "http://ceur-ws.org/Vol-3212/paper5.pdf",
}
@article{15378,
  title = "Algorithmic definitions for KLM-style defeasible disjunctive Datalog",
  author = "Matthew Morris and Tala Ross and Thomas Meyer",
  year = "2020",
  journal = "South African Computer Journal",
  pages = "141-160",
  volume = "32",
  doi = "https://doi.org/10.18489/sacj.v32i2.846",
}