Publications
Export 3 results:
Author Title Type [ Year
] Filters: Author is Provijn, Dagmar and First Letter Of Title is A [Clear All Filters]
. 2007. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.
. 2002. “Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.