Publications
“Direct Dynamic Proofs For Compatibility.” . Computer modeling of scientific reasoning: 179–187.
. 2003. ![](/sites/default/themes/logica/images/biblio.png)
“Do We Need Paraconsistency In Commonsense Reasoning?” . Computer Modeling of Scientific Reasoning: 135–146.
. 2003. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“A Formal Approach To Problem Solving” . Computer Modeling of Scientific Reasoning: 15–26.
. 2003. ![](/sites/default/themes/logica/images/biblio.png)
“Kepler's Near Discovery Of The Sine Law: A Qualitative Computational Model.” . Computer modeling of scientific reasoning: 93–102.
. 2003. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“A Procedure For Generating (Conditional) Answers In A Goal-Directed Way” . Computer modeling of scientific reasoning: 57–63.
. 2003. ![](/sites/default/themes/logica/images/biblio.png)