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

 program & online proceedings

Registration: 8:30-9:00
September 22 September 23
9:00 Wiebe van der Hoek
Professor of Computer Science,
Head of the (Agent ART) Group
University of Liverpool, UK

Invited Lecture:
Dynamic Epistemic Logic.
(joint work with Hans van Ditmarsch and Barteld Kooi)


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

Invited Lecture:
Coherent Previsions according to de Finetti's theory: bounded versus unbounded quantities.
(joint work with Mark Schervish and Jay Kadane)
10:15 coffee coffee
10:30 Ron Loui
A Mathematical Comment on the Fundamental Difference between Legal Theory Formation and Scientific Theory Formation
 Ray Jennings and Dorian Nicholson
The Mathematics of Family Resemblance
11:30 José Júlio Alferes
Tutorial:
Rewerse: Reasoning on the Web

Fernando Tohmé, Claudio Delrieux and Otávio Bueno
Defeasible Reasoning Partial Models: a Formal Framework for the Methodology of Research Programs		 Pierangelo Dell'Acqua and Luís Moniz Pereira
Preferential Theory Revision
12:30 lunch lunch
2:00 Eric Pacuit
Some Comments on History Based Structures
 James Hawthorne
Nonmonotonic Conditionals that Behave Like Conditional Probabilities Above a Threshold
3:00 Hans Lycke
An Adaptive Logic for Compassionate Relevantism
 Henry Kyburg, Choh Man Teng and Gregory Wheeler
Conditionals and Consequences
4:00 coffee coffee
5:15 Luís Moniz Pereira
Tutorial:
The Distributed European Master in Computational Logic		 Ricardo Silvestre and Tarcísio H. C. Pequeno
Confirmation Theory and the Logic of Inductive Implication
6:15 Prasanta Bandyopadhyay
Types of Coherence and Coherence among Types