Atlas home || Conferences | Abstracts | about Atlas
Host: University of Pennsylvania
Sponsor: DIMACS
Homepage: http://dimacs.rutgers.edu/Workshops/LogicCog/
Organizers: Moshe Vardi Scott Weinstein
Description:
The goal of the workshop is to generate a lively discussion between
researchers in finite-model theory and descriptive complexity and
investigators in various areas of cognitive science. Obvious areas
of potential interaction include the study of constraint
satisfaction problems, the analysis and application of modal and
temporal logics, and the construction of adequate languages for
knowledge representation in areas such as computational learning
theory and robotics.
Mail Address:
DIMACS Center/CoRE Building/4th Floor Rutgers University 96 Frelinghuysen Road Piscataway, NJ 08854-8018
Date received: December 15, 1998
© 2008 Atlas Conferences Inc.