Second International Workshop

COMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (II CMSRA)

Monte Carlo Resort, Las Vegas, Nevada, USA
June 24-27, 2002

On-Line Proceedings.




Paraconsistent Semantics for Extended Logic Programs
Ofer Arieli
University of Tel Aviv - Israel
oarieli@mta.ac.il


pdf file



Evaluating Evidence when making Difficult Decisions
David Bell and David Glass
University of Ulster - Ireland
da.bell@ulster.ac.uk


pdf file



Reasoning about Events and Knowledge in Distributed Systms
Carla Delgado and Mario Benevides
COPPE-Sistemas - Universidade Federal do Rio de Janeiro - Brazil
mario@cos.ufrj.br


pdf file



Semantic Computations of Truth based on Associations Already Learned
Patrick Suppes and Jean-Yves Béziau
Centre for the Study of Language and Information - Stanford University - USA
jybeziau@hotmail.com


pdf file



Reasoning in Distributed Parameter Systems - Migrating Objects Approach
Agnieszka Bogobowicz
Acadia University - Canada
agnieszka.bogobowicz@acadiau.ca


pdf file



Scientific Change and Partial Structures
Otávio Bueno
Department of Philosophy - California State University, Fresno and University of South Carolina - USA
otavio_bueno@csufresno.edu


pdf file



A Two-Dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems
Vania Costa and Mario Benevides
COPPE-Sistemas - Universidade Federal do Rio de Janeiro - Brazil
vania@ibge.gov.br


pdf file



Abduction in Nonmonotonic Theories
Claudio Delrieux
Universidad Nacional del Sur - Bahía Blanca - Argentina
claudio@acm.org


pdf file



Formal Patterns of Scientific Reasoning I: A Rational Reconstruction of the Research Programmes of Contemporary Cosmology
Claudio Delrieux and Fernando Tohmé
Universidad Nacional del Sur - Bahía Blanca - Argentina
claudio@acm.org


pdf file



Dispersion of Knowledge - A Case Study on the Early 90's GIS Implementation Literature
Roberto Ferrari and Josiane Bueno
University of São Carlos, São Carlos - Brazil
ferrari@dc.ufscar.br


pdf file



Efficient Convergence Implies Ockham's Razor
Kevin Kelly
Department of Philosophy - Carnegie Mellon University
kk3n@andrew.cmu.edu


pdf file



Dynamical Systems Theory in Cognition: Are We Really Gaining?
Alcibiades Malapi
Department of Philosophy, Concordia University - Canada
alci911@yahoo.com


pdf file



An Abductive Theory of Scientific Reasoning (Invited Keynote)
Lorenzo Magnani
Department of Philosophy and Computational Philosophy Laboratory, University of Pavia, Pavia, Italy, and Georgia Institute of Technology, Atlanta, USA
lmagnani@cc.gatech.edu


pdf file



Cooperation and Defection in a Generalized Modal Setting
Tara Nicholson
Laboratory of Logic and Experimental Philosophy - Simon Fraser Univ. - Canada
taraleen@sfu.ca


pdf file



The Logic of Intra-Theoretic Scientific Reasoning
Tarcisio Pequeno and Ricardo Sousa Silvestre
Department of Computer Science - Federal University of Ceará - Brazil
tarcisio@lia.ufc.br


pdf file



On Philosophical Incidences of Logic Programming
Luís Moniz Pereira
Centro de Inteligència Artificial - Universidade Nova da Lisboa - Portugal
lmp@di.fct.unl.pt


pdf file



Belief Revision via Lamarckian Evolution
Evelina Lamma, Fabrizio Riguzzi and Luís Moniz Pereira
Centro de Inteligència Artificial - Universidade Nova de Lisboa - Portugal
lmp@di.fct.unl.pt


pdf file



Some Useful Social Metaphors in Logic
Ahti Pietarinen
Department of Philosophy - University of Helsinki - Finland pietarin@cc.helsinki.fi


pdf file



Response-Ability and its Complexity
Andreas Polyméris, Ricardo Contreras, Marķa Angélica Pinninghoff and Esteban Osses
Universidad de Concepción - Chile
apolymer@inf.udec.cl


pdf file



A Model-Theoretic Account of States of the World
Fernando Tohmé
Universidad Nacional del Sur - Bahía Blanca - Argentina
ftohme@criba.edu.ar


pdf file



Qualitative Logic for "Generally"
Paulo Veloso and Sheila Veloso
COPPE-Sistemas Universidade Federal do Rio de Janeiro - Brazil
sheila@cos.ufrj.br


pdf file



Last updated June 17th., 2002