[Haskell] CFP: Computational Models of Scientific Reasoning and Applications (CMSRA-IV)

Luis Moniz Pereira lmp at di.fct.unl.pt
Sat Jul 23 04:10:00 EDT 2005

Please relay
Computational Models of Scientific Reasoning and Applications (CMSRA-IV)
Lisbon, 21-23 September 2005


Invited speakers:

Teddy Seidenfeld
H. A. Simon Professor of Philosophy and Statistics,
Carnegie Mellon University, USA

Wiebe van der Hoek
Professor of Computer Science,
Head of the (Agent ART) Group
University of Liverpool, UK

Accepted papers: 

The Mathematics of Family Resemblance
R. Jennings and D. Nicholson
Nonmonotonic Conditionals that Behave Like Conditional Probabilities Above a
J. Hawthorne

An Adaptive Logic for Compassionate Relevantism
H. Lycke

Preferential Theory Revision
P. Dell'Acqua and L.M. Pereira

Defeasible Reasoning Partial Models: a Formal Framework for the Methodology
of Research Programs
F. Tohmé, C. Delrieux and O. Bueno

Some Comments on History Based Structures
E. Pacuit

Types of Coherence and Coherence among Types
P. Bandyopadhyay

Conditionals and Consequences
H. E. Kyburg, C. M. Teng and G. Wheeler 

Confirmation Theory and the Logic of Inductive Implication
R. Silvestre, H. Tarcisio and C. Pequeno

A Mathematical Comment on the Fundamental Difference between Legal Theory
Formation and Scientific Theory Formation
R. Loui

More information about the Haskell mailing list