Interlinking knowledge sources to enable information exchange is basic means to build
enriched knowledge-based systems, which gains importance with the spread of the Internet …

Multi-context systems (MCS) are a powerful framework for interlinking heterogeneous
knowledge sources. They model the flow of information among different reasoning …

The imperfect nature of context in Ambient Intelligence environments and the special
characteristics of the entities that possess and share the available context information render …

We propose SAGE, an agent-based environment monitoring and control system based on
computation logic. SAGE uses forward chaining deductive inference to map low level sensor …

The paper contains an overview of the roles played by rules and rule-based systems in
distributed and multi-agent systems. These roles include an overview of traditional and …

This paper introduces a multi-modal polymorphic type theory to model epistemic processes
characterized by trust, defined as a second-order relation affecting the communication …

Recently, we have been witnessing how various social applications and networking services
are being integrated more deeply into our daily lives. Until now, social interaction has been …

Abstract Context, Context Representation and Contextual Reasoning constitute central
notions in the Ambient Intelligence vision to transform our living and working environments …

The paper presents a logic-based framework for modeling the interaction among peers. It is
assumed that each peer consists of a database, a set of standard logic rules, a set of …

This contribution presents a practical extension of a theoretical model for multi-agent
planning based upon DeLP, an argumentation-based defeasible logic. Our framework …