2911 search results - page 103 / 583 » A Theory of Expressiveness in Mechanisms |
156
click to vote
AAAI
1994
15 years 7 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
195
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we describe the design and ethnographic study of a phone developed so as to allow people to glance at each other, rather than simply message or voice call. Glanceph...
140
click to vote
KR
1989
Springer
15 years 10 months ago
1989
Springer
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of...
165
click to vote
ATAL
2009
Springer
16 years 27 days ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
155
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...