1743 search results - page 60 / 349 » Generalized Modal Satisfiability |
EICS
2010
ACM
14 years 2 months ago
2010
ACM
Multi-user multimodal interactive systems involve multiple users that can use multiple interaction modalities. Although multi-user multimodal systems are becoming more prevalent (...
JAPLL
2006
13 years 10 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
LOGCOM
2006
13 years 10 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
This paper presents the design, implementation, and evaluation of an interactive tabletop system that supports co-located meeting capture and asynchronous search and review of pas...
IJCAI
2007
13 years 11 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...