Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM
暂无分享,去创建一个
[1] Christian Straßer,et al. Argumentative Approaches to Reasoning with Maximal Consistency , 2016, KR.
[2] Henry Prakken. Two approaches to the formalisation of defeasible deontic reasoning , 1996, Stud Logica.
[3] Arnon Avron,et al. \mathbf {RM} and its Nice Properties , 2016 .
[4] G. Gentzen. Untersuchungen über das logische Schließen. II , 1935 .
[5] Christian Straßer,et al. Normative reasoning by sequent-based argumentation , 2019, J. Log. Comput..
[6] Arnon Avron. RM and its Nice Properties , 2019 .
[7] Diderik Batens,et al. A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.
[8] J. Dunn,et al. Algebraic Completeness Results for Dummett's LC and Its Extensions , 1971 .
[9] Phan Minh Dung,et al. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..
[10] David Makinson,et al. Bridges between Classical and Nonmonotonic Logic , 2003, Log. J. IGPL.
[11] Arnon Avron,et al. A constructive analysis of RM , 1987, Journal of Symbolic Logic.
[12] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[13] N. Belnap,et al. Entailment. The Logic of Relevance and Necessity. Volume I , 1978 .
[14] Philippe Besnard,et al. Logical limits of abstract argumentation frameworks , 2013, J. Appl. Non Class. Logics.
[15] Yining Wu,et al. Implementing crash-resistance and non-interference in logic-based argumentation , 2015, J. Log. Comput..
[16] Martin Caminada,et al. On the evaluation of argumentation formalisms , 2007, Artif. Intell..
[17] John L. Pollock,et al. How to Reason Defeasibly , 1992, Artif. Intell..
[18] Anthony Hunter,et al. A logic-based theory of deductive arguments , 2001, Artif. Intell..
[19] Claudette Cayrol,et al. On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment , 1995, IJCAI.
[20] Paul E. Dunne,et al. Semi-stable semantics , 2006, J. Log. Comput..
[21] Christian Straßer,et al. Sequent-based logical argumentation , 2015, Argument Comput..
[22] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[23] Christian Straßer,et al. Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations , 2015, LSFA.
[24] Christian Straßer. Adaptive Logics for Defeasible Reasoning , 2014 .
[25] Leila Amgoud,et al. Postulates for logic-based argumentation systems , 2014, Int. J. Approx. Reason..
[26] Trevor J. M. Bench-Capon,et al. Argumentation in artificial intelligence , 2007, Artif. Intell..
[27] Henry Prakken,et al. An abstract framework for argumentation with structured arguments , 2010, Argument Comput..
[28] Guillermo Ricardo Simari,et al. A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..
[29] A. Avron. The method of hypersequents in the proof theory of propositional non-classical logics , 1996 .
[30] Arnon Avron,et al. What is relevance logic? , 2014, Ann. Pure Appl. Log..