Third International Workshop

COMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (III CMSRA)

Argentine National Library, Buenos Aires
September 14-15, 2003

Papers Accepted for Presentation


The 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


Last updated July 29th., 2003