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) -
Prospectieve dynamiek : filosofische en technische onderbouwing van doelgerichte bewijzen en bewijsheuristieken
(2005) -
Direct dynamic proofs for classical compatibility
-
Direct dynamic proofs for compatibility.
-
Pushing the Search Paths in the Proofs. A Study in Proof Heuristics