780 search results - page 36 / 156 » Compositional Quantitative Reasoning |
81
Voted
CE
2007
15 years 1 months ago
2007
The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...
131
Voted
SBIA
2000
Springer
15 years 4 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
123
Voted
AI
2005
Springer
15 years 1 months ago
2005
Springer
Because of privacy concerns, agents may not want to reveal information that could be of use in problem solving. As a result, there are potentially important tradeoffs between main...
101
Voted
AAAI
1993
15 years 2 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
144
Voted
AAAI
2008
15 years 2 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...