652 search results - page 5 / 131 » Mathematical knowledge management is needed |
AISC
2010
Springer
14 years 6 days ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
AGENTS
2000
Springer
13 years 11 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
AISC
2010
Springer
14 years 6 days ago
2010
Springer
We provide a perspective on the current state and possible future of links between symbolic mathematical computing and artificial intelligence, on the occasion of the 10th biennial...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
SEMWIKI
2008
13 years 8 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...