We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration. These principles come fro...
Agile processes such as XP (eXtreme Programming) have been recognised for their potential benefits of improving software. During adoption of the XP process, teams can misapply the...
Andrew Jackson, Shiu Lun Tsang, Alan Gray, Cormac ...
: This paper begins with a long-term view of the development of cyberspace. This includes a brief examination of the worldview of a 16th-century mapmaker and over 4000 years of dev...
We present an approach to designing intelligent tutoring systems, termed the Difficulty Factors Approach. In this approach, the designer investigates, at each iteration of the desi...
Ryan Shaun Joazeiro de Baker, Albert T. Corbett, K...
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...