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