Dagmar Provijn

发表

Pushing the Search Paths in the Proofs. A Study in Proof Heuristics

D. Batens, Dagmar Provijn, 2003 .

Strategies: what's in a name?

Dagmar Provijn, 2009 .

Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs

J. Meheus, Dagmar Provijn, 2007 .

An Intuitionistic and a Relevant Goal-Directed Proof Theory : a Further Study in Proof Heuristics

D. Batens, Dagmar Provijn, 2004 .

Some Adaptive Logics for Diagnosis

Diderik Batens, Joke Meheus, Liza Verhoeven, 2003 .

Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction

Maarten Van Dyck, Joke Meheus, Liza Verhoeven, 2002 .

An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning

Diderik Batens, Joke Meheus, Dagmar Provijn, 2006 .

A reconstruction of Signed Systems for Paraconsistent Reasoning within the Adaptive Logic Program ∗

Dagmar Provijn, 2003 .

Bloody Analogical Reasoning

Dagmar Provijn, 2014 .

William Harvey's bloody motion: Creativity in Science

Dagmar Provijn, Laszlo Kosolosky, 2012 .

Strategies: what's in a name?

Dagmar Provijn, 2009 .