Formal Concept Analysis -also called "Galois Lattices"is an algebraic model based on propositional calculus that is used for symbolic knowledge exploration from a formal context. The aim of this paper is to design the theoretical models required for the extension of Formal Concept Analysis to first-order logic so as to improve both the expression power as a knowledge mining tool upon first orde...

Ontologies are not only becoming a widespread formalism to create the knowledge base of current intelligent and semantic systems, but they are also suitable for modeling context information in ubiquitous applications, which require expressive representation and reasoning languages. In this paper, we discuss different approaches for ontological context management, as well as a proposal to repres...

We present two case studies employing formal verification in an industrial context. Our first example deals with product configuration for the automotive industry, the second one examines a rule-based expert system controlling IBM’s highavailability System Automation software. We identify common requirements to both the logical encoding and the decision procedures for the purpose of verificatio...

Multimedia documents are collections of media objects, synchronized by means of sets of temporal and spatial constraints. Any multimedia document definition is valid as long as the referred media objects are available and the constraints are satisfiable. Document validity depends on the context in which the document has to be presented. Adaptation techniques are used when a document is not prop...

The problem of context has a long tradition in different areas of artificial intelligence (AI). However, formalizing context has been widely discussed only since the late 80s, when J. McCarthy argued that formalizing context was a crucial step toward the solution of the problem of generality. Since then, two main formalizations have been proposed in AI: Propositional Logic of Context (PLC) and ...

We analyze changes in the structure of a concept lattice corresponding to a context resulting from a given context with a known concept lattice by removing exactly one incidence. We identify the set of concepts affected by the removal and show how they can be used for computing concepts in the new concept lattice. We present algorithms for incremental computation of the new concept lattice, wit...

There is a definite lack of formal support for modeling realistic context-awareness in pervasive computing applications. The CONAWA calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new constructs and capabilities. The calculus is a step in the direction of making formal methods applicable in t...

Context-aware computing refers to a general class of mobile systems that can sense their physical environment, and adapt their behavior accordingly. In this paper we seek to develop a systematic understanding of context-aware computing by constructing a formal model and notation for expressing context-aware computations. This discussion is followed by a description and comparison of current con...

An important aspect of wearable computing is the fact that users do not focus their attention exclusively on the wearable computer but are often occupied by other tasks. Therefore, implicit interaction is desirable because it avoids constant user attention. The information that is needed to support such interaction is usually called context information. To establish context, a wearable device n...