6355 search results - page 292 / 1271 » From Logic to Games |
190
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
141
click to vote
ACL
1996
15 years 8 months ago
1996
Off-line compilation of logic grammars using Magic allows an incorporation of filtering into the logic underlying the grammar. The explicit definite clause characterization of fil...
172
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
138
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We present a new bimanual text entry technique designed for today's dual-joystick game controllers. The left and right joysticks are used to independently select characters f...
196
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes an approach towards automating the identification of design problems with three-dimensional mediated or gaming environments through the capture and query of u...