2588 search results - page 238 / 518 » Swarm Intelligence: From Natural to Artificial Systems |
LFCS
2007
Springer
14 years 2 months 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...
SIGIR
2006
ACM
14 years 2 months 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...
CCIA
2005
Springer
14 years 1 months 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...
IJCAI
1997
13 years 9 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...
AAAI
1998
13 years 9 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...