1743 search results - page 88 / 349 » Generalized Modal Satisfiability |
138
Voted
JAIR
2006
15 years 2 months ago
2006
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
ENTCS
2007
15 years 2 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
126
Voted
WWW
2010
ACM
15 years 27 days ago
2010
ACM
This demo will present HearSay, a multi-modal non-visual web browser, which aims to bridge the growing Web Accessibility divide between individuals with visual impairments and the...
125
Voted
JAPLL
2010
14 years 9 months ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
147
Voted
AGI
2011
14 years 6 months ago
2011
Human intelligence consists largely of the ability to recognize and exploit structural systematicity in the world, relating our senses simultaneously to each other and to our cogni...