2588 search results - page 238 / 518 » Swarm Intelligence: From Natural to Artificial Systems |
189
click to vote
LFCS
2007
Springer
16 years 22 days ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
200
click to vote
SIGIR
2006
ACM
16 years 16 days ago
2006
ACM
Classical query expansion techniques such as the local context analysis (LCA) make use of term co-occurrence statistics to incorporate additional contextual terms for enhancing pa...
158
click to vote
CCIA
2005
Springer
16 years 4 days ago
2005
Springer
The objective of this paper is two-fold. The first is to develop a methodology capable of extracting the Human Values Scale (HVS) from the user, with reference to his/her objective...
204
click to vote
IJCAI
1997
15 years 8 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
174
click to vote
AAAI
1998
15 years 8 months ago
1998
Reinforcement learning can provide a robust and natural means for agents to learn how to coordinate their action choices in multiagent systems. We examine some of the factors that...