Research output per year
Research output per year
Search results
-
2022
Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms
Bundy, A. & Nuamah, K., 17 Sept 2022, Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings. Buzzard, K. & Kutsia, T. (eds.). p. 209-221 14 p. (Lecture Notes in Computer Science; vol. 13467).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2021
Deep Algorithmic Question Answering: Towards a Compositionally Hybrid AI for Algorithmic Reasoning
Nuamah, K., 3 Nov 2021. 8 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
GPy-ABCD: A Configurable Automatic Bayesian Covariance Discovery Implementation
Fletcher, T., Bundy, A. & Nuamah, K., 23 Jul 2021. 16 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
A context mechanism for an inference-based question answering system
Nuamah, K. & Bundy, A., 8 Feb 2021, (E-pub ahead of print) AAAI Workshop on Commonsense Knowledge Graphs. 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2020
Explainable Inference in the FRANK Query Answering System
Nuamah, K. & Bundy, A., 8 Sept 2020, ECAI 2020. IOS Press, p. 2441 - 2448 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2018
Calculating Error Bars on Inferences from Web Data
Nuamah, K. & Bundy, A., 8 Nov 2018, SAI Intelligent Systems Conference (IntelliSys). London, United Kingdom: Springer, p. 618-640 23 p. (Advances in Intelligent Systems and Computing (AISC); vol. 869).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Automated Reasoning in the Age of the Internet
Bundy, A., Nuamah, K. & Lucas, C., 22 Aug 2018, (E-pub ahead of print) 13th International Conference on Artificial Intelligence and Symbolic Computation. Suzhou, China: Springer, Vol. LNCS 11110. p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 11110).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile