Publications
Export 5 results:
Author Title [ Type![(Desc)](https://www.clps.ugent.be/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: Author is Delrieux, Claudio [Clear All Filters]
“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)