On the expressive limits of reified theories. - Babatunde Opeoluwa Akinkunmi (J. Log. Comput., 2000)

Temporal Properties of Repetitive Entities. - Babatunde Opeoluwa Akinkunmi; Adenike O. Osofisan (Artif. Intell. Rev., 2004)

Temporal Entities - Types, Tokens and Qualifications. - Babatunde Opeoluwa Akinkunmi (KEOD, 2010)

The problem of coincidence in a theory of temporal multiple recurrence. - Babatunde Opeoluwa Akinkunmi (J. Appl. Log., 2016)

A User-Centric Decision Support Model for Cloud of Things Adoption Using Ellipsoidal Fuzzy Inference System. - Ademola Olaniyi; Babatunde Opeoluwa Akinkunmi; Olufade F. W. Onifade (AFRICOMM, 2017)

A Partitioning Algorithm for Detecting Eventuality Coincidence in Temporal Double recurrence. - Babatunde Opeoluwa Akinkunmi (CoRR, 2017)

Knowledge Representation for High-Level Norms and Violation Inference in Logic Programming. - Babatunde Opeoluwa Akinkunmi; Moyin Florence Babalola (CoRR, 2018)

A norm enforcement mechanism for a time-constrained conditional normative framework. - Babatunde Opeoluwa Akinkunmi; Moyin Florence Babalola (Auton. Agents Multi Agent Syst., 2020)

Events as Located Situations: Ontological Commitments in the Problem of Individuating Events. - Babatunde Opeoluwa Akinkunmi (FLAP, 2021)

A comparative study on representation formalism adoption for Semantic Knowledge Retrieval in Agriculture using Open Research Knowledge Graph. - Patience Usoro Usip; Ekemini Johnson; Fernando Ortiz-Rodríguez; Funebi Francis Ijebu; Babatunde Opeoluwa Akinkunmi; Ifiok J. Udo; Usoro I. Usip; Temitope Fakiyesi; Suzanlindsy Asuquo; Etim Ekpenyong Attah (MSW@KGSWC, 2024)