58 search results - page 11 / 12 » A Tactic Language for Hiproofs |
ADS
2004
Springer
15 years 1 months ago
2004
Springer
We discuss the affective aspects of tutoring dialogues in an ITS -called INES- that helps students to practice nursing tasks using a haptic device and a virtual environment. Specia...
CLIMA
2004
14 years 10 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
IAAI
2003
14 years 10 months ago
2003
Think Like a Commander – Excellence in Leadership (TLAC-XL) is an application designed for learning leadership skills both from the experiences of others and through a structure...