Activities per year
Personal profile
Education/Academic qualification
Master of Science, Advanced Computer Science with Specialisation in Artificial Intelligence, The University of Manchester
11 Sep 2015 → 13 Dec 2016
Award Date: 13 Dec 2016
Bachelor of Science, Computer Science, Babcock University
26 Aug 2010 → 1 Jun 2014
Award Date: 1 Jun 2014
Areas of expertise
- QA76 Computer software
- QA75 Electronic computers. Computer science
- Knowledge Representation, Automated Reasoning, Ontologies, Logic, Agents, Machine Learning
Activities
- 1 Participating in a conference, workshop, exhibition, performance, inquiry, course etc
-
Automated Reasoning Workshop: 2019
David Toluhi (Participant)
2 Sep 2019 → 3 Sep 2019Activity: Participating in or organising event(s) › Participating in a conference, workshop, exhibition, performance, inquiry, course etc
Thesis
-
Knowledge Sharing Among Agents via Uniform Interpolation
Author: Toluhi, D., 1 Aug 2023Supervisor: Schmidt, R. (Supervisor) & Parsia, B. (Supervisor)
Student thesis: Phd
File