CMSRA-IV Lisbon, 2005

home
program committee
call
important dates
paper submission page
invited speakers
accepted papers
proceedings & journal
coming to CMRSA-IV
maps
previous workshops:
- CMSRA-III
-
CMSRA-II
-
CMSRA-I
contacts

news
> > >
Program and online proceedings here (20.08.2005)
> > > Hotel and registration information updated (30.06.2005)
> > > Submission page is now closed
. Instructions are here. (24.05.2005)
> > > Invited Speakers anounced here (15.03.2005)
> > > CMSRA-IV first call for papers here (17.01.2005)

purpose
The CMSRA workshops are an international forum for researchers from the fields of Logic & Decision, Knowledge Representation & Reasoning, Formal Epistemology, Computational Logic and Cognitive Science to discuss recent work in computational models of scientific reasoning.

scope & motivation
The CMSRA workshops are designed to promote research of high-level cognitive reasoning that addresses both the logico-philosophical issues surrounding high-level cognitive notions such as 'knowledge', 'belief' and 'rationality' among others, and also addresses the computational issues involved in constructing practical working models of such reasoning.

Research in this area is being driven by practical concerns and purely theoretical concerns. From a practical point of view, distributed computing and autonomous robotic agents offer two examples of research areas where there is increasing interest in improving the capabilities of agents (or distributed processes) to reason about what each 'knows'. From a logico-philosophical point of view, the natural emphasis on formal semantics and syntax that computational modeling demands is generating new formal studies of concepts and relations that have been traditionally studied by philosophical logics, opening promising new lines of research.

organizers
Luís Moniz Pereira
CENTRIA, Center for AI Research
Department of Computer Science
Universidade Nova de Lisboa
2829-516 Caparica, Portugal

lmp@di.fct.unl.pt

Gregory Wheeler
CENTRIA, Center for AI Research
Department of Computer Science
Universidade Nova de Lisboa
2829-516 Caparica, Portugal

greg@di.fct.unl.pt