Statistics currently indicated that the second wave of COVID 19 pandemic has killed over 2.94 million, and active cases 136.13 million globally as on April 12, 2021 reported by John Hopkins University world health organization (WHO). India a first time record high ever 13,689,453 COVID-19 infections, 171,058 deaths from ministry WHO revealed 2021. As (13,873,825 confirmed 172,085 deaths) (April...

Agent supervision is a form of control/customization where a supervisor restricts the behavior of an agent to enforce certain requirements, while leaving the agent as much autonomy as possible. This is done in a setting based on the situation calculus and a variant of the ConGolog programming language that is situation-determined, i.e., the remaining program is a function of the action performe...

This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to provide adaptive navigation. The different levels of conception, related to different aspects of the available metadata, are split in different layers in GLAM, in order to ease the conception of the adaptation system a...

We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reaso...