Matthew Morris : Publications

Click here to download all publications in a single bibtex file

@inproceedings{morris2024relational,
  title = "Relational Graph Convolutional Networks Do Not Learn Sound Rules",
  author = "Morris, Matthew and Cucala, David J Tena and Grau, Bernardo Cuenca and Horrocks, Ian",
  year = "2024",
  booktitle = "21st International Conference on Principles of Knowledge Representation and Reasoning",
}

@inproceedings{morris2024orbit,
  title = "Orbit-Equivariant Graph Neural Networks",
  author = "Morris, Matthew and Cuenca Grau, Bernardo and Horrocks, Ian",
  year = "2024",
  booktitle = "The Twelfth International Conference on Learning Representations",
  url = "https://openreview.net/forum?id=GkJOCga62u",
}

@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",
}