Logic List Mailing Archive

TARK X (Singapore, June 2005)

TARK X, Singapore
(T)heoretical (A)spects of (R)ationality and (K)nowledge
10-12 June 2005


The mission of the bi-annual TARK conferences is to bring together
researchers from a wide variety of fields - including Artificial
Intelligence, Cryptography, Distributed Computing, Economics and Game
Theory, Linguistics, Logic, Philosophy, and Psychology, in order to
further our understanding of interdisciplinary issues involving reasoning
about rationality and knowledge. Topics of interest include, but are not
limited to, semantic models for knowledge, belief, and uncertainty,
bounded rationality and resource-bounded reasoning, commonsense epistemic
reasoning, epistemic logic, knowledge and action, applications of
reasoning about knowledge and other mental states, belief revision, and
foundations of multi-agent systems.

TARK X will occur as part of an 8-week program "Uncertainty and
Information in Economics", organized by the IMS institute of Singapore.
For more information on the programme, see