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 |