@incollection {JK:gdt, title = {Goal-Directed Tableaux}, booktitle = {The Many Sides of Logic}, series = {Studies in Logic}, volume = {21}, year = {2009}, pages = {241{\textendash}256}, publisher = {College Publications}, address = {London}, abstract = {

This paper contains a new format for analytic tableaux, called goal-directed tableaux. Their main interest lies in the fact that the search for a closed tableau proceeds in a highly constrained way. The goal-directed tableaux do not form a complete decision method for propositional classical logic (because they do not sustain Ex Falso Quodlibet). For consistent sets of premises, however, they lead to the same results as the usual analytic tableaux for classical logic.

}, author = {Meheus, Joke and De Clercq, Kristof}, editor = {Carnielli, Walter A. and Coniglio, Marcelo E. and Loffredo D{\textquoteright}Ottaviano, Itala M.} } @article {680715, title = {Yes Fellows, Most Human Reasoning is Complex}, journal = {Synthese}, volume = {166}, number = {1}, year = {2009}, pages = {113{\textendash}131}, abstract = {

This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41-60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.

}, issn = {0039-7857}, url = {http://dx.doi.org/10.1007/s11229-007-9268-4}, author = {Batens, Diderik and De Clercq, Kristof and Verd{\'e}e, Peter and Meheus, Joke} } @phdthesis {PhD_Kristof, title = {Logica in Communicatie. Bijdragen vanuit Vraaglogica en {\textquoteright}Belief Revision{\textquoteright}, Steunend op Adaptieve Logica{\textquoteright}s}, year = {2004}, month = {September 3}, publisher = {Ghent University}, type = {phd}, author = {De Clercq, Kristof} } @article {DK:cluns, title = {A Rich Paraconsistent Extension of Full Positive Logic}, journal = {Logique et Analyse}, volume = {47}, number = {185{\textendash}188}, year = {2004}, note = {Appeared 2005}, pages = {227{\textendash}257}, abstract = {

In the present paper we devise and study the most natural predicative extension of Sch{\"u}tte{\textquoteright}s maximally paraconsistent logic. With some of its large fragments, this logic, \sys{CLuNs}, forms the most popular family of paraconsistent logics. Devising the system involves some entanglements, and the system itself raises several interesting questions. As the system and fragments were studied by other authors, we restrict our attention to results that we have not seen in press.

}, author = {Batens, Diderik and De Clercq, Kristof} } @article {322466, title = {Sieving Out Relevant and Efficient Questions}, journal = {Logique et Analyse}, volume = {47}, number = {185{\textendash}188}, year = {2004}, pages = {189{\textendash}216}, abstract = {

Wisniewksi’s erotetic logic provides us with two slightly different semantic explications of the intuitive concept of “a question arises from a set of declarative premises”. Unfortunately, Wisniewski’s erotetic concepts suffer from the drawback that they allow for the raising of irrelevant and inefficient questions. The aim of this paper is to show that raising such questions can be avoided by changing the underlying logic. Several closely related logical approaches which enable us to eliminate irrelevant and inefficient questions, are presented.

}, issn = {0024-5836}, author = {De Clercq, Kristof and Verhoeven, Liza} } @incollection {597466, title = {A Procedure for Generating (Conditional) Answers in a Goal-Directed Way}, booktitle = {Computer modeling of scientific reasoning}, year = {2003}, pages = {57{\textendash}63}, publisher = {Universidad Nacional Del Sur. EDIUNS}, address = {Bahia Blanca, Argentinia}, abstract = {

Two evolutionary games : collective action and prisoner{\textquoteright}s dilema / Jakson Alves de Aquino {\textendash} A formal approach to problem solving / Diderik Batens {\textendash} Application of mathematics and underdetermination / Ota\unmatched{0301}vio Bueno {\textendash} A framework for combining defeasible argumentation with labeled deduction / Carlos Iva\unmatched{0301}n Chesn\unmatched{0303}evar and Guillermo Ricardo Simari {\textendash} A procedure for generating (conditional) answers in a goal-directed way / Kristof De Clerq and Rob Vanderbeken {\textendash} Abductive inference in defeasible reasoning : a model for research programmes / Claudio Delrieux {\textendash} Kepler{\textquoteright}s near discovery of the sine law : a quantitative computational model / Albrecht Heeffer {\textendash} Default models of rationality / Silvia Lerner {\textendash} Most inferences are defeasible / Jose\unmatched{0301} Carlos Loureiro Ralha and Ce\unmatched{0301}lia Ghedini Rahla {\textendash} Reasoning through doing : epistemic mediators in scientific reasoning / Lorenzo Magnani {\textendash} Do we need paraconsistency in commonsense reasoning? / Joke Meheus {\textendash} Descartes, a methodical elimination of paradoxes for (de)-ontology building / Jean Sallantin ... [et al.] {\textendash} Measuring coherence using LP-models / Carlos A. Oller {\textendash} What are multi-agent systems trying to accomplish? Towards pragmatic game-theoretical agenda / Ahti-Veikko Pietarinen {\textendash} Direct dynamic proofs for compatibility / Dagmar Provijn {\textendash} Semantic computations of truth, based on associations already learned / Patrick Suppes and Jean-Yves Be\unmatched{0301}ziau {\textendash} On the sense of eating strawberries, or, On the exclusivity implcature fo {\textquoteright}or{\textquoteright} / Liza Verhoeven and Leon Horsten {\textendash} A note on epistemology and logical afrificial intelligence / Gregory R. Wheeler and Lui\unmatched{0301}s Moniz Pereira.

}, isbn = {9879281896}, author = {Vanderbeeken, Robrecht and De Clercq, Kristof}, editor = {Delrieux, Claudio and Legris, Javier} } @incollection {152663, title = {Why the logic of explanation is inconsistency-adaptive.}, booktitle = {Inconsistency in science}, year = {2002}, pages = {165{\textendash}184}, publisher = {Kluwer}, isbn = {1-4020-0630-6}, doi = {10.1007/978-94-017-0085-6_10}, author = {Weber, Erik and De Clercq, Kristof}, editor = {Meheus, Joke} } @article {322468, title = {Two New Strategies for Inconsistency-Adaptive Logics}, journal = {Logic and Logical Philosophy}, volume = {8}, year = {2000}, pages = {65{\textendash}80}, abstract = {

In this paper I present two new strategies for inconsistency- adaptive logics: the reliable sufficient information strategyof ACLuN3 and the minimally abnormal sufficient information strategyof ACLuN4. I give proof theory and semantics for both ACLuN3 and ACLuN4. I also com- pare them with the well-known inconsistency-adaptive logics ACLuN1 and ACLuN2.

}, issn = {1425-3305}, doi = {10.12775/LLP.2000.004}, author = {De Clercq, Kristof} } @article {DK\&N, title = {Embedding and Interpolation for Some Paralogics. {T}he Propositional Case}, journal = {Reports on Mathematical Logic}, volume = {33}, year = {1999}, pages = {29{\textendash}44}, abstract = {

We consider the very weak paracomplete and paraconsistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove (for the propositional case) that these logics may be faithfully embedded in Classical Logic (as well as in each other), and that the interpolation theorem obtains for them.

}, author = {Batens, Diderik and De Clercq, Kristof and Kurtonina, Natasha} }