2123 search results - page 200 / 425 » The study of models of intelligent interfaces |
162
click to vote
AAAI
2004
15 years 8 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
162
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
170
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A model of granular computing (GrC) is proposed by reformulating, re-interpreting, and combining results from rough sets, quotient space theory, and belief functions. Two...
163
click to vote
ECAL
2005
Springer
16 years 3 days ago
2005
Springer
The idea that the biota can regulate the abiotic components of their environment to levels suitable for life has attracted criticism from neo-Darwinian theorists but is still a via...
189
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
The Wizard of Oz experiment method has a long tradition of acceptance and use within the field of human-robot interaction. The community has traditionally downplayed the importanc...