Matthew Morris

15 papers A* 4C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions.
KR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
2025 J jnl
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions.
CoRR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
2025 J jnl
Sound Logical Explanations for Mean Aggregation Graph Neural Networks.
CoRR
Matthew Morris, Ian Horrocks
2024 A* conf
Orbit-Equivariant Graph Neural Networks.
ICLR
Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks
2024 A* conf
Relational Graph Convolutional Networks Do Not Learn Sound Rules.
KR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024 J jnl
Relational Graph Convolutional Networks Do Not Learn Sound Rules.
CoRR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2023 — conf
Utilizing Professional Development to Improve Student Career Outcomes in Computer Science and Software Engineering.
SIGCSE (2)
Clint Lovelace, Michael Covington, Matthew Morris
2022 C conf
Learning Proof Path Selection Policies in Neural Theorem Proving.
NeSy
Matthew Morris, Pasquale Minervini, Phil Blunsom
2022 A* conf
Universally Expressive Communication in Multi-Agent Reinforcement Learning.
NeurIPS
Matthew Morris, Thomas D. Barrett, Arnu Pretorius
2022 J jnl
Universally Expressive Communication in Multi-Agent Reinforcement Learning.
CoRR
Matthew Morris, Thomas D. Barrett, Arnu Pretorius
2021 J jnl
Beta-VAE Reproducibility: Challenges and Extensions.
CoRR
Miroslav Fil, Munib Mesinovic, Matthew Morris, Jonas Wildberger
2020 J jnl
Algorithmic definitions for KLM-style defeasible disjunctive Datalog.
South Afr. Comput. J.
Matthew Morris, Tala Ross, Thomas Meyer
2019 — conf
Defeasible disjunctive datalog.
FAIR
Matthew Morris, Tala Ross, Thomas Meyer
2019 — conf
Leveraging Ontologies for Natural Language Processing in Enterprise Applications.
OTM Workshops
Tatiana N. Erekhinskaya, Matthew Morris, Dmitriy Strebkov, Dan I. Moldovan
2012 J jnl
Moving toward arbitrary interoperability.
J. Comput. Sci. Coll.
Matthew Morris