luis moniz pereira bgodifctunlpt please relay computational models scientific reasoning applications cmsraiv lisbon 2123 september 2005 httpcentriadifctunlptgregconfcmsraivhtml program invited speakers teddy seidenfeld h simon professor philosophy statistics carnegie mellon university usa wiebe van der hoek professor computer science head agent art group university liverpool uk accepted papers mathematics family resemblance r jennings nicholson nonmonotonic conditionals behave like conditional probabilities threshold j hawthorne adaptive logic compassionate relevantism h lycke preferential theory revision p dellacqua lm pereira defeasible reasoning partial models formal framework methodology research programs f tohmé c delrieux bueno comments history based structures e pacuit types coherence coherence among types p bandyopadhyay conditionals consequences h e kyburg c teng g wheeler confirmation theory logic inductive implication r silvestre h tarcisio c pequeno mathematical comment fundamental difference legal theory formation scientific theory formation r loui wed 06 aug 2008 154442 0100 uai cfp computational models scientific reasoning applications cmsraiv