195 search results - page 9 / 39 » Agents to assist in finding help |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an agent-based approach to assisting learners to dynamically adjust learning processes. The online learning process is first investigated where the importance ...
IGARSS
2010
13 years 5 months ago
2010
Interactive visualization systems allow extensive adjustments of the visualization process, to give the user full control over the visualization result. However, this flexibility ...
AGENTS
2000
Springer
14 years 1 days ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
AGENTS
2001
Springer
14 years 6 days ago
2001
Springer
In the software industry, designers are forever trying to “improve” their products by adding ever more features to them, producing bloated software systems that are capable of...