8009 search results - page 146 / 1602 » cans 2005 |
130
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents NavEx, an adaptive environment for accessing interactive programming examples. NavEx implements a specific kind of adaptive navigation support known as adaptive...
AIED
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes an Explainable Artificial Intelligence (XAI) tool that allows entities to answer questions about their activities within a tactical simulation. We show how XAI...
133
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
128
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we illustrate an application aimed at predicting protein secondary structure. The proposed system has been devised using PACMAS, a generic architecture designed to s...
150
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we present a mixed-initiative planning approach to humanrobot interaction in a rescue domain. We deploy a model-based executive monitoring system to coordin...