@incollection {924546,
	title = {Strategies: what{\textquoteright}s in a name?},
	booktitle = {The Many Sides of Logic},
	series = {Studies in Logic},
	volume = {21},
	year = {2009},
	pages = {287{\textendash}306},
	publisher = {College Publications},
	abstract = {<p>In this paper, I will show that Hintikkas notion of strategy can refer to proof-heuristic reasoning as well as to methodological reasoning forms. Stating this distinction allows for a better understanding of the notion and for an easier way to tackle the problem of formalization. Contrary to Hintikkas opinion, heuristic reasoning can be implemented in formal proofs by means of goal-directed proof procedures. Methodological reasoning forms on the other hand can be formally represented by means of adaptive logics.</p>},
	isbn = {9781904987789},
	author = {Provijn, Dagmar},
	editor = {Carnielli, Walter A. and Coniglio, Marcelo E. and Loffredo D{\textquoteright}Ottaviano, Itala M.}
}
@article {DJDaL:diag,
	title = {Some Adaptive Logics for Diagnosis},
	journal = {Logic and Logical Philosophy},
	volume = {11/12},
	year = {2003},
	pages = {39{\textendash}65},
	abstract = {<p>A logic of diagnosis proceeds in terms of a set of premises and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from \cite{EDa:diag} and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.</p>},
	author = {Batens, Diderik and Meheus, Joke and Provijn, Dagmar and Verhoeven, Liza}
}
