Logical models of arguement formalize commonsense reasoning while taking process and
computation seriously. This survey discusses the main ideas that characterize different …

In the scope of ubiquitous computing, one of the key issues is the awareness of context,
which includes diverse aspects of the user's situation including his activities, physical …

Context-awareness is one of the drivers of the ubiquitous computing paradigm, whereas a
well designed model is a key accessor to the context in any context-aware system. This …

We think of Match as an operator which takes two graph-like structures (eg, conceptual
hierarchies or ontologies) and produces a map** between those nodes of the two graphs …

The need for negotiation in multi-agent systems stems from the requirement for agents to
solve the problems posed by their interdependence upon one another. Negotiation provides …

Context-aware systems are pervading everyday life, therefore context modeling is becoming
a relevant issue and an expanding research field. This survey has the goal to provide a …

The intuitionistic modal logic of necessity is based on the judgmental notion of categorical
truth. In this article we investigate the consequences of relativizing these concepts to …

In this paper we present a new semantics, called Local Models Semantics, and use it to
provide a foundation to reasoning with contexts. This semantics captures and makes precise …

Ontologies are shared models of a domain that encode a view which is common to a set of
different parties. Contexts are local models that encode a party's subjective view of a …

Dealing with context seems to be a major challenge which the field of Artificial Intelligence
(AI) will have to face in the next few years. The importance of the challenge is borne out by …