Sciweavers

8760 search results - page 1463 / 1752
» Modeling users of intelligent systems
Sort
View
ATAL
2005
Springer
16 years 6 days ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...
ECAI
2004
Springer
15 years 10 months ago
Lakatos-Style Automated Theorem Modification
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
Simon Colton, Alison Pease
ITS
2000
Springer
159views Multimedia» more  ITS 2000»
15 years 10 months ago
Can We Learn from ITSs?
With the rise of VR, the internet, and mobile technologies and the shifts in educational focus from teaching to learning and from solitary to collaborative work, it's easy (bu...
Benedict du Boulay
ATAL
2010
Springer
15 years 7 months ago
Narrative generation through characters' point of view
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
Julie Porteous, Marc Cavazza, Fred Charles
KI
2008
Springer
15 years 6 months ago
Wayfinding in Scene Space
Many environments in which humans wayfind can be conveniently abstracted as networks or graphs: structures of nodes that are interconnected by edges. Examples include the street ne...
Urs-Jakob Rüetschi
« Prev « First page 1463 / 1752 Last » Next »