@incollection {290835, title = {Direct dynamic proofs for compatibility.}, booktitle = {Computer modeling of scientific reasoning}, year = {2003}, pages = {179{\textendash}187}, publisher = {Universidad Nacional Del Sur. EDIUNS}, address = {Bahia Blanca, Argentinia}, isbn = {987-9281-89-6}, author = {Provijn, Dagmar}, editor = {Delrieux, Claudio and Legris, Javier} } @incollection {J:pcsr, title = {Do We Need Paraconsistency in Commonsense Reasoning?}, booktitle = {Computer Modeling of Scientific Reasoning}, year = {2003}, pages = {135{\textendash}146}, publisher = {Universidad Nacional del Sur. EDIUNS}, address = {Bahia Blanca, Argentina}, author = {Meheus, Joke}, editor = {Delrieux, Claudio and Legris, Javier} } @incollection {D:faps, title = {A Formal Approach to Problem Solving}, booktitle = {Computer Modeling of Scientific Reasoning}, year = {2003}, pages = {15{\textendash}26}, publisher = {Universidad Nacional Del Sur. EDIUNS}, address = {Bahia Blanca, Argentinia}, author = {Batens, Diderik}, editor = {Delrieux, Claudio and Legris, Javier} } @incollection {217593, title = {Kepler{\textquoteright}s near discovery of the sine law: a qualitative computational model.}, booktitle = {Computer modeling of scientific reasoning}, year = {2003}, pages = {93{\textendash}102}, publisher = {Universidad Nacional Del Sur. EDIUNS}, abstract = {

Computational models offer an excellent tool for the study and analysis of scientific discovery processes. The study of failures provides an insight into the history and philosophy of science as valuable as the study of successful discoveries. Using a computational model I analyzed Kepler’s approach in formulating a quantitative law for refraction. Although Kepler ultimately failed in discovering the sine law, the model shows that his basic hypothesis as well as his approach by geometrical reasoning was a correct one. This went largely unnoticed by commentators on the history of optics. Based on this analysis I provide new evidence that Descartes and Snell found in Kepler’s main hypothesis everything needed to deduce the sine law by pure geometrical reasoning. Our computational model is based on geometrical knowledge as contrasted with previous quantitative approaches. It has been implemented as a Prolog program.

}, isbn = {N/A}, author = {Heeffer, Albrecht}, editor = {Delrieux, Claudio and Legris, Javier} } @incollection {597466, title = {A Procedure for Generating (Conditional) Answers in a Goal-Directed Way}, booktitle = {Computer modeling of scientific reasoning}, year = {2003}, pages = {57{\textendash}63}, publisher = {Universidad Nacional Del Sur. EDIUNS}, address = {Bahia Blanca, Argentinia}, abstract = {

Two evolutionary games : collective action and prisoner{\textquoteright}s dilema / Jakson Alves de Aquino {\textendash} A formal approach to problem solving / Diderik Batens {\textendash} Application of mathematics and underdetermination / Ota\unmatched{0301}vio Bueno {\textendash} A framework for combining defeasible argumentation with labeled deduction / Carlos Iva\unmatched{0301}n Chesn\unmatched{0303}evar and Guillermo Ricardo Simari {\textendash} A procedure for generating (conditional) answers in a goal-directed way / Kristof De Clerq and Rob Vanderbeken {\textendash} Abductive inference in defeasible reasoning : a model for research programmes / Claudio Delrieux {\textendash} Kepler{\textquoteright}s near discovery of the sine law : a quantitative computational model / Albrecht Heeffer {\textendash} Default models of rationality / Silvia Lerner {\textendash} Most inferences are defeasible / Jose\unmatched{0301} Carlos Loureiro Ralha and Ce\unmatched{0301}lia Ghedini Rahla {\textendash} Reasoning through doing : epistemic mediators in scientific reasoning / Lorenzo Magnani {\textendash} Do we need paraconsistency in commonsense reasoning? / Joke Meheus {\textendash} Descartes, a methodical elimination of paradoxes for (de)-ontology building / Jean Sallantin ... [et al.] {\textendash} Measuring coherence using LP-models / Carlos A. Oller {\textendash} What are multi-agent systems trying to accomplish? Towards pragmatic game-theoretical agenda / Ahti-Veikko Pietarinen {\textendash} Direct dynamic proofs for compatibility / Dagmar Provijn {\textendash} Semantic computations of truth, based on associations already learned / Patrick Suppes and Jean-Yves Be\unmatched{0301}ziau {\textendash} On the sense of eating strawberries, or, On the exclusivity implcature fo {\textquoteright}or{\textquoteright} / Liza Verhoeven and Leon Horsten {\textendash} A note on epistemology and logical afrificial intelligence / Gregory R. Wheeler and Lui\unmatched{0301}s Moniz Pereira.

}, isbn = {9879281896}, author = {Vanderbeeken, Robrecht and De Clercq, Kristof}, editor = {Delrieux, Claudio and Legris, Javier} }