Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Dagmar Provijn
Profile
Projects
Publications
Activities
Awards & Distinctions
15
Results
2014
Bloody analogical reasoning
Dagmar Provijn
Bookchapter
in
Logic, reasoning, and rationality
2014
2013
William Harvey en de ontdekking van de bloedsomloop
Dagmar Provijn
Tim De Mey
Bookchapter
in
Fascinerend leven : markante figuren en ideeën uit de geschiedenis van de biologie
2013
2012
The generation of abductive explanations from inconsistent theories
Dagmar Provijn
A1
Journal Article
in
LOGIC JOURNAL OF THE IGPL
2012
2009
Strategies: what's in a name?
Dagmar Provijn
Bookchapter
in
The Many Sides of Logic
2009
2007
Abduction through semantic tableaux versus abduction through goal-directed proofs.
Joke Meheus
Dagmar Provijn
A1
Journal Article
in
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA
2007
2005
Prospectieve dynamiek : filosofische en technische onderbouwing van doelgerichte bewijzen en bewijsheuristieken
Dagmar Provijn
Diderik Batens
Dissertation
2005
2004
Direct dynamic proofs for classical compatibility
Dagmar Provijn
Joke Meheus
A2
Journal Article
in
LOGIQUE ET ANALYSE
2004
2003
Direct dynamic proofs for compatibility.
Dagmar Provijn
Bookchapter
in
Computer modeling of scientific reasoning
2003
Pushing the Search Paths in the Proofs. A Study in Proof Heuristics
Diderik Batens
Dagmar Provijn
A2
Journal Article
in
LOGIQUE ET ANALYSE
2003
Some Adaptive Logics for Diagnosis
Diderik Batens
Joke Meheus
Dagmar Provijn
Liza Verhoeven
A2
Journal Article
in
LOGIC AND LOGICAL PHILOSOPHY
2003
2002
Adaptive logics for non-explanatory and explanatory diagnostic reasoning
Dagmar Provijn
Erik Weber
P1
Conference
2002
Ampliative adaptive logics and the foundation of logic-based approaches to abduction
Joke Meheus
Liza Verhoeven
Maarten Van Dyck
Dagmar Provijn
P1
Conference
2002
How to obtain elegant Fitch-style proofs from Goal directed ones.
Dagmar Provijn
C1
Conference
2002
Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.
Dagmar Provijn
C1
Conference
2002
1999
A Formal Analysis of Diagnosis and Diagnostic Reasoning.
Erik Weber
Dagmar Provijn
A2
Journal Article
in
LOGIQUE ET ANALYSE
1999