@proceedings {Strasser, title = {Dynamic Derivations for Sequent-Based Deductive Argumentation}, journal = {COMMA 2014}, volume = {Computational Models of Argument}, year = {2014}, pages = {89{\textendash}100}, abstract = {

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.

}, author = {Stra{\ss}er, Christian and Arieli, Ofer}, editor = {Parsons, Simon and Oren, Nir and Reed, Chris and Cerutti, Federico} } @proceedings {1856691, title = {The role of unification in explanations of facts}, journal = {EPSA Philosophy of Science 2009}, year = {2012}, pages = {403-413}, publisher = {Springer}, address = {Amsterdam}, abstract = {

In the literature on scientific explanation, there is a classical distinction between explanations of facts and explanations of laws. This paper is about explanations of facts. Our aim is to analyse the role of unification in explanations of this kind. We discuss five positions with respect to this role, argue for two of them and refute the three others.

}, isbn = {9789400724037}, doi = {http://dx.doi.org/10.1007/978-94-007-2404-4\_33}, author = {Weber, Erik and Van Bouwel, Jeroen and Lefevere, Merel}, editor = {De Regt, Henk and Okasha, Samir and Hartmann, Stephan} } @incollection {2009, title = {Why should I adopt pluralism?}, booktitle = {Economic Pluralism}, year = {2009}, publisher = {Routledge}, abstract = {

If the most perplexing thing in the world is a lack of theory, the second mostperplexing must be an abundance of it. This contribution clarifies the notion of pluralism byintroducing an often neglected but crucial distinction between different levels at whichpluralism can be situated. It intends to provide a framework for scholars dealing with thequestion how to manage the divergence of views they are confronted with.

}, author = {De Langhe, Rogier}, editor = {Garnett, Rob and Olsen, Erik and Starr, Martha} } @incollection {D:ial, title = {Inconsistency-Adaptive Logics}, booktitle = {Logic at Work. {E}ssays Dedicated to the Memory of {H}elena {R}asiowa}, year = {1999}, pages = {445{\textendash}472}, publisher = {Physica Verlag (Springer)}, address = {Heidelberg, New York}, abstract = {

After a general description of adaptive logics and their intended applications, I study the proof theory and semantics of two closely related predicative inconsistency-adaptive logics, ACLuN1 and ACLuN2. To this end, I first describe their monotonic basis: the paraconsistent logic CLuN obtained by dropping the consistency requirement from classical logic. The propositional fragments of these inconsistency-adaptive logics have been studied elsewhere. The predicative versions involve several interesting difficulties that lead to new results.

}, author = {Batens, Diderik}, editor = {Or{\l}owska, Ewa} }