Babatunde Opeoluwa Akinkunmi

12 papers A 1C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — conf
A comparative study on representation formalism adoption for Semantic Knowledge Retrieval in Agriculture using Open Research Knowledge Graph.
MSW@KGSWC
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
2021 A conf
A Norm Enforcement Mechanism for a Time-Constrained Conditional Normative Framework.
AAMAS
Babatunde Opeoluwa Akinkunmi, Moyin Florence Babalola
2021 J jnl
Events as Located Situations: Ontological Commitments in the Problem of Individuating Events.
FLAP
Babatunde Opeoluwa Akinkunmi
2020 J jnl
A norm enforcement mechanism for a time-constrained conditional normative framework.
Auton. Agents Multi Agent Syst.
Babatunde Opeoluwa Akinkunmi, Moyin Florence Babalola
2018 J jnl
Knowledge Representation for High-Level Norms and Violation Inference in Logic Programming.
CoRR
Babatunde Opeoluwa Akinkunmi, Moyin Florence Babalola
2017 J jnl
A Partitioning Algorithm for Detecting Eventuality Coincidence in Temporal Double recurrence.
CoRR
Babatunde Opeoluwa Akinkunmi
2017 — conf
A User-Centric Decision Support Model for Cloud of Things Adoption Using Ellipsoidal Fuzzy Inference System.
AFRICOMM
Ademola Olaniyi, Babatunde Opeoluwa Akinkunmi, Olufade F. W. Onifade
2017 J jnl
The Problem of Coincidence in A Theory of Temporal Multiple Recurrence.
CoRR
Babatunde Opeoluwa Akinkunmi
2016 J jnl
The problem of coincidence in a theory of temporal multiple recurrence.
J. Appl. Log.
Babatunde Opeoluwa Akinkunmi
2010 C conf
Temporal Entities - Types, Tokens and Qualifications.
KEOD
Babatunde Opeoluwa Akinkunmi
2004 J jnl
Temporal Properties of Repetitive Entities.
Artif. Intell. Rev.
Babatunde Opeoluwa Akinkunmi, Adenike O. Osofisan
2000 J jnl
On the expressive limits of reified theories.
J. Log. Comput.
Babatunde Opeoluwa Akinkunmi