1581 search results - page 84 / 317 » Mechanizing Inductive Reasoning |
168
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
In order to succeed, agents playing games must reason about the mechanics of the game, the strategies of other agents, other agents’ reasoning about their strategies, and the ra...
136
click to vote
CE
2007
15 years 6 months ago
2007
The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...
166
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
189
click to vote
SBIA
2000
Springer
15 years 9 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
165
click to vote
IFIPTM
2010
15 years 4 months ago
2010
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...