The concept of an agent is increasingly used in contemporary software applications,
particularly those involving the Internet, autonomous systems, or cooperation. However, with …

The Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous work by the
authors for formulating properties of systems specified in StoKlaim, a Markovian extension of …

Abstract UML-B is a 'UML-like'graphical front-end for Event-B that provides support for object-
oriented and state machine modelling concepts, which are not available in Event-B. In …

Abstract Architecture-based approaches have been promoted as a means of controlling the
complexity of system construction and evolution, in particular for providing systems with the …

We formally introduce the concept of repair and consistent answer for inconsistent
probabilistic spatio-temporal databases. We start by defining the syntax and semantics of …

There is now extensive interest in reasoning about moving objects. A probabilistic spatio-
temporal (PST) knowledge base (KB) contains atomic statements of the form “Object o …

Qualitative spatio‐temporal reasoning is an important problem in artificial intelligence and
has been widely and successfully applied in geographic information system and spatio …

We present a spatial and temporal logic based on Duration Calculus for the specification
and verification of mobile real-time systems. We demonstrate the use of the formalism and …

A temporal spatial epistemic intuitionistic linear logic (TSEILL) is introduced, and the
completeness theorem for this logic is proved with respect to Kripke semantics. TSEILL has …

Sažetak Mobile agent-based applications are special type of software systems which take
the advantages of mobile agents in order to provide a new beneficial paradigm to solve …