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 …

MultiLanguage systems (ML systems) are formal systems allowing the use of multiple
distinct logical languages. In this paper we introduce a class of ML systems which use a …

In this paper we provide a foundation of a theory of contextual reasoning from the
perspective of a theory of knowledge representation. Starting from the so-called metaphor of …

The goal of this paper is to propose a new technique for develo** decision procedures for
propositional modal logics. The basic idea is that propositional modal decision procedures …

This paper discusses the uses of context in knowledge representation and reasoning (KRR).
We propose to partition the theories of context brought forward in KRR into two main …

A crowd-mind emerges when formation of a crowd causes fusion of individual minds into
one collective mind. Members of the crowd lose their individuality. The deindividuation leads …

The goal of this paper is to describe and thoroughly test a decision procedure, called KSAT,
checking satisfiability in the terminological logic A£ C. KSAT is said to be SAT-based as it is …

In this paper we propose to re-read the past work on formalizing context as the search for a
logic of the relationships between partial, approximate, and perspectival theories of the …

In what follows I consider the apparent contrast between two kinds of theories of context: a
theory of objective context—exemplified in the works of Kaplan and Lewis—and a theory of …

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 …