1399 search results - page 213 / 280 » An agent system reasoning about the web and the user |
166
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
179
click to vote
QEST
2007
IEEE
16 years 14 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
183
click to vote
DEBU
2006
15 years 6 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
157
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
Users on Twitter, a microblogging service, started the phenomenon of adding tags to their messages sometime around February 2008. These tags are distinct from those in other Web 2...
153
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Search engine advertising has become a significant element of the Web browsing experience. Choosing the right ads for the query and the order in which they are displayed greatly a...