Publications
Export 5 results:
Author [ Title] Type Year Filters: Author is Delrieux, Claudio [Clear All Filters]
“Direct Dynamic Proofs For Compatibility.” . Computer modeling of scientific reasoning: 179–187.
. 2003. “Do We Need Paraconsistency In Commonsense Reasoning?” . Computer Modeling of Scientific Reasoning: 135–146.
. 2003. “A Formal Approach To Problem Solving” . Computer Modeling of Scientific Reasoning: 15–26.
. 2003. “Kepler's Near Discovery Of The Sine Law: A Qualitative Computational Model.” . Computer modeling of scientific reasoning: 93–102.
. 2003. “A Procedure For Generating (Conditional) Answers In A Goal-Directed Way” . Computer modeling of scientific reasoning: 57–63.
. 2003.