BiBfile on Adaptive Logics:
Applications [Table of contents]
[Back]
@INCOLLECTION{D:mad,
bestand = {[scan]},
author = {Diderik Batens},
year = {1985},
title = {Meaning, Acceptance, and Dialectics},
pages = {333--360},
crossref = {Pitt},
annote =
{info} }
[Back]
@ARTICLE{D:expert,
author = {Diderik Batens},
title = {Static and dynamic paraconsistent logics and their use
in expert systems},
year = {1986},
journal = {CC-AI},
volume = {3},
pages = {33--50},
annote =
{info} }
[Back]
@INCOLLECTION{D:ladl,
author = {Diderik Batens},
title = {Leo {A}postel on Dialectical Logic},
pages = {24--55},
crossref = {V&P:pla2},
annote = {1989},
annote =
{info} }
[Back]
@ARTICLE{D:ialfnm,
bestand = {[scan]},
author = {Diderik Batens},
year = {1994},
title = {Inconsistency-Adaptive Logics and the Foundation of
Non-Monotonic Logics},
journal = {Logique et Analyse},
volume = {145},
pages = {57--94},
note = {Appeared 1996},
annote =
{info} }
[Back]
@ARTICLE{D:pwv,
bestand = {[scan]},
author = {Diderik Batens},
title = {Paraconsistency and its Relation to Worldviews},
journal = {Foundations of Science},
volume = {3},
pages = {259--283},
year = {1999},
annote =
{info} }
[Back]
@ARTICLE{D:Rpijl,
bestand = {[scan]},
author = {Diderik Batens},
title = {A Dynamic Characterization of the Pure Logic of Relevant Implication},
journal = {Journal of Philosophical Logic},
volume = {30},
year = {2001},
pages = {267-280},
annote =
{info} }
[Back]
@ARTICLE{D:cps,
bestand = {[scan]},
author = {Diderik Batens},
title = {Contextual Problem Solving and Adaptive Logics In Creative Processes},
journal = {Philosophica},
volume = {64},
pages = {7--31},
year = {1999},
note = {Appeared 2001},
annote =
{info} }
[Back]
@INCOLLECTION{D:eial,
bestand = {[scan]},
author = {Diderik Batens},
title = {The Need for Adaptive Logics in Epistemology},
crossref = {GRSVB},
pages = {459--485},
annote =
{info} }
[Back]
@ARTICLE{D:explanat,
bestand = {this paper},
author = {Diderik Batens},
title = {The Theory of the Process of Explanation
Generalized to Include the Inconsistent Case},
journal = {Synthese},
volume = {143},
year = {2005},
pages = {63--88},
annote =
{info} }
[Back]
@ARTICLE{D:ind_vpl7,
author = {Diderik Batens},
title = {The Basic Inductive Schema, Inductive Truisms, and the
Research-Guiding Capacities of the Logic of Inductive Generalization},
journal = {Logique et Analyse},
volume = {185--188},
pages = {53--84},
year= {2004},
note = {Appeared 2005} }
[Back]
@INCOLLECTION{D:nds,
bestand = {[scan]},
author = {Diderik Batens},
title = {Narrowing Down Suspicion in Inconsistent Premise Sets},
crossref = {MP:Jerzy},
pages = {185--209},
annote = {2006},
annote =
{info} }
[Back]
@ARTICLE{D:dyndisc,
bestand = {[ps.zip] [pdf]},
author = {Diderik Batens},
title = {Aspects of the Dynamics of Discussions and Logics Handling Them},
journal = {Logical Studies},
year = {in print},
annote =
{info} }
[Back]
@INCOLLECTION{D:cg_fpsp,
author = {Diderik Batens},
title = {Content Guidance in Formal Problem Solving Processes},
crossref = {P&G:a&psc},
year= {2007},
pages = {121--156},
annote =
{info} }
[Back]
@INCOLLECTION{DJ:lpe,
bestand = {[this paper]},
author = {Diderik Batens and Joke Meheus},
title = {On the Logic and Pragmatics of the Process of Explanation},
crossref = {MK&PY},
note = {22~pp.},
annote = {2001},
annote =
{info} }
[Back]
@ARTICLE{KL:sieving,
author = {De Clercq, Kristof and Verhoeven, Liza},
title = {Sieving Out Relevant and Efficient Questions},
journal = {Logique et Analyse},
volume = {185--188},
pages = {53--84},
year= {2004},
note = {Appeared 2005} }
[Back]
@ARTICLE{LeE:aalcd,
author = {De Vreese, Leen and Erik Weber},
title = {Applications of the Adaptive Logic for Causal Discovery},
journal = {Logique et Analyse},
volume = {185--188},
pages = {33--51},
year= {2004},
note = {Appeared 2005} }
[Back]
@UNPUBLISHED{LeE:ssce,
author = {De Vreese, Leen and Erik Weber},
title = {Searching for Singular Causal Explanations: a formal analysis.},
note = {to appear},
annote =
{info} }
[Back]
@UNPUBLISHED{Ax:ucr,
author = {Alex Klijn},
title = {Using classical resolution method to check derivability for some propositional
paralogics and adative logics},
year = {to appear},
annote =
{info} }
[Back]
@ARTICLE{J:clau1,
author = {Joke Meheus},
title = {Adaptive Logic in Scientific Discovery: the Case of {C}lausius},
journal = {Logique et Analyse},
volume = {143--144},
year = {1993},
pages = {359--389},
note = {Appeared 1996},
annote =
{info} }
[Back]
@ARTICLE{J:np,
author = {Joke Meheus},
title = {Nieuwe perspectieven voor het begrijpen en
bevorderen van creativiteit},
journal = {Mores},
volume = {40},
year = {1995},
pages = {164--178},
annote =
{info} }
[Back]
@ARTICLE{J:d&aal,
author = {Joke Meheus},
title = {Deductive and Ampliative Adaptive Logics
as Tools in the Study of Creativity},
journal = {Foundations of Science},
volume = {4},
pages = {325--336},
year = {1999},
annote =
{info} }
[Back]
@INCOLLECTION{J:mbr,
author = {Joke Meheus},
title = {Model-Based Reasoning in Creative Processes},
crossref = {MN&T},
pages = {199--217},
annote = {1999},
annote =
{info} }
[Back]
@INCOLLECTION{J:analog,
author = {Joke Meheus},
title = {Analogical Reasoning in Creative Problem Solving Processes:
Logico-Philosophical Perspectives},
crossref = {FH:M&A},
pages = {17--34},
annote = {2000},
annote =
{info} }
[Back]
@INCOLLECTION{J:clau2,
author = {Joke Meheus},
title = {Inconsistencies in Scientific Discovery.
{C}lausius's Remarkable Derivation of {C}arnot's Theorem},
crossref = {VPetc},
pages = {143--154},
annote = {2002},
annote =
{info} }
[Back]
@ARTICLE{J:earlypos,
author = {Joke Meheus},
title = {The positivists' approach to scientific discovery},
journal = {Philosophica},
volume = {64},
pages = {81--108},
year = {1999},
note = {Appeared 2001},
annote =
{info} }
[Back]
@ARTICLE{J:clau3,
author = {Joke Meheus},
title = {Clausius' discovery of the first two laws of thermodynamics.
{A} paradigm of reasoning from inconsistencies},
journal = {Philosophica},
volume = {63},
pages = {89--117},
year = {1999},
note = {Appeared 2001},
annote =
{info} }
[Back]
@ARTICLE{J:psic,
bestand = {[scan]},
author = {Joke Meheus},
title = {On the Acceptance of Problem Solutions Derived from Inconsistent Constraints},
journal = {Logic and Logical Philosophy},
volume = {8},
pages = {33--46},
year = {2000},
note = {Appeared 2002},
annote =
{info} }
[Back]
@INCOLLECTION{J:rfi,
author = {Joke Meheus},
title = {How to Reason from Inconsistencies},
crossref = {J:iis},
pages = {151--164},
annote = {2002},
annote =
{info} }
[Back]
@INCOLLECTION{J:ep&aal,
author = {Joke Meheus},
title = {Empirical Progress and Ampliative Adaptive Logics},
crossref = {FA&P1},
pages = {193--217},
annote =
{info} }
[Back]
@INCOLLECTION{J:al_iid,
author = {Joke Meheus},
title = {Adaptive Logics and the Integration of Induction and Deduction},
crossref = {FS:I&Dits},
pages = {93--120},
annote = {2004},
annote =
{info} }
[Back]
@ARTICLE{JD:steering,
bestand = {[scan]},
author = {Joke Meheus and Diderik Batens},
title = {Steering Problem Solving Between Cliff Incoherence
and Cliff Solitude},
journal = {Philosophica},
volume = {58},
year = {1996},
pages = {153--187},
note = {Appeared 1998},
annote =
{info} }
[Back]
@ARTICLE{JDa:ddp_cc,
author = {Joke Meheus and Dagmar Provijn},
title = {Direct Dynamic Proofs for Classical Compatibility},
journal = {Logique et Analyse},
volume = {185--188},
pages = {305--317},
year= {2004},
note = {Appeared 2005},
annote =
{info} }
[Back]
@ARTICLE{JDa:gda,
author = {Joke Meheus and Provijn, Dagmar},
title = {Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs},
journal = {Theoria},
volume = {22/3},
number = {60},
pages = {295--304},
year= {2007},
annote =
{info} }
[Back]
@BOOK{GP:ic,
author = {Graham Priest},
year = {1987},
title = {In Contradiction. {A} Study of the Transconsistent},
publisher = {Nijhoff},
address = {Dordrecht},
annote =
{info} }
[Back]
@BOOK{GP:ic2,
author = {Graham Priest},
year = {2006},
title = {In Contradiction. {A} Study of the Transconsistent},
publisher = {Oxford University Press},
address = {Oxford},
note = {Second expanded edition (first edition 1987)} }
[Back]
@INCOLLECTION{DaE:diag2,
bestand = {[scan]},
author = {Dagmar Provijn and Erik Weber},
title = {Adaptive Logics for Non-explanatory and Explanatory Diagnostic Reasoning},
crossref = {MN&P:MBR01},
pages = {117--142},
annote = {2002},
annote =
{info} }
[Back]
@ARTICLE{G:role,
author = {Guido Vanackere},
title = {The role of ambiguities in the construction of collective theories},
journal = {Logique et Analyse},
year = {2001},
volume = {173--174--175},
pages = {189--214},
note = {Appeared 2003},
annote =
{info} }
[Back]
@ARTICLE{M:cdual,
author = {Van Dyck, Maarten},
title = {Causal Discovery Using Adaptive Logics.
{T}owards a more realistic heuristics for human causal learning},
journal = {Logique et Analyse},
volume = {185--188},
pages = {5--32},
year= {2004},
note = {Appeared 2005},
annote =
{info} }
[Back]
@ARTICLE{BVK&G:val,
author = {Van Kerckhove, Bart and Guido Vanackere},
title = {Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes},
journal = {Studia Logica},
year = {To appear},
annote =
{info} }
[Back]
@ARTICLE{L:cpd,
author = {Liza Verhoeven},
bestand = {[scan]},
title = {Changing One's Position in Discussions. {S}ome Adaptive Approaches},
journal = {Logic and Logical Philosophy},
volume = {11--12},
pages = {277--197},
year = {2003},
annote =
{info} }
[Back]
@UNPUBLISHED{T:iaa,
author = {Timothy Vermeir},
title = {Inconsistency-Adaptive Arithmetic},
year = {To appear} }
[Back]
@INCOLLECTION{EK:expl,
author = {Erik Weber and De Clercq, Kristof},
title = {Why the Logic of Explanation is Inconsistency-Adaptive},
crossref = {J:iis},
pages = {165--184},
annote = {2002},
annote =
{info} }
[Back]
@ARTICLE{ELe:scurvy,
author = {Erik Weber and Leen De Vreese},
title = {The Causes and Cures of Scurvy. {H}ow Modern was {J}ames {L}ind's Methodology?},
journal = {Logic and Logical Philosophy},
year = {in print} }
[Back]
@ARTICLE{EDa:diag,
author = {Erik Weber and Dagmar Provijn},
title = {A Formal Analysis of Diagnosis and Diagnostic Reasoning},
journal = {Logique et Analyse},
volume= {165--166},
year = {1999},
pages = {161--180},
note = {Appeared 2002},
annote =
{info} }
[Back]
@ARTICLE{EM:cle,
author = {Erik Weber and Van Dyck, Maarten},
title = {Adaptive Logic and Covering Law Explanations},
journal = {Logique et Analyse},
volume = {173--174--175},
year = {2001},
pages = {237--254},
note = {Appeared 2003},
annote =
{info} }
[