Cutaneous leishmaniasis (CL) is a public health problem on a global level because it affects the population of 88 countries. In Morocco, it is widely distributed, caused by Leishmania tropica, Leishmania major and Leishmania infantum rarely. The geographical distribution of different forms of leishmaniasis in Morocco is linked to well described bioclimatic zones. Over the past two decades, the ...

The key Geovisual Analytics research question addressed in this paper is how knowledge of past situations can be computationally extracted from heterogeneous and implicit information spaces and presented as visual artifacts within an interactive environment to facilitate reasoning about situations from geographic and temporal (or geo-temporal) contextual perspectives. This paper in particular w...

Abstract. In the process of disaster emergency response, how to achieve rapid sharing geographic information data is still a difficult problem be solved. Combining demand for in response emergencies and major natural disasters China, investigating current situation existing sharing, based on actual service guarantee work, this paper researches analyzes demand, designs model, studies mechanism f...

Situation calculus has been applied widely in artificial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents’ beliefs, how to manage these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy...

This paper presents a logical approach to formalization of some aspects of multi-agent systems in an incompletely known world. The contribution on this regard is as follows. We formalized reasoning about concurrent actions inside the situation calculus framework which has the suuciently clear and well-understood semantics to express diierent aspects of agent theory. Conclusions can be drawn by ...

We propose a simple relaxation of Reiter’s basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by ...

Obligation change raises the “frame problem” which is to characterise what obligations remain unchanged after an action has been performed. Many general solutions have been proposed but even if they are attractive from a thoretical point of view they have practical draw-

This paper examines the semantics of a group of logical techniques, used by the Artificial Intelligence community, and which are fundamental for circumscriptionbased approaches to the situation calculus. At first sight, this calculus appears to be an operationalised version of David Lewis’ account of causal reasoning: there are items – here called ‘situations’ – which are analogous to Lewis’ po...