Provijn, Dagmar. 2014. “Bloody Analogical Reasoning” Erik Weber, Wouters, Dietlinde, and Meheus, Joke. Logic, Reasoning, and Rationality: 217–232.

Provijn, Dagmar. 2012. “The Generation Of Abductive Explanations From Inconsistent Theories”. Logic Journal of the IGPL 20: 400–416.

De Mey, Tim, and Dagmar Provijn. 2010. “William Harvey En De Ontdekking Van De Bloedsomloop.” Linda Van Speybroeck and Braeckman, Johan. Fascinerend Leven. Markante Figuren en Ideeën uit de Geschiedenis van de Biologie.

Provijn, Dagmar. 2009. “Strategies: What's In A Name?” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic 21: 287–306.

Meheus, Joke, and Dagmar Provijn. 2007. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.

Batens, Diderik, Joke Meheus, and Dagmar Provijn. 2006. An Adaptive Characterization Of Signed Systems For Paraconsistent Reasoning.

Provijn, Dagmar. 2005. “Prospectieve Dynamiek. Filosofische En Technische Onderbouwing Van Doelgerichte Bewijzen En Bewijsheuristieken”.

Meheus, Joke, and Dagmar Provijn. 2004. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.

Provijn, Dagmar. 2003. “Direct Dynamic Proofs For Compatibility.” Claudio Delrieux and Legris, Javier. Computer modeling of scientific reasoning: 179–187.

Batens, Diderik, Joke Meheus, Dagmar Provijn, and Liza Verhoeven. 2003. “Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.

Meheus, Joke, Liza Verhoeven, Maarten Van Dyck, and Dagmar Provijn. 2002. “Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.

Provijn, Dagmar. 2002. “Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.”. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.

Provijn, Dagmar. 2002. “How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.”. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, H. Blockeel and Denecker, M.

Batens, Diderik, and Dagmar Provijn. 2001. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.

Weber, Erik, and Dagmar Provijn. 1999. “A Formal Analysis Of Diagnosis And Diagnostic Reasoning”. Logique et Analyse 42: 161–180.