317 search results - page 33 / 64 » Spatial Reasoning: Theory and Practice |
ISPW
1994
IEEE
13 years 11 months ago
1994
IEEE
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
AI
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. The traditional unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practice, data is seldom error-free and can co...
SYNASC
2006
IEEE
14 years 1 months ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
CCE
2004
13 years 7 months ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
AUSAI
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...