Kwabena Nuamah

Research Interests

My research interests include knowledge representation, question answering using inferences drawn from web knowledge graphs, distributed learning and reasoning systems, and explainable AI. I am currently focused on the hybrid forms of reasoning that combine both symbolic and sub-symbolic methods (including neural networks) in a hybrid and compositional architecture.

I co-founded the FRANK Lab with Prof Alan Bundy where we focus our research and discussions on the FRANK (Functional Reasoner for Acquiring New Knowledge) question-answering system.
I am also a co-founder of Cognate Systems, a software engineering company in Ghana.

Recent Activities

• Co-organizing the Workshop on Knowledge Representation for Hybrid and Compositional AI (KRHCAI)
  Kwabena Nuamah, Jeff Z. Pan, Pavan Kapanipathi and Efi Tsamoura. Organised in conjunction with KR 2021 (18th International Conference on Principles of Knowledge Representation and Reasoning).

Publications

Google Scholar Link

• Nuamah, Kwabena and Bundy, Alan. ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web. 2023 (Under Review).
• Bundy, Alan, and Nuamah, Kwabena. Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms. In International Conference on Intelligent Computer Mathematics (pp. 209-221). Springer, Cham., 2022
• Ferguson, N., Guillou, Liane, Nuamah, Kwabena, and Bundy, Alan. Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA System. 3rd International Workshop on HumanLike Computing (HLC). arXiv:2206.02737, 2022
• Nuamah, Kwabena. Deep Algorithmic Question Answering: Towards a Compositionally Hybrid AI for Algorithmic Reasoning. Workshop on Knowledge Representation for Hybrid and Compositional AI, 2021
• Fletcher, Thomas and Bundy, Alan and Nuamah, Kwabena. GPy-ABCD: A Configurable Automatic Bayesian Covariance Discovery Implementation. 8th ICML Workshop on Automated Machine Learning, 2021.
• Nuamah, Kwabena, and Alan Bundy. Explainable Inference in the FRANK Query Answering System. ECAI 2020. IOS Press, 2020. 2441-2448.
• Bundy, Alan, Kwabena Nuamah, and Christopher Lucas. Automated Reasoning in the Age of the Internet. International Conference on Artificial Intelligence and Symbolic Computation. Springer, Cham, 2018.
• Nuamah, Kwabena, and Alan Bundy. Calculating Error Bars on Inferences from Web Data. Proceedings of SAI Intelligent Systems Conference. Springer, Cham, 2018.
• Nuamah, Kwabena, Alan Bundy, and Christopher Lucas. "Functional Inferences Over Heterogeneous Data. International Conference on Web Reasoning and Rule Systems. Springer, Cham, 2016.

Student Supervision

Students I co-supervise:
PhD Students

• Thomas Fletcher
• Ruiqi (Ricky) Zhu
• Nick Ferguson

MSc Students

• Greg Brimble
• Yanzhou Li