Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 15 results:

Filters: Author is Provijn, Dagmar [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

W

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.

S

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.

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

P

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

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

H

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.

G

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

F

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

E

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.

D

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

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

B

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

A

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.

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

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