Sciweavers

3394 search results - page 257 / 679
» A Modal Model of Memory
Sort
View
DLOG
2003
15 years 7 months ago
Extensions to Description Logics
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
Franz Baader, Ralf Küsters, Frank Wolter
INTERACT
2003
15 years 7 months ago
Real Time Head Gesture Recognition in Affective Interfaces
: In this paper we present the affective message box, a dialog box that employs a real time head gesture recognition system as its input modality. Head nods and shakes correspond t...
Rana El Kaliouby, Peter Robinson
ACL
1989
15 years 6 months ago
The Effects of Interaction on Spoken Discourse
Near-term spoken language systems willlikely be limited in their interactive capabilities. To design them, we shall need to model how the presence or absence of speaker interactio...
Sharon L. Oviatt, Philip R. Cohen
168
Voted
ECAI
2010
Springer
15 years 5 months ago
Higher-Order Coalition Logic
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
Guido Boella, Dov M. Gabbay, Valerio Genovese, Lee...
CORR
2010
Springer
75views Education» more  CORR 2010»
15 years 5 months ago
Explicit Evidence Systems with Common Knowledge
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
Samuel Bucheli, Roman Kuznets, Thomas Studer