Sciweavers

2398 search results - page 303 / 480
» Knowledge Representation
Sort
View
ICAD
2004
15 years 5 months ago
Interaction Sound Feedback in a Haptic Virtual Environment to Improve Motor Skill Acquisition
This paper describes the concept and the realisation of a research prototype of a haptic environment that is enhanced with sound feedback to impart implicit knowledge and to teach...
Christian Müller-Tomfelde
135
Voted
ATAL
2010
Springer
15 years 5 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
ATAL
2010
Springer
15 years 5 months ago
Flexible task resourcing for intelligent agents
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
Murat Sensoy, Wamberto Weber Vasconcelos, Timothy ...
121
Voted
IGPL
2006
115views more  IGPL 2006»
15 years 4 months ago
Towards Operational Abduction from a Cognitive Perspective
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
Peter Bruza, Richard Cole, Dawei Song, Zeeniya Bar...
JUCS
2006
119views more  JUCS 2006»
15 years 4 months ago
Course Modeling for Student Profile Based Flexible Higher Education on the Internet
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
László Horváth, Imre J. Rudas