Show
Sort by
-
- Book Chapter
- open access
Bloody analogical reasoning
-
William Harvey en de ontdekking van de bloedsomloop
-
The generation of abductive explanations from inconsistent theories
-
Strategies: what's in a name?
-
- Journal Article
- A1
- open access
Abduction through semantic tableaux versus abduction through goal-directed proofs.
-
- Miscellaneous
- open access
An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning
(2006) -
Direct dynamic proofs for classical compatibility
-
Direct dynamic proofs for compatibility.
-
Pushing the Search Paths in the Proofs. A Study in Proof Heuristics
-
Some Adaptive Logics for Diagnosis
-
Ampliative adaptive logics and the foundation of logic-based approaches to abduction
-
Adaptive logics for non-explanatory and explanatory diagnostic reasoning
-
How to obtain elegant Fitch-style proofs from Goal directed ones.
-
Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.
-
A Formal Analysis of Diagnosis and Diagnostic Reasoning.