10568 search results - page 123 / 2114 » Computer Intelligence and Formalization |
CHI
2008
ACM
15 years 10 months ago
2008
ACM
CHI
2004
ACM
15 years 10 months ago
2004
ACM
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
Recent work by Procaccia, Rosenschein and Zohar [14] established some results regarding the complexity of manipulation and control in elections with multiple winners, such as elec...
TPHOL
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
150
click to vote
AGENTCL
2003
Springer
15 years 3 months ago
2003
Springer
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...