10568 search results - page 588 / 2114 » Computer Intelligence and Formalization |
159
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...
171
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
168
click to vote
FAABS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper presents a rigorous evaluation of a novel, distributed chemical plume tracing algorithm. The algorithm is a combination of the best aspects of the two most pop...
178
click to vote
MABS
2004
Springer
16 years 1 days ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
178
click to vote
MICAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...