Second International WorkshopCOMPUTATIONAL MODELS OF SCIENTIFIC REASONING AND APPLICATIONS (II CMSRA)Monte Carlo Resort, Las Vegas, Nevada, USAJune 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 |