Results for 'Christian Stra��er'

1000+ found
Order:
  1.  2
    Adaptive Logics for Defeasible Reasoning.Christian Straßer - 2014 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  32
    A Deontic Logic Framework Allowing for Factual Detachment.Christian Straßer - 2011 - Journal of Applied Logic 9 (1):61-80.
  3. An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas.Christian Straßer - 2010 - Logic and Logical Philosophy 19 (1-2):95-128.
    Lou Goble proposed powerful conditional deontic logics (CDPM) that are able to deal with deontic conflicts by means of restricting the inheritance principle. One of the central problems for dyadic deontic logics is to properly treat the restricted applicability of the principle “strengthening the antecedent”. In most cases it is desirable to derive from an obligation A under condition B, that A is also obliged under condition B and C. However, there are important counterexamples. Goble proposed a weakened rational monotonicity (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Epistemic Justification in the Context of Pursuit: A Coherentist Approach.Dunja Šešelja & Christian Straßer - 2014 - Synthese 191 (13):3111-3141.
    The aim of this paper is to offer an account of epistemic justification suitable for the context of theory pursuit, that is, for the context in which new scientific ideas, possibly incompatible with the already established theories, emerge and are pursued by scientists. We will frame our account paradigmatically on the basis of one of the influential systems of epistemic justification: Laurence Bonjour’s coherence theory of justification. The idea underlying our approach is to develop a set of criteria which indicate (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  69
    An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Straßer & Joke Meheus - 2013 - Journal of Philosophical Logic 42 (2):285-315.
    We present the inconsistency-adaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets a given premise set ‘as normally (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  22
    Tolerating Deontic Conflicts by Adaptively Restricting Inheritance.Christian Straßer, Mathieu Beirlaen & Joke Meheus - 2012 - Logique Et Analyse 55 (219):477.
  7. Kuhn and the Question of Pursuit Worthiness.Dunja Šešelja & Christian Straßer - 2013 - Topoi 32 (1):9-19.
    The aim of this paper is, on the one hand, to critically investigate Kuhn’s stance on the assessment of the pursuit worthiness of scientific theories, and, on the other hand, to show the actuality of some of Kuhn’s points on this issue, in view of their critical analysis. To this end we show that Kuhn presents certain tools, which may help scientists to overcome communication breakdowns when engaging in the process of rational deliberation regarding the question whether a theory is (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  3
    Withstanding Tensions: Scientific Disagreement and Epistemic Tolerance.Christian Straßer, Dunja Šešelja & Jan Willem Wieland - 2014 - Heuristic Reasoning:113–146.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  15
    Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.
    We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  2
    Normative Reasoning by Sequent-Based Argumentation.Christian Straßer & Ofer Arieli - 2015 - Journal of Logic and Computation 29 (3):387-415.
    In this article, we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contrary-to-duty and specificity cases, which are modelled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic of Argument & Computation ), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  45
    Abstract Argumentation and Explanation Applied to Scientific Debates.Dunja Šešelja & Christian Straßer - 2013 - Synthese 190 (12):2195-2217.
    argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung’s well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, different procedures for selecting (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  12.  78
    A Logic for Best Explanations.Jared Millson & Christian Straßer - 2019 - Journal of Applied Non-Classical Logics 29 (2):184-231.
    Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  19
    Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.
    We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations, and is faithful to standard methods of drawing conclusions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  9
    Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s.Dunja Šešelja & Christian Straßer - 2014 - Acta Biotheoretica 62 (4):429-454.
    Throughout the first half of the twentieth century the research on peptic ulcer disease focused on two rivaling hypothesis: the “acidity” and the “bacterial” one. According to the received view, the latter was dismissed during the 1950s only to be revived with Warren’s and Marshall’s discovery of Helicobacter pylori in the 1980s. In this paper we investigate why the bacterial hypothesis was largely abandoned in the 1950s, and whether there were good epistemic reasons for its dismissal. Of special interest for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  24
    Adaptively Applying Modus Ponens in Conditional Logics of Normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):125-148.
    This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ?safe' to do so concerning the factual and conditional knowledge at hand. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  3
    Reasoning with Maximal Consistency by Argumentative Approaches.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - Journal of Logic and Computation 28 (7):1523--1563.
    Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a more (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  9
    Logical Argumentation by Dynamic Proof Systems.Ofer Arieli & Christian Straßer - forthcoming - Theoretical Computer Science.
    In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not derived’ according (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  4
    Towards the Proof-Theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach.Christian Straßer & D. Seselja - 2010 - Journal of Logic and Computation 21 (2):133–156.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  51
    Kuhn and Coherentist Epistemology.Dunja Šešelja & Christian Straßer - 2009 - Studies in History and Philosophy of Science Part A 40 (3):322-327.
    The paper challenges a recent attempt by Jouni-Matti Kuukkanen to show that since Thomas Kuhn’s philosophical standpoint can be incorporated into coherentist epistemology, it does not necessarily lead to: an abandonment of rationality and rational interparadigm theory comparison, nor to an abandonment of convergent realism. Leaving aside the interpretation of Kuhn as a coherentist, we will show that Kuukkanen’s first thesis is not sufficiently explicated, while the second one entirely fails. With regard to Thesis 1, we argue that Kuhn’s view (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  28
    Extending the Standard Format of Adaptive Logics to the Prioritized Case.Frederik Van De Putte & Christian Straßer - 2012 - Logique Et Analyse 120 (220):601--641.
  22.  1
    Which Style of Reasoning to Choose in the Face of Conflicting Information?Joke Meheus, Peter Verdée & Christian Straßer - 2013 - Journal of Logic and Computation 26 (1):361–380.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  27
    Concerning Peter Vickers’s Recent Treatment of ‘Paraconsistencitis’.Dunja Šešelja & Christian Straßer - 2014 - International Studies in the Philosophy of Science 28 (3):325-340.
  24.  5
    Rationality and Maximal Consistent Sets for a Fragment of ASPIC + Without Undercut.Jesse Heyninck & Christian Straßer - 2021 - Argument and Computation 12 (1):3-47.
    Structured argumentation formalisms, such as ASPIC +, offer a formal model of defeasible reasoning. Usually such formalisms are highly parametrized and modular in order to provide a unifying framework in which different forms of reasoning can be expressed. This generality comes at the price that, in their most general form, formalisms such as ASPIC + do not satisfy important rationality postulates, such as non-interference. Similarly, links to other forms of knowledge representation, such as reasoning with maximal consistent sets of rules, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  3
    Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.AnneMarie Borg, Ofer Arieli & Christian Straßer - 2018 - In E. Black, S. Modgil & N. Oren (eds.), Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science, vol 10757. Cham, Switzerland: Springer. pp. 17–34.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  1
    Structured Argumentation with Prioritized Conditional Obligations and Permissions.Mathieu Beirlaen, Christian Straßer & Jesse Heyninck - 2018 - Journal of Logic and Computation 29 (2):187-214.
    We present a formal argumentation system for dealing with the detachment of prioritized conditional obligations and permissions. In the presence of facts and constraints, we answer the question whether an unconditional obligation or permission is detachable by considering arguments for and against its detachment. For the evaluation of arguments in favour of detachment, we use a Dung-style argumentation-theoretical semantics. We illustrate how violations and contrary-to-duty scenarios are dealt with in our framework and pay special attention to conflict-resolution via priorities.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  6
    On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit.Diderik Batens, Christian Straßer & Peter Verdée - 2009 - Logique Et Analyse 52 (207):281-304.
  28.  1
    Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.Ofer Arieli & Christian Straßer - 2016 - Electronic Notes in Theoretical Computer Science 323:21–37.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  3
    Dynamic Derivations for Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2014 - In Simon Parsons, Nir Oren, Chris Reed & Federico Cerutti (eds.), Proceedings COMMA 2014. IOS Press. pp. 89--100.
  30.  1
    A Structured Argumentation Framework for Detaching Conditional Obligations.Mathieu Beirlaen & Christian Straßer - 2016 - In A. Tamminga O. Roy & M. Willer (eds.), Proceedings of Deon 2016. College Publications. pp. 32--48.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  3
    A Paraconsistent Multi-Agent Framework for Dealing with Normative Conflicts.Mathieu Beirlaen & Christian Straßer - 2011 - In Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814. Berlin, Germany: Springer. pp. 312–329.
  32.  40
    Theory-Choice, Transient Diversity and the Efficiency of Scientific Inquiry.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2019 - European Journal for Philosophy of Science 9 (2):26.
    Recent studies of scientific interaction based on agent-based models suggest that a crucial factor conducive to efficient inquiry is what Zollman has dubbed ‘transient diversity’. It signifies a process in which a community engages in parallel exploration of rivaling theories lasting sufficiently long for the community to identify the best theory and to converge on it. But what exactly generates transient diversity? And is transient diversity a decisive factor when it comes to the efficiency of inquiry? In this paper we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. An Andersonian Deontic Logic with Contextualized Sanctions.Christian Straßer & Mathieu Beirlaen - 2012 - In International Conference on Deontic Logic in Computer Science. pp. 151--169.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  34. An Adaptive Logic for Rational Closure.Christian Straßer - 2009 - In Walter Carnielli, Marcello E. Coniglio & Itala M. Loffredo D’Ottaviano (eds.), The Many Sides of Logic. College Publications. pp. 47-67.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  35.  3
    Adaptive Strategies and Finite-Conditional Premise Sets.Christian Straßer & Frederik Van De Putte - 2014 - Journal of Logic and Computation 26 (5):1517–1539.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  3
    Adaptive Logic Characterizations of Defeasible Reasoning With Applicationsin Argumentation, Normative Reasoning and Default Reasoning.Christian Straßer - 2010 - Dissertation, Ghent University
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Proof Theories for Superpositions of Adaptive Logics.Christian Straßer & Frederik van de Putte - 2016 - Logique Et Analyse 58 (230):307--346.
     
    Export citation  
     
    Bookmark  
  38. Quantifier Elimination For Queues.Christian Straßer - 2006 - In Jan Draisma & Hanspeter Kraft (eds.), Rhine Workshop on Computer Algebra. Proceedings of the Rwca 2006. Universitaet Basel. pp. 239--248.
     
    Export citation  
     
    Bookmark  
  39. Sequent-Based Argumentation for Normative Reasoning.Christian Straßer & Ofer Arieli - 2014 - In Fabrizio Cariani, Davide Grossi, Joke Meheus & Xavier Parent (eds.), Deontic Logic and Normative Systems. Springer. pp. 224--240.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  40. Tolerating Deontic Conflicts by Adaptively Restricting Inheritance.Christian Straßer, Joke Meheus & Mathieu Beirlaen - 2012 - Logique Et Analyse 219:477--506.
     
    Export citation  
     
    Bookmark   1 citation  
  41.  16
    Theory-Choice, Transient Diversity and the Efficiency of Scientific Inquiry.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2019 - European Journal for Philosophy of Science 9 (2):26.
    Recent studies of scientific interaction based on agent-based models suggest that a crucial factor conducive to efficient inquiry is what Zollman has dubbed ‘transient diversity’. It signifies a process in which a community engages in parallel exploration of rivaling theories lasting sufficiently long for the community to identify the best theory and to converge on it. But what exactly generates transient diversity? And is transient diversity a decisive factor when it comes to the efficiency of inquiry? In this paper we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. An Argumentative Agent-Based Model of Scientific Inquiry.AnneMarie Borg, Daniel Frey, Dunja Šešelja & Christian Straßer - 2017 - In Salem Benferhat, Karim Tabia & Moonis Ali (eds.), Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, Iea/Aie 2017, Arras, France, June 27-30, 2017, Proceedings, Part I. Springer Verlag. pp. 507--510.
  43.  29
    Preferential Semantics Using Non-Smooth Preference Relations.Frederik Van De Putte & Christian Straßer - 2014 - Journal of Philosophical Logic 43 (5):903-942.
    This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and elaborating on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  13
    Formal Models of Scientific Inquiry in a Social Context: An Introduction.Dunja Šešelja, Christian Straßer & AnneMarie Borg - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):211-217.
    Formal models of scientific inquiry, aimed at capturing socio-epistemic aspects underlying the process of scientific research, have become an important method in formal social epistemology and philosophy of science. In this introduction to the special issue we provide a historical overview of the development of formal models of this kind and analyze their methodological contributions to discussions in philosophy of science. In particular, we show that their significance consists in different forms of ‘methodological iteration’ whereby the models initiate new lines (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. The Rationality of Scientific Reasoning in the Context of Pursuit: Drawing Appropriate Distinctions.Dunja Šešelja, Laszlo Kosolosky & Christian Straßer - 2012 - Philosophica 86:51--82.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  46. Argumentative Approaches to Reasoning with Consistent Subsets of Premises.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2017 - Lecture Notes in Computer Science:455–465.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  4
    Argumentative Approaches to Reasoning with Maximal Consistency.Ofer Arieli & Christian Straßer - 2016 - In Chitta Baral, James Delgrande & Frank Wolter (eds.), KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning. pp. 509--512.
  48.  3
    Prioritized Sequent-Based Argumentation.Ofer Arieli, AnneMarie Borg & Christian Straßer - 2018 - In Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1105--1113.
  49. Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach.Ofer Arieli, AnneMarie Borg & Christian Straßer - forthcoming - In Proceedings of Flairs 2020.
    No categories
     
    Export citation  
     
    Bookmark  
  50. Adaptive Logics: A Parametric Approach.Frederik Van De Putte & Christian Straßer - 2014 - Logic Journal of the IGPL 22 (6):905--932.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000