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