3 papers
cs.MA2018
Knowledge Representation for High-Level Norms and Violation Inference in Logic Programming
Babatunde Opeoluwa Akinkunmi, Moyin Florence Babalola
Most of the knowledge Representation formalisms developed for representing prescriptive norms can be categorized as either suitable for representing either low level or high level…
cs.AI2017
Two Algorithms for Deciding Coincidence In Double Temporal Recurrence of Eventuality Sequences
Babatunde Opeoluwa Akinkunmi, Adesoji A. Adegbola
Let two sequences of eventualities x (signifying the sequence, x0,x1, x2,...,xn-1) and y (signifying the sequence, y0, y1, y2,..,yn-1) both recur over the same time interval and it…
cs.AI2017
The Problem of Coincidence in A Theory of Temporal Multiple Recurrence
B. O. Akinkunmi
Logical theories have been developed which have allowed temporal reasoning about eventualities (a la Galton) such as states, processes, actions, events, processes and complex event…