1283 search results - page 178 / 257 » Science: the rules of the game |
152
click to vote
CTRS
1990
15 years 10 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
161
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
147
click to vote
FOCS
2007
IEEE
16 years 19 days ago
2007
IEEE
: We study the computational strength of quantum particles (each of finite dimensionality) arranged on a line. First, we prove that it is possible to perform universal adiabatic q...
197
click to vote
ALIFE
2005
15 years 6 months ago
2005
We present a new definition of the concept of representation for cognitive science that is based on a study of the origin of structures that are used to store memory in evolving sy...
166
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...