Functional Inferences over Heterogeneous Data. - Kwabena Nuamah; Alan Bundy; Christopher Lucas 001 (RR, 2016)

Automated Reasoning in the Age of the Internet. - Alan Bundy; Kwabena Nuamah; Christopher Lucas 001 (AISC, 2018)

Calculating Error Bars on Inferences from Web Data. - Kwabena Nuamah; Alan Bundy (IntelliSys (2), 2018)

Functional inferences over heterogeneous data. - Kwabena Nuamah (2018)

Explainable Inference in the FRANK Query Answering System. - Kwabena Nuamah; Alan Bundy (ECAI, 2020)

Combining Deductive and Statistical Explanations in the FRANK Query Answering System. - Alan Bundy; Kwabena Nuamah (ICBK, 2021)

LEKG: A System for Constructing Knowledge Graphs from Log Extraction. - Fangrong Wang; Alan Bundy; Xue Li 018; Ruiqi Zhu; Kwabena Nuamah; Lei Xu 053; Stefano Mauceri; Jeff Z. Pan (IJCKG, 2021)

Deep Algorithmic Question Answering: Towards a Compositionally Hybrid AI for Algorithmic Reasoning. - Kwabena Nuamah (CoRR, 2021)

Integrating Paraphrasing into the FRANK QA System. - Nick Ferguson; Liane Guillou; Kwabena Nuamah; Alan Bundy (HLC, 2022)

A Closer Look at Probability Calibration of Knowledge Graph Embedding. - Ruiqi Zhu; Fangrong Wang; Alan Bundy; Xue Li 018; Kwabena Nuamah; Lei Xu 053; Stefano Mauceri; Jeff Z. Pan (IJCKG, 2022)

Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms. - Alan Bundy; Kwabena Nuamah (CICM, 2022)

TREAT: Automated Construction and Maintenance of Probabilistic Knowledge Bases from Logs (Extended Abstract). - Ruiqi Zhu; Xue Li 018; Fangrong Wang; Alan Bundy; Jeff Z. Pan; Kwabena Nuamah; Stefano Mauceri; Lei Xu 053 (LOD (1), 2022)

Investigating the use of Paraphrase Generation for Question Reformulation in the FRANK QA system. - Nick Ferguson; Liane Guillou; Kwabena Nuamah; Alan Bundy (CoRR, 2022)

Assessing the Quality of a Knowledge Graph via Link Prediction Tasks. - Ruiqi Zhu; Alan Bundy; Jeff Z. Pan; Kwabena Nuamah; Fangrong Wang; Xue Li 018; Lei Xu 053; Stefano Mauceri (NLPIR, 2023)

ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web. - Kwabena Nuamah; Alan Bundy (CoRR, 2023)

Evaluating Large Language Models on Qualitative Reasoning Tasks: A Case Study using OpenAI GPT Models. - Najwa AlGhamdi; Kwabena Nuamah; Alan Bundy (SICSA REALLM, 2024)

Evaluating the Meta- and Object-Level Reasoning of Large Language Models for Question Answering. - Nick Ferguson; Liane Guillou; Alan Bundy; Kwabena Nuamah (CoRR, 2025)

Lyria: A General LLM-Driven Genetic Algorithm Framework for Problem Solving. - Weizhi Tang; Kwabena Nuamah; Vaishak Belle (CoRR, 2025)