Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Dagmar Provijn
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
14
Resultaten
2014
Bloody analogical reasoning
Dagmar Provijn
Hoofdstuk in een boek
in
Logic, reasoning, and rationality
2014
2013
William Harvey en de ontdekking van de bloedsomloop
Dagmar Provijn
Tim De Mey
Hoofdstuk in een boek
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
Artikel in een tijdschrift
in
LOGIC JOURNAL OF THE IGPL
2012
2009
Strategies: what's in a name?
Dagmar Provijn
Hoofdstuk in een boek
in
The Many Sides of Logic
2009
2007
Abduction through semantic tableaux versus abduction through goal-directed proofs.
Joke Meheus
Dagmar Provijn
A1
Artikel in een tijdschrift
in
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA
2007
2004
Direct dynamic proofs for classical compatibility
Dagmar Provijn
Joke Meheus
A2
Artikel in een tijdschrift
in
LOGIQUE ET ANALYSE
2004
2003
Direct dynamic proofs for compatibility.
Dagmar Provijn
Hoofdstuk in een boek
in
Computer modeling of scientific reasoning
2003
Pushing the Search Paths in the Proofs. A Study in Proof Heuristics
Diderik Batens
Dagmar Provijn
A2
Artikel in een tijdschrift
in
LOGIQUE ET ANALYSE
2003
Some Adaptive Logics for Diagnosis
Diderik Batens
Joke Meheus
Dagmar Provijn
Liza Verhoeven
A2
Artikel in een tijdschrift
in
LOGIC AND LOGICAL PHILOSOPHY
2003
2002
Adaptive logics for non-explanatory and explanatory diagnostic reasoning
Dagmar Provijn
Erik Weber
P1
Conferentie
2002
Ampliative adaptive logics and the foundation of logic-based approaches to abduction
Joke Meheus
Liza Verhoeven
Maarten Van Dyck
Dagmar Provijn
P1
Conferentie
2002
How to obtain elegant Fitch-style proofs from Goal directed ones.
Dagmar Provijn
C1
Conferentie
2002
Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.
Dagmar Provijn
C1
Conferentie
2002
1999
A Formal Analysis of Diagnosis and Diagnostic Reasoning.
Erik Weber
Dagmar Provijn
A2
Artikel in een tijdschrift
in
LOGIQUE ET ANALYSE
1999