This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
Games are increasingly being used as educational tools, in part because they are presumed to enhance student motivation. We look at student motivation in games from the viewpoint o...
Amy Ogan, Vincent Aleven, Julia Kim, Christopher J...
■ This investigation combined behavioral and functional neuroimaging measures to explore whether perception of pain is modulated by the targetʼs stigmatized status and whether ...
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
Benjamin C. Pierce, Michael Greenberg, Stephanie W...