Matthew Morris : Publications

Click here to download all publications in a single bibtex file

@inproceedings{morris2025logical,
  title = "{Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions}",
  author = "Morris, Matthew and J. Tena Cucala, David and Cuenca Grau, Bernardo",
  year = "2025",
  booktitle = "{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}",
  month = "10",
  pages = "477--488",
  url = "https://doi.org/10.24963/kr.2025/47",
  doi = "10.24963/kr.2025/47",
}

@inproceedings{morris2025sound,
  title = "Sound Logical Explanations for Mean Aggregation Graph Neural Networks",
  author = "Morris, Matthew and Horrocks, Ian",
  year = "2025",
  booktitle = "The Thirty-ninth Annual Conference on Neural Information Processing Systems",
}

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