2214 search results - page 315 / 443 » Complexity of Reasoning |
148
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...
168
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
147
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
210
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
150
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Genetic representations that do not employ a one-to-one mapping of genotype to phenotype are known as indirect encodings, and can be much more efficient than direct encodings for ...