1743 search results - page 88 / 349 » Generalized Modal Satisfiability |
123
Voted
JAIR
2006
15 years 20 days 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 20 days 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...
112
Voted
WWW
2010
ACM
14 years 11 months 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...
108
click to vote
JAPLL
2010
14 years 7 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...
124
click to vote
AGI
2011
14 years 4 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...