Sciweavers

2490 search results - page 30 / 498
» Complexity of Contextual Reasoning
Sort
View
CSL
2005
Springer
15 years 11 months ago
On the Complexity of Hybrid Logics with Binders
Balder ten Cate, Massimo Franceschet
CONTEXT
2003
Springer
15 years 11 months ago
On the Difference between Bridge Rules and Lifting Axioms
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
Paolo Bouquet, Luciano Serafini
ICDCSW
2003
IEEE
15 years 11 months ago
Tuples On The Air: A Middleware for Context-Aware Computing in Dynamic Networks
We present TOTA (“Tuples On The Air”), a novel middleware for supporting adaptive context-aware activities in dynamic network scenarios. The key idea in TOTA is to rely on spa...
Marco Mamei, Franco Zambonelli, Letizia Leonardi