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

FOURTH INTERNATIONAL WORKSHOP ON COMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (CMSRA-IV).

Lisbon, Portugal
September 21-23, 2005
Papers due by May 20, 2005 (11:59:59 GMT).
For complete timeline, see important dates.

CMSRA welcomes paper submissions on either theoretical or philosophical aspects of computational models of scientific reasoning. The workshop is organized around four themes:

1. Knowledge Representation & Formal Epistemology
   
   • KR&R Ontologies, Concept Formation
   • Theory Formation
   • Confirmation Theory, Evidence.
   • Rational Acceptance, Belief
   • The Anchoring Problem, Perception
   • Experimental Design
     
     
2. Decision & Inference
   
   • Probability, Logic and Uncertainty Frameworks
   • Higher Order and Non-classical, Pure & Applied Logics
   • Computational Models of Reasoning:
     --Analogical, Inductive, Abductive & Statistical Reasoning;
     --Causal & Explanatory Reasoning;
     --Hypothetical & Counterfactual Reasoning;
     --Evidential & Defeasible Reasoning;
     --Discovery, Investigation & Inquiry;
     --Theory change, Belief Revision/Updates.
   • Learning
     
     
3. Distributed/Social Agents
   
   • Argumentation
   • Negotiation
   • Semantic web
   • Social Choice
   • Cooperation & Team Behavior
   • Distributed Scientific Reasoning
   • Computational Models of agent behavior in terms of:
     --Multi-agent Modal epistemic logic;
     --Update/Conditional Logics;
     --Logic Programming;
     --Game Theory.
     
     
4. Applications
   • New Information Technologies
   • Computational Theories in the Sciences
   • Probabilistic Proof Procedures
   • Intelligent Data Mining, Agent-Based Scientific Discovery
     
   • Models of Agreement
   • Bioinformatic Knowledge Processing