5 papers
Obligation-Producing Actions
Kalonji Kalala, Iluju Kiringa, Tet Yeap
This paper proposes a Situation Calculus solution to the frame problem for obligation-producing actions, which are actions that create obligations on the part of the agent that per…
Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
Kalonji Kalala, Iluju Kiringa, Tet Yeap
Over more than three decades, the Situation Calculus has established itself as an elegant, powerful, and concise formalism for specifying dynamical domains as well as for reasoning…
Logical foundations of Smart Contracts
Kalonji Kalala
Nowadays, sophisticated domains are emerging which require appropriate formalisms to be specified accurately in order to reason about them. One such domain is constituted of smart…
Artificial Intelligence for Public Health Surveillance in Africa: Applications and Opportunities
Jean Marie Tshimula, Mitterrand Kalengayi, Dieumerci Makenga +28
Artificial Intelligence (AI) is revolutionizing various fields, including public health surveillance. In Africa, where health systems frequently encounter challenges such as limite…
A Short Survey of Human Mobility Prediction in Epidemic Modeling from Transformers to LLMs
Christian N. Mayemba, D'Jeff K. Nkashama, Jean Marie Tshimula +12
This paper provides a comprehensive survey of recent advancements in leveraging machine learning techniques, particularly Transformer models, for predicting human mobility patterns…