607 search results - page 106 / 122 » A Practical Student Model in an Intelligent Tutoring System |
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri netbased MAS framework Mulan. By transferring the concept...
KR
2004
Springer
14 years 26 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
IMCS
2007
13 years 7 months ago
2007
Purpose – Security information management systems (SIMs) have been providing a unified distributed platform for the efficient management of security information produced by co...