We develop a logical model for resource-bounded context-aware multi-agent systems which
handles inconsistent context information using non-monotonic reasoning. We extend the …

There has been a move of context-aware systems into safety-critical domains including
healthcare, emergency scenarios, and disaster recovery. These systems are often …

We propose a logical framework for modelling and verifying context-aware multi-agent
systems. We extend CTL^* with belief and communication modalities, and the resulting logic …

Recent efforts towards the Semantic Web have resulted in powerful languages such as
Semantic Web Rule Language (SWRL) based on OWL-DL and RuleML. Rule languages …

This paper complements our previous work on formal modeling of resource-bounded
context-aware systems, which handle inconsistent context information using defeasible …

We describe a framework for the automated verification of multi-agent systems which do
distributed problem solving, eg query answering. Each reasoner uses facts, messages and …

The two-volume set LNAI 8856 and LNAI 8857 constitutes the proceedings of the 13th
Mexican International Conference on Artificial Intelligence, MICAI 2014, held in Tuxtla …

We present a framework for the modelling, specification, and verification of ontology‐driven
multi‐agent rule‐based systems (MASs). We assume that each agent executes in a separate …

This thesis presents frameworks for the modelling and verification of resource-bounded
reasoning agents. The resources considered include the time, memory, and communication …

The thesis presents logic-based formalisms for modelling and reasoning about resource-
bounded multi-agent systems. In the field of multi-agent system, it is well-known that …