Third International WorkshopCOMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (III CMSRA)Argentine National Library, Buenos AiresSeptember 14-15, 2003 Papers Accepted for PresentationThe final program of the Workshop will soon be available. Please submit your final versions in electronic format to claudio@acm.org no later than August 15th. The format for the final versions can be downloaded at http://www.springer.de/comp/lncs/authors.html, and the page limit is 14 pages. |
Author(s) |
Title |
Jakson Alves |
Two Evolutionary Games: Prisoner's dilemma and Collective Action |
Diderik Batens |
A Formal Approach to Problem Solving. |
Otávio Bueno |
Application of Mathematics and Underdetermination |
C. Chesnevar and G. Simari |
A Framework for Combining Defeasible Argumentation with Labeled Deduction |
K. De Clerq and R. Vanderbeken |
A procedure for generating (conditional) answers in a goal-directed way. |
P. Dell’Acqua and L. M. Pereira |
Common-sense reasoning as proto-scientific agent activity |
Claudio Delrieux |
Abductive inference in defeasible reasoning: a model for research programmes |
A. García, M. Falappa and G. Simari |
On the Interplay of Belief Dynamics and Defeasible Reasoning |
Lieven Haesaert |
An adaptive Logic for Inductive Prediction |
Albrecht Heeffer |
Kepler’s near discovery of the sine law: A qualitative computational model. |
Silvia Lerner |
Default models of Rationality |
C. Loureiro and C. Ghedini |
Most Inferences are Defeasible |
Leticia Luque |
Issues regarding a computational model for consciousness |
Lorenzo Magnani |
Reasoning through Doing Epistemic Mediators in Scientific Discovery |
Joke Mehus |
Do We Need Paraconsistency in Commonsense Reasoning? |
Sallantin, Divol, Duroux, Nobrega and Ferneda. |
Descartes, a methodical elimination of paradoxes for (de)-ontology building |
Carlos Oller |
Measuring Coherence Using LP-models |
Ahti Pietarinen |
What are Multi-agent systems trying to accomplish? Towards semiotic and game-theoretic agenda |
Dagmar Provijn |
Direct Dynamic Proofs for Compatibility |
P. Suppes and J-Y. Béziau |
Semantic Computation of Truth Based on Associations Already Learned |
Guido Vanackere |
Conditionally applied classical logic, conceptual change, and theory development |
L. Verhoeven and L. Horsten |
On the sense of eating strawberries, or, on the exclusivity implicature of ‘or’ |
G. Wheeler and L. M. Pereira |
Epistemology and Artificial Intelligence |