146 search results - page 11 / 30 » An Artificial Imagination for Interactive Search |
TABLEAUX
1995
Springer
15 years 3 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
DIAGRAMS
2008
Springer
15 years 1 months ago
2008
Springer
State-space search methods in problem solving have often been illustrated using tree diagrams. We explore a set of issues related to coordination in collaborative problem solving a...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
HRI
2009
ACM
15 years 6 months ago
2009
ACM
The present study investigates the effect of the number of controlled robots on performance of an urban search and rescue (USAR) task using a realistic simulation. Participants co...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
In this paper four mechanisms, fine and coarse grained fitness rating, linguistic evaluation and active user intervention are compared for use in the multi-objective IGA. The inte...