657 search results - page 22 / 132 » Modeling Dynamic Domains with ConGolog |
PRICAI
1998
Springer
13 years 12 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
AAAI
2006
13 years 9 months ago
2006
Unmotivated students do not reap the full rewards of using a computer-based intelligent tutoring system. Detection of improper behavior is thus an important component of an online...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensi...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a reference frame transformation method which applies appropriate rotational operators to the block diagram representation of a converter space vector model to...
FAC
2010
13 years 6 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...