Sciweavers

2490 search results - page 30 / 498
» Complexity of Contextual Reasoning
Sort
View
CSL
2005
Springer
15 years 5 months ago
On the Complexity of Hybrid Logics with Binders
Balder ten Cate, Massimo Franceschet
CONTEXT
2003
Springer
15 years 5 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 5 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