657 search results - page 47 / 132 » Modeling Dynamic Domains with ConGolog |
LORI
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
AGENTS
2001
Springer
14 years 7 days ago
2001
Springer
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...
ASC
2008
13 years 7 months ago
2008
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
ITS
2000
Springer
13 years 11 months ago
2000
Springer
DT Tutor uses a decision-theoretic approach to select tutorial actions for coached problem solving that are optimal given the tutor's beliefs and objectives. It employs a mode...
COMCOM
2004
13 years 7 months ago
2004
The evolution of the Internet towards a global infrastructure for real time voice and video applications involves providing stringent Quality of Service (QoS) levels. Although som...