6355 search results - page 338 / 1271 » From Logic to Games |
185
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
The Supply Chain Trading Agent Competition (TAC SCM) was designed to explore approaches to dynamic supply chain trading. During the course of each year’s competition historical d...
337
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.
170
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
174
click to vote
AML
2006
15 years 6 months ago
2006
The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...
160
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Researchers are using emerging technologies to develop novel play environments, while established computer and console game markets continue to grow rapidly. Even so, evaluating t...