Sciweavers

2594 search results - page 406 / 519
» Environment as Active Support of Interaction
Sort
View
CMOT
2006
146views more  CMOT 2006»
13 years 7 months ago
Normative KGP agents
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
Fariba Sadri, Kostas Stathis, Francesca Toni
ETS
2000
IEEE
85views Hardware» more  ETS 2000»
13 years 7 months ago
A Framework for Enabling an Internet Learning Community
We view the Internet as a "virtual laboratory" and have developed a framework to support experiments in web-based community learning. Our system is called the Community ...
Elizabeth Sklar, Jordan B. Pollack
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
13 years 6 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
AIED
2011
Springer
12 years 11 months ago
Students' Enjoyment of a Game-Based Tutoring System
Many Intelligent Tutoring Systems (ITSs) have started to incorporate game-based components in an attempt to improve student engagement during system interactions. iSTART-ME is a ne...
G. Tanner Jackson, Natalie L. Davis, Danielle S. M...
AAAI
2012
11 years 10 months ago
Goal Recognition with Markov Logic Networks for Player-Adaptive Games
Goal recognition in digital games involves inferring players’ goals from observed sequences of low-level player actions. Goal recognition models support player-adaptive digital ...
Eun Y. Ha, Jonathan P. Rowe, Bradford W. Mott, Jam...