% Created 2021-04-20 Di 17:19 % Intended LaTeX compiler: pdflatex \documentclass[11pt]{article} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{graphicx} \usepackage{grffile} \usepackage{longtable} \usepackage{wrapfig} \usepackage{rotating} \usepackage[normalem]{ulem} \usepackage{amsmath} \usepackage{textcomp} \usepackage{amssymb} \usepackage{capt-of} \usepackage{hyperref} \usepackage{etaremune} \author{Christian Straßer} \date{\today} \title{Publications of Christian Straßer} \hypersetup{ pdfauthor={Christian Straßer}, pdftitle={Publications of Christian Straßer}, pdfkeywords={}, pdfsubject={}, pdfcreator={Emacs 27.2 (Org mode 9.4.5)}, pdflang={English}}

\begin{document} \maketitle \setcounter{tocdepth}{2} \tableofcontents \section*{Books and Dissertation} \label{sec:orge3589bc} \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune} \item Christian Straßer, \emph{Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning}, \emph{Trends in Logic}-series on Springer, Volume 38, 2014 \ignore{ \begin{verbatim} @book{Strasser_Springer_2014, title = {Adaptive logics for defeasible reasoning}, author = {Stra{\ss}er, Christian}, year = {2014}, publisher = {Springer}, doi = {10.1007/978-3-319-00792-2}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer, \emph{Defeasible reasoning with applications in argumentation, normative reasoning and default reasoning}, PhD Thesis, Ghent University \ignore{ \begin{verbatim} @PhdThesis{Strasser_phd_2011, author = {Christian Stra{\ss}er}, title = {Defeasible Reasoning With Applications in Argumentation, Normative Reasoning and Default Reasoning}, school = {Ghent University}, year = {2010}, url = {http://www.academia.edu/613799/Adaptive_Logic_Characterizations_of_Defeasible_Reasoning_With_Applications_in_Argumentation_and_Default_Reasoning}, } \end{verbatim} } \end{etaremune} \section*{Papers} \label{sec:orgda60d8d} Note that the default order of authors is alphabetical. During 2019--2020 I have been the director of the Institute for Philosophy II. The increased administrative workload led to a significant decrease in research time. \subsection*{2021} \label{sec:org7e2b5e1} \ignore{ \begin{center} \begin{tabular}{lll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=72] \item AnneMarie Borg, Christian Straßer and Ofer Arieli, \emph{A Generalized Proof-Theoretic Approach to Logical Argumentation based on Hypersequents}, accepted for Studia Logica \ignore{ \begin{verbatim} @Article{Borg_et_al_SL_2021, author = {AnneMarie Borg and Christian Stra{\ss}er and Ofer Arieli}, title = {A Generalized Proof-Theoretic Approach to Logical Argumentation based on Hypersequents}, journal = {Studia Logica}, year = {2021}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {Forthcoming.}, OPTannote = {} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{llll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli, AnneMarie Borg, Jesse Heyninck, and Christian Straßer, \emph{Logic-Based Approaches to Formal Argumentation}, Conditionally accepted for the Handbook of Formal Argumentation, Vol.2 \ignore{ \begin{center} \begin{tabular}{lll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli, AnneMarie Borg, Jesse Heyninck and Christian Straßer, \emph{Logic-based approaches to formal argumentation}, Forthcoming in IfCoLog Journal of Logics and Their Applications \ignore{ \begin{center} \begin{tabular}{ll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/sandersontiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Sanderson Molick and Christian Straßer, \emph{Valuation and Compactness in Finitely-Valued Nondeterministic First Order Logics}, Conditionally accepted for the Logic Journal of the IGPL \ignore{ \begin{center} \begin{tabular}{llll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli, AnneMarie Borg, Jesse Heyninck, and Christian Straßer, \emph{Logic-Based Approaches to Formal Argumentation}, Conditionally accepted for the Handbook of Formal Argumentation, Vol.2 \end{etaremune} \subsection*{2020} \label{sec:org0f6198a} \ignore{ \begin{center} \begin{tabular}{lll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=67] \item AnneMarie Borg, Ofer Arieli and Christian Straßer, \emph{Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach}, accepted for FLAIRS, 2020 \ignore{ \begin{verbatim} @incollection{Arieli_et_al_FLAIRS_2020, author = {Ofer Arieli and AnneMarie Borg and Christian Stra{\ss}er}, title = {Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach}, OPTcrossref = {}, OPTkey = {}, booktitle = {Proceedings of FLAIRS 2020}, year = {2020}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpages = {}, OPTmonth = {}, OPTaddress = {}, OPTorganization = {}, OPTpublisher = {}, note = {Forthcoming.}, OPTannote = {} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli and Christian Straßer, \emph{On Minimality and Consistency Tolerance in Logical Argumentation Frameworks}, accepted for COMMA 2020. \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Jesse Heyninck and Christian Straßer, \emph{Rationality and maximal consistent sets for a fragment of \(\mathrm{ASPIC} ^{+}\) without undercut}, accepted for Argument and Computation. \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{itemize} \item Also appeared in: Jesse Heyninck and Christian Straßer, \emph{Rationality and maximal consistent sets for a fragment of \(\mathrm{ASPIC} ^{+}\) without undercut}, accepted for the Recently Published Research track of KR2020. \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \end{itemize} \item Jesse Heyninck and Christian Straßer, \emph{A comparative study of assumption-based argumentative approaches to reasoning with priorities}, conditionally accepted for IFCOLOG \end{etaremune} \subsection*{2019} \label{sec:orgf49d14d} \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=63] \item Jesse Heyninck and Christian Straßer, \emph{A comparative study of assumption-based approaches to reasoning with priorities}, accepted for the Journal of Applied Logic, 2019 \ignore{ \begin{verbatim} @Article{Heyninck_Strasser_JAL_2020, author = {Jesse Heyninck and Christian Stra{\ss}er}, title = {A comparative study of assumption-based approaches to reasoning with priorities}, journal = {Journal of Applied Logic}, year = {2020}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {Forthcoming.}, OPTannote = {} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{https://csub.academia.edu/JaredMillson}{\includegraphics[width=.9\linewidth]{../images/jaredtiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Jared Millson and Christian Straßer, \emph{A Logic for Best Explanations}, Journal of Applied Non-Classical Logics, 2019 \ignore{ \begin{verbatim} @article{Millson_Strasser_JANCL_2019, author = {Jared Millson and Christian Stra{\ss}er}, title = {A logic for best explanations}, journal = {Journal of Applied Non-Classical Logics}, volume = {0}, number = {0}, pages = {1-48}, year = {2019}, publisher = {Taylor & Francis}, doi = {10.1080/11663081.2019.1591108}, URL = {https://doi.org/10.1080/11663081.2019.1591108}, eprint = {https://doi.org/10.1080/11663081.2019.1591108}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Jesse Heyninck and Christian Straßer, \emph{A fully rational argumentation system for preordered defeasible rules}, AAMAS 2019 (acceptance rate: 24\%). \ignore{ \begin{verbatim} @incollection{Heyninck_Strasser_AAMAS_2019, title={A Fully Rational Argumentation System for Preordered Defeasible Rules}, author={Heyninck, Jesse and Stra{\ss}er, Christian}, booktitle={Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems}, pages={1704--1712}, year={2019}, organization={International Foundation for Autonomous Agents and Multiagent Systems} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli and Christian Straßer, \emph{Logical Argumentation by Dynamic Proof Systems}, Theoretical Computer Science, 2019 \ignore{ \begin{verbatim} @article{Arieli_Strasser_TCS_2019, title = "Logical argumentation by dynamic proof systems", journal = "Theoretical Computer Science", year = "2019", issn = "0304-3975", doi = "https://doi.org/10.1016/j.tcs.2019.02.019", url = "http://www.sciencedirect.com/science/article/pii/S0304397519301252", author = "Ofer Arieli and Christian Straßer", keywords = "Logical argumentation, Sequent calculi, Dynamic derivations", abstract = "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 to the content of the sequence. We show that decisive conclusions of such a process correspond to well-accepted consequences of the underlying argumentation framework. The outcome is therefore a general and modular proof-theoretical approach for paraconsistent and non-monotonic reasoning with argumentation systems." } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{llll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \begin{center} \includegraphics[width=.9\linewidth]{../images/danielftiny.png} \end{center} & \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer, \emph{Theory-Choice, Transient Diversity and the Efficiency of Scientific Inquiry}, European Journal of Philosophy of Science, 2019, 9(2) \ignore{ \begin{verbatim} @article{Borg_et_al_EPSA_2019, title={Theory-choice, transient diversity and the efficiency of scientific inquiry}, author={Borg, AnneMarie and Frey, Daniel and {\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian}, journal={European Journal for Philosophy of Science}, volume={9}, number={2}, pages={26}, year={2019}, publisher={Springer} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dunja Šešelja, Christian Straßer, AnneMarie Borg \emph{Formal Models of Scientific Inquiry: an Introduction}, Journal for General Philosophy of Science, Accepted. \ignore{ \begin{verbatim} @article{Seselja_et_al_GPS_2020, title = {Formal Models of Scientific Inquiry: an Introduction}, journal = {Journal for General Philosophy of Science}, year = {2020}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, note = {Forthcoming.}, } \end{verbatim} } \end{etaremune} \subsection*{2018} \label{sec:orgd56a961} \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=57] \item Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer, \emph{A critical assessment of Pollock's work on logic-based argumentation with suppositions}, NMR 2018. \ignore{ \begin{verbatim} @incollection{Beirlaen_et_al_NML_2018, title={A critical assessment of Pollock’s work on logic-based argumentation with suppositions}, author={Beirlaen, Mathieu and Heyninck, Jesse and Stra{\ss}er, Christian}, booktitle={Proceedings of the NMR}, volume={20}, pages={63--72}, year={2018} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli, AnneMarie Borg and Christian Straßer, \emph{Reasoning with maximal consistency by argumentative approaches}, Journal of Logic and Computation, NMR 2018. \ignore{ \begin{verbatim} @article{Arieli_et_al_NRM_2018, title={Reasoning with maximal consistency by argumentative approaches}, author={Arieli, Ofer and Borg, AnneMarie and Stra{\ss}er, Christian}, journal={Journal of Logic and Computation}, volume={28}, number={7}, pages={1523--1563}, year={2018}, publisher={Oxford University Press} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item AnneMarie Borg, Ofer Arieli and Christian Straßer, \emph{Reasoning with maximal consistency by argumentative approaches}, Journal of Logic and Computation, forthcoming, \href{https://doi.org/10.1093/logcom/exy027}{doi:10.1093/logcom/exy027} \ignore{ \begin{verbatim} @article{Borg_et_al_JLC_2018, author = {Straßer, Christian and Arieli, Ofer and Borg, AnneMarie}, title = "{Reasoning with maximal consistency by argumentative approaches}", journal = {Journal of Logic and Computation}, volume = {28}, number = {7}, pages = {1523-1563}, year = {2018}, month = {10}, abstract = "{Reasoning with the maximally consistent subsets (MCS) 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 proof-theoretical flavor, extending Gentzen-style sequent calculi. The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms. As a by-product of this we obtain soundness and completeness results for the dynamic proof systems with respect to several of Dung’s semantics. In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks.}", issn = {0955-792X}, doi = {10.1093/logcom/exy027}, url = {https://doi.org/10.1093/logcom/exy027}, eprint = {http://oup.prod.sis.lan/logcom/article-pdf/28/7/1523/26152992/exy027.pdf}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{llll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#pere}{\includegraphics[width=.9\linewidth]{../images/pere.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer, \emph{Argument Strength in Formal Argumentation}, IFCOLOG, 5(1), pp. 629--676 \ignore{ \begin{verbatim} @article{Beirlaen_et_al_IFCOLOG_2018, title={Argument strength in formal argumentation}, author={Beirlaen, Mathieu and Heyninck, Jesse and Pardo, Pere and Stra{\ss}er, Christian}, journal={Journal of Applied Logics-IfCoLog Journal of Logics and their Applications}, volume={5}, number={3}, pages={629--675}, year={2018}, publisher={COLL PUBLICATIONS 35 BALLARDS LN, LONDON, N3 1XW, ENGLAND} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer, \emph{A Critical Assessment of Pollock’s Accounts of Suppositional Argumentation} (Extended Abstract), Argumentation and Philosophy, Sub-Workshop of COMMA 2018 \ignore{ \begin{verbatim} @incollection{Beirlaen_et_al_ArgPhil_2018, title = {A critical assessment of Pollock's work on logic-based argumentation with suppositions}, year = {2018}, author = {Mathieu Beirlaen and Jesse Heyninck and Christian Stra{\ss}er}, booktitle = {Proceedings of Argumentation and Philosophy (sub-workshop of COMMA 2018)}, note = {Extended Abstract.}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item AnneMarie Borg and Christian Straßer, \emph{Relevance in Structured Argumentation}, IJCAI 2018 (acceptance rate 20\%), \href{https://doi.org/10.24963/ijcai.2018/242}{doi:10.24963/ijcai.2018/242} \ignore{ \begin{verbatim} @Article{Borg_Strasser_IJCAI_2018, author = {Borg, AnneMarie and Straßer, Christian}, title = {Relevance in Structured Argumentation}, year = 2018, doi = {10.24963/ijcai.2018/242}, journal = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence}, publisher = {International Joint Conferences on Artificial Intelligence Organization} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Jesse Heyninck and Christian Straßer, \emph{A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities}, CLAR 2018 (non-archival) \ignore{ \begin{verbatim} @incollection{Heyninck_Strasser_CLAR_2018, title = {A Comparative Study of Assumption-Based Approaches to Reasoning with Priorities}, year = {2018}, booktitle = {Proceedings of CLAR 2018}, note = {Non-archival publication.}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item AnneMarie Borg, Ofer Arieli and Christian Straßer, \emph{Hypersequent-based Argumentation: An Instantiation in the Relevance Logic RM}. In: \emph{Theory and Applications of Formal Argumentation 2018. Lecture Notes in Computer Science, vol 10757}, pp. \s 17--34, Springer. \ignore{ \begin{verbatim} @Article{Borg_et_al_TAFA_2018, author = {Borg, AnneMarie and Arieli, Ofer and Straßer, Christian}, title = {Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM}, year = 2018, pages = {17–34}, doi = {10.1007/978-3-319-75553-3_2}, isbn = 9783319755533, journal = {Proceedings of TAFA. Lecture Notes in Computer Science}, publisher = {Springer International Publishing} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli, AnneMarie Borg, Christian Straßer, \emph{Prioritized Sequent-Based Argumentation}, AAMAS 2018, pp.\s 1105--1113 (acceptance rate 25\%). \ignore{ \begin{verbatim} @incollection{Arieli_et_al_AAMAS_2018, title={Prioritized sequent-based argumentation}, author={Arieli, Ofer and Borg, AnneMarie and Stra{\ss}er, Christian}, booktitle={Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems}, pages={1105--1113}, year={2018}, organization={International Foundation for Autonomous Agents and Multiagent Systems} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}}\\ \end{tabular} \end{center} } \item AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer, \emph{Epistemic Effects of Scientific Interaction: approaching the question with an argumentative agent-based model}, special issue of Historical Social Research: ``Agent Based Modelling across Social Science, Economics, and Philosophy'', Vol. 43, No. 1 (163), pp. 285--307, 2018 \ignore{ \begin{verbatim} @Article{Borg_et_al_HSR_2018, author = {AnneMarie Borg and Daniel Frey and Dunja {\v{S}}e{\v{s}}elja and Christian Stra{\ss}er}, title = {Epistemic effects of scientific interaction: approaching the question with an argumentative agent-based model}, journal = {Historical Social Research}, year = {2018}, volume = {43}, number = {1}, pages = {285-309}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer, \emph{Structured Argumentation with Prioritized Conditional Obligations and Permissions}, Studia Logica, 29(2), 187-214 \href{https://doi.org/10.1093/logcom/exy005}{doi:10.1093/logcom/exy005} \ignore{ \begin{verbatim} @article{Beirlaen_et_al_JLC_2018, author = {Beirlaen, Mathieu and Straßer, Christian and Heyninck, Jesse}, title = "{Structured argumentation with prioritized conditional obligations and permissions}", journal = {Journal of Logic and Computation}, volume = {29}, number = {2}, pages = {187-214}, year = {2018}, month = {03}, abstract = "{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.}", issn = {0955-792X}, doi = {10.1093/logcom/exy005}, url = {https://doi.org/10.1093/logcom/exy005}, eprint = {http://oup.prod.sis.lan/logcom/article-pdf/29/2/187/27941054/exy005.pdf}, } \end{verbatim} } \end{etaremune} \subsection*{2017} \label{sec:orgfbd3c08} \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#pere}{\includegraphics[width=.9\linewidth]{../images/pere.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=47] \item Jesse Heyninck, Pere Pardo, Christian Straßer, \emph{Assumption-Based Approaches to Reasoning with Priorities}, Proceedings of AI\textsuperscript{3}, pp.\s 58--72, 2017 \ignore{ \begin{verbatim} @incollection{Heyninck_et_al_AI3_2017, author = {Jesse Heyninck and Pere Pardo and Christian Stra{\ss}er}, title = {Assumption-Based Approaches to Reasoning with Priorities}, booktitle = {Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with {XVI} International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 16-17, 2017.}, pages = {58--72}, year = {2017}, crossref = {DBLP:conf/aiia/2017ai3}, url = {http://ceur-ws.org/Vol-2012/AI3-2017_paper_6.pdf}, note = {Arxiv version at \url{https://arxiv.org/abs/1709.07255}}, timestamp = {Tue, 12 Dec 2017 14:07:25 +0100}, biburl = {https://dblp.org/rec/bib/conf/aiia/HeyninckPS17}, bibsource = {dblp computer science bibliography, https://dblp.org} } @collection{DBLP:conf/aiia/2017ai3, editor = {Stefano Bistarelli and Massimiliano Giacomin and Andrea Pazienza}, title = {Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with {XVI} International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 16-17, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {2012}, publisher = {CEUR-WS.org}, year = {2017}, url = {http://ceur-ws.org/Vol-2012}, urn = {urn:nbn:de:0074-2012-3}, timestamp = {Tue, 12 Dec 2017 14:06:40 +0100}, biburl = {https://dblp.org/rec/bib/conf/aiia/2017ai3}, bibsource = {dblp computer science bibliography, https://dblp.org} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{llll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \begin{center} \includegraphics[width=.9\linewidth]{../images/danielftiny.png} \end{center} & \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item AnneMarie Borg, Daniel Frey, Dunja Šešelja, and Christian Straßer, \emph{Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry} in the FoLLI Series on Logic, Language and Information 2017, pp.\s 391--406, Springer. \ignore{ \begin{verbatim} @Inbook{Borg_et_al_LORI_2017, author="Borg, AnneMarie and Frey, Daniel and {\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian", editor="Baltag, Alexandru and Seligman, Jeremy and Yamada, Tomoyuki", title="Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry", bookTitle="Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings", year="2017", publisher="Springer Berlin Heidelberg", address="Berlin, Heidelberg", pages="391--406" } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Jesse Heyninck and Christian Straßer, \emph{Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.}, IJCAI 2017, pp.\s 1088--1092. \ignore{ \begin{verbatim} @incollection{Heyninck_Strasser_IJCAI_2017, title={Revisiting unrestricted rebut and preferences in structured argumentation}, author={Heyninck, Jesse and Stra{\ss}er, Christian}, booktitle={Proceedings of the 26th International Joint Conference on Artificial Intelligence}, pages={1088--1092}, year={2017}, organization={AAAI Press} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli, Annemarie Borg, and Christian Straßer, \emph{Argumentative Approaches to Reasoning with Consistent Subsets of Premises} in proceedings of IEA/AIE'2017 (full paper), Lecture Notes in Artificial Intelligence series, pp.\s 455–465, Springer \ignore{ \begin{verbatim} @Article{Arieli_et_al_IEA_2017, author = {Arieli, Ofer and Borg, AnneMarie and Straßer, Christian}, title = {Argumentative Approaches to Reasoning with Consistent Subsets of Premises}, year = 2017, pages = {455–465}, issn = {1611-3349}, doi = {10.1007/978-3-319-60042-0_50}, url = {http://dx.doi.org/10.1007/978-3-319-60042-0_50}, isbn = 9783319600420, journal = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index\#annemarie}{\includegraphics[width=.9\linewidth]{../images/annemarietiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Annemarie Borg, Daniel Frey, Dunja Šešelja and Christian Straßer, \emph{An argumentative agent-based model of scientific inquiry}, in proceedings of IEA/AIE'2017 (poster paper), Lecture Notes in Artificial Intelligence series, pp.\s 507--510, Springer \ignore{ \begin{verbatim} @Inbook{Borg_et_al_IEA_2017, author={Borg, AnneMarie and Frey, Daniel and {\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian}, editor={Benferhat, Salem and Tabia, Karim and Ali, Moonis}, title="An Argumentative Agent-Based Model of Scientific Inquiry", bookTitle="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", year="2017", publisher="Springer International Publishing", address="Cham", pages="507--510", isbn="978-3-319-60042-0", } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Mathieu Beirlaen, Jesse Heyninck, and Christian Straßer, \emph{Reasoning by Cases in Structured Argumentation} forthcoming in KRR/SAC 2017, \href{https://doi.org/10.1145/3019612.3019716}{doi:10.1145/3019612.3019716} \ignore{ \begin{verbatim} @Article{Beirlaen_etal_KRR_2017, author = {Beirlaen, Mathieu and Heyninck, Jesse and Straßer, Christian}, title = {Reasoning by cases in structured argumentation.}, year = 2017, doi = {10.1145/3019612.3019716}, url = {http://dx.doi.org/10.1145/3019612.3019716}, isbn = 9781450344869, journal = {Proceedings of the Symposium on Applied Computing - SAC ’17}, publisher = {ACM Press} } \end{verbatim} } \end{etaremune} \subsection*{2016} \label{sec:orgb5acd01} \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=41] \item Beirlaen, M., \& Christian Straßer, \emph{A structured argumentation framework for detaching conditional obligations}, In O. Roy, A. Tamminga, \& M. Willer, Deontic Logic and Normative Systems (Proceedings DEON 2016) (pp. 32–48) (2016). College Publications. \ignore{ \begin{verbatim} @incollection{Beirlaen_Strasser_DEON_2016, author = {Mathieu Beirlaen and Christian Stra{\ss}er}, title = {A structured argumentation framework for detaching conditional obligations}, booktitle = {Proceedings of DEON 2016}, year = {2016}, editor = {O. Roy, A. Tamminga, & M. Willer}, pages = {32--48}, publisher = {College Publications}, url = {http://www.collegepublications.co.uk/DEON/?00001}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli and Christian Straßer, \emph{Deductive argumentation by enhanced sequent calculi and dynamic derivations}, Electronic Notes in Theoretical Computer Science, 323, 21–37 (2016). \ignore{ \begin{verbatim} @Article{Arieli_Strasser_2016, author = {Arieli, Ofer and Straßer, Christian}, title = {Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations}, year = 2016, volume = 323, month = {Jul}, pages = {21–37}, issn = {1571-0661}, doi = {10.1016/j.entcs.2016.06.003}, url = {http://dx.doi.org/10.1016/j.entcs.2016.06.003}, journal = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier BV} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#jesse}{\includegraphics[width=.9\linewidth]{../images/jessetiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Heyninck, J., \& Christian Straßer, \emph{Relations between assumption-based approaches in nonmonotonic logic and formal argumentation}, In G. Kern-Isberner, \& R. Wassermann, Proceedings of NMR2016 (pp. 65–76) (2016) \ignore{ \begin{verbatim} @incollection{Heyninck_Strasser_NMR_2016, author = {Jesse Heyninck and Christian Stra{\ss}er}, title = {Relations between assumption-based approaches in nonmonotonic logic and formal argumentation}, booktitle = {Proceedings of NMR2016}, year = {2016}, pages = {65--76}, url = {https://arxiv.org/abs/1604.00162}, editor = {Gabriele Kern-Isberner and Renata Wassermann}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer, \& Putte, F. v. d., \emph{Proof theories for superpositions of adaptive logics}, Logique et analyse, 58(230), 307–346 (2016) \ignore{ \begin{verbatim} @Article{Strasser_Putte_LA_2016, author = {Christian Stra{\ss}er and Frederik van de Putte}, title = {Proof theories for superpositions of adaptive logics}, journal = {Logique et analyse}, year = {2016}, volume = {58}, number = {230}, pages = {307--346}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli and Christian Straßer, \emph{Argumentative Approaches to Reasoning with Maximal Consistency}, Proceedings of KR'16, pp.\s 509--512. Eds. Chitta Baral, James Delgrande, and Frank Wolter. AAAI Press. ISBN 978-1-57735-755-1. \ignore{ \begin{verbatim} @incollection{Arieli_Strasser_KR_2016, title={Argumentative Approaches to Reasoning with Maximal Consistency.}, author={Arieli, Ofer and Stra{\ss}er, Christian}, booktitle={KR}, pages={509--512}, published = {AAAI}, year={2016} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}}\\ \end{tabular} \end{center} } \item Straßer, Christian, Beirlaen, M., \& Van De Putte, F., \emph{Adaptive logic characterizations of input/output logic}, Studia Logica, 104(5), 869–916 (2016) \ignore{ \begin{verbatim} @Article{Strasser_at_el_SL_2016, author="Stra{\ss}er, Christian and Beirlaen, Mathieu and Van De Putte, Frederik", title="Adaptive Logic Characterizations of Input/Output Logic", journal="Studia Logica", year="2016", volume="104", number="5", pages="869--916", abstract="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 (dynamic) 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.", issn="1572-8730", doi="10.1007/s11225-016-9656-1", url="http://dx.doi.org/10.1007/s11225-016-9656-1" } \end{verbatim} } \end{etaremune} \subsection*{2015} \label{sec:org3999f4e} \ignore{ \begin{center} \begin{tabular}{ll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=35] \item Ofer Arieli, Christian Straßer, \emph{Sequent-Based Logical Argumentation}, in \emph{Argument and Computation}, Vol.\ 6, Issue 1, pp.\ 73--99, 2015 \ignore{ \begin{verbatim} @article{Arieli_Strasser_AC_2014, author = {Ofer Arieli and Christian Stra{\ss}er}, title = {Sequent-Based Logical Argumentation}, journal = {Argument and Computation.}, number = {1}, volume = {6}, pages = {73--99}, year = {2015}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer and Ofer Arieli, \emph{Normative Reasoning by Sequent-Based Argumentation}, Journal of Logic and Computation (special issue on the DEON 2014 conference). \ignore{ \begin{verbatim} @article{Strasser_Arieli_JLC_2015, author = {Straßer, Christian and Arieli, Ofer}, title = "{Normative reasoning by sequent-based argumentation}", journal = {Journal of Logic and Computation}, volume = {29}, number = {3}, pages = {387-415}, year = {2015}, month = {07}, abstract = "{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 (see the papers of the second author in CLIMA'2013 and of the two authors in Volume 6 (No. 1) of Argument \\& Computation ), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific sequents. We demonstrate the usefulness of our approach by means of various well-known benchmark examples, and show that this approach is rich enough to capture a variety of paradigms for handling conflicting norms such as reasoning with maximally consistent sets, prioritized norms and deontic formalisms based on I/O logic. }", issn = {0955-792X}, doi = {10.1093/logcom/exv050}, url = {https://doi.org/10.1093/logcom/exv050}, eprint = {http://oup.prod.sis.lan/logcom/article-pdf/29/3/387/28321903/exv050.pdf}, } \end{verbatim} } \end{etaremune} \subsection*{2014} \label{sec:orgd703e77} \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://ucdavis.academia.edu/aldoantonelli}{https://0.academia-photos.com/33394/10858/10214/tiny\textsubscript{g}\textsubscript{aldo.antonelli.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=33] \item Christian Straßer and Aldo Antonelli, \emph{Nonmonotonic Logic}, \emph{Stanford Encyclopedia of Philosophy}, \url{http://plato.stanford.edu/entries/logic-nonmonotonic}, 2014 \ignore{ \begin{verbatim} @InCollection{sep-logic-nonmonotonic_2018, author = {Strasser, Christian and Antonelli, G. Aldo}, title = {Non-monotonic Logic}, booktitle = {The Stanford Encyclopedia of Philosophy}, editor = {Edward N. Zalta}, howpublished = {\url{https://plato.stanford.edu/archives/sum2018/entries/logic-nonmonotonic/}}, year = {2018}, edition = {Summer 2018}, publisher = {Metaphysics Research Lab, Stanford University} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Šešelja D. and Straßer C. (2014), Concerning Peter Vickers’ Recent Treatment of ‘Paraconsistencitis’: Review article of Peter Vickers, Understanding Inconsistent Science. Oxford: Oxford University Press, 2013. xii + 273 pp., International Studies in the Philosophy of Science, 28(3), pp. 325-340 (invited review article). \ignore{ \begin{verbatim} @article{Seselja_Strasser_ISPS_2014, title={Concerning Peter Vickers's Recent Treatment of ‘Paraconsistencitis’}, author={{\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian}, journal={International Studies in the Philosophy of Science}, volume={28}, number={3}, pages={325--340}, year={2014}, publisher={Taylor \& Francis} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer and Frederik Van De Putte, \emph{Adaptive Strategies and Finite-Conditional Premise Sets}, Journal of Logic and Computation, 26/5, pp.\s 1517–1539, 2016 \ignore{ \begin{verbatim} @Article{Strasser_Putte_JLC_2014, author = {Straßer, Christian and Van De Putte, Frederik}, title = {Adaptive strategies and finite-conditional premise sets}, year = 2014, volume = 26, number = 5, month = {Jun}, pages = {1517–1539}, issn = {1465-363X}, doi = {10.1093/logcom/exu044}, url = {http://dx.doi.org/10.1093/logcom/exu044}, journal = {Journal of Logic and Computation}, publisher = {Oxford University Press (OUP)} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Ofer Arieli and Christian Straßer, \emph{Dynamic Derivations for Sequent-Based Deductive Argumentation}, Computational Models of Argument (Ed.\ S.\ Parsons, COMMA14) in the series \emph{Frontiers in Artificial Intelligence and Applications}, IOS Press, pp.\ 89--100, 2014 \ignore{ \begin{verbatim} @incollection{Arieli_Strasser_COMMA_2014, author = {Ofer Arieli and Christian Stra{\ss}er}, title = {Dynamic Derivations for Sequent-Based Logical Argumentation}, booktitle = {Proceedings COMMA'14}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications 266}, pages = {89--100}, year = {2014}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://www2.mta.ac.il/\~oarieli/}{\includegraphics[width=.9\linewidth]{../images/ofertiny.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer and Ofer Arieli, \emph{Sequent-Based Argumentation for Normative Reasoning}, Deontic Logic and Normative Systems (Ed.\ Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent) in the series \emph{Lecture Notes in Computer Science}, Springer, pp.\ 224--240, 2014 \ignore{ \begin{verbatim} @incollection{Strasser-Arieli_DEON_2014, author = {Christian Stra{\ss}er and Ofer Arieli}, title = {Sequent-Based Argumentation for Normative Reasoning}, booktitle = {Deontic Logic and Normative Systems}, year = {2014}, editor = {Fabrizio Cariani and Davide Grossi and Joke Meheus and Xavier Parent}, series = {Lecture Notes in Computer Science}, pages = {224--240}, publisher = {Springer}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Frederik Van De Putte and Christian Straßer, \emph{Adaptive Logics as a Parametric Framework}, Logic Journal of the IGPL, 22/6, pp.\s 905--932, 2014 \ignore{ \begin{verbatim} @article{Putte_Strasser_IGPL_2014, title={Adaptive logics: a parametric approach}, author={Van De Putte, Frederik and Stra{\ss}er, Christian}, journal={Logic Journal of the IGPL}, volume={22}, number={6}, pages={905--932}, year={2014}, publisher={Oxford University Press} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dunja Šešelja, Christian Straßer, \emph{Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s}, \emph{Acta Biotheoretica}, Vol.\ 62, Issue 4, pp.\ 429--454, 2014 \ignore{ \begin{verbatim} @Article{Seselja_Strasser_AB_2014, author = {Šešelja, Dunja and Straßer, Christian}, title = {Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s}, year = 2014, volume = 62, number = 4, month = {Jul}, pages = {429–454}, issn = {1572-8358}, doi = {10.1007/s10441-014-9219-7}, url = {http://dx.doi.org/10.1007/s10441-014-9219-7}, journal = {Acta Biotheoretica}, publisher = {Springer Nature} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dunja Šešelja and Christian Straßer, \emph{Epistemic justification in the context of pursuit: a coherentist approach}, Synthese, Vol.\ 191, Issue 13, pp.\ 3111--3141, 2014 \ignore{ \begin{verbatim} @article{Seselja_Strasser_Synthese_2014, title={Epistemic justification in the context of pursuit: a coherentist approach}, author={Dunja {\v{S}}e{\v{s}}elja and Christian Stra{\ss}er}, journal={Synthese}, volume={191}, number={13}, pages={3111--3141}, year={2014}, publisher={Springer} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{https://sites.google.com/site/janwillemwieland/}{\includegraphics[width=.9\linewidth]{../images/jwtiny.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer, Dunja Šešelja, and Jan Willem Wieland, \emph{Withstanding Tensions: Scientific Disagreement and Epistemic Tolerance}, in \emph{Heuristic Reasoning} in the series \emph{Studies in Applied Philosophy, Epistemology and Rational Ethics} (Ed.\ Emiliano Ippoliti), Springer, Vol.\ 16, pp.\ 113--146, 2014 \ignore{ \begin{verbatim} @Article{Strasser_et_al_HR_2014, author = {Straßer, Christian and Šešelja, Dunja and Wieland, Jan Willem}, title = {Withstanding Tensions: Scientific Disagreement and Epistemic Tolerance}, year = 2014, month = {Sep}, pages = {113–146}, issn = {2192-6263}, doi = {10.1007/978-3-319-09159-4_6}, url = {http://dx.doi.org/10.1007/978-3-319-09159-4_6}, isbn = 9783319091594, journal = {Heuristic Reasoning}, publisher = {Springer International Publishing} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{llll} \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=45}{\includegraphics[width=.9\linewidth]{../images/joketiny.jpg}} & \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte, Christian Straßer, \emph{Non-adjunctive deontic logics that validate aggregation as much as possible}, accepted for \emph{Journal of Applied Logic} [The special issue never appeared.] \end{etaremune} \subsection*{2013} \label{sec:orgaf0d8a1} \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=23] \item Mathieu Beirlaen and Christian Straßer, \emph{Nonmonotonic reasoning with normative conflicts in multi-agent deontic logic}, Journal of Logic and Computation, Vol.\ 24, Issue 6, pp.\ 1179--1207, 2013 \ignore{ \begin{verbatim} @Article{Beirlaen_Strasser_JLC_2013, author = {Beirlaen, M. and Strasser, C.}, title = {Non-monotonic reasoning with normative conflicts in multi-agent deontic logic}, year = 2013, volume = 24, number = 6, month = {Jan}, pages = {1179–1207}, issn = {1465-363X}, doi = {10.1093/logcom/exs059}, url = {http://dx.doi.org/10.1093/logcom/exs059}, journal = {Journal of Logic and Computation}, publisher = {Oxford University Press (OUP)} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Mathieu Beirlaen and Christian Straßer, \emph{Two adaptive logics of norm-propositions}, Journal of Applied Logic, 2013, Vol.\ 11, Issue 2, pp.\ 147--168 \ignore{ \begin{verbatim} @Article{Beirlaen_Strasser_JAL_2013, author = {Mathieu Beirlaen and Christian Stra{\ss}er}, title = {Two adaptive logics of norm-propositions}, journal = {Journal of Applied Logic}, year = {2013}, OPTkey = {}, volume = {11}, number = {2}, pages = {147--168}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Frederik Van De Putte and Christian Straßer, \emph{Preferential Semantics using Non-smooth Preference Relations}, \emph{Journal of Philosophical Logic}, 5, 903–942, 2013 \ignore{ \begin{verbatim} @Article{Van_De_Putte_Strasser_JPL_2013, author = {Van De Putte, Frederik and Straßer, Christian}, title = {Preferential Semantics using Non-smooth Preference Relations}, year = 2013, volume = 43, number = 5, month = {Sep}, pages = {903–942}, issn = {1573-0433}, doi = {10.1007/s10992-013-9302-6}, url = {http://dx.doi.org/10.1007/s10992-013-9302-6}, journal = {Journal of Philosophical Logic}, publisher = {Springer Nature} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=45}{\includegraphics[width=.9\linewidth]{../images/joketiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=111}{\includegraphics[width=.9\linewidth]{../images/petertiny.jpg}}\\ \end{tabular} \end{center} } \item Joke Meheus, Christian Straßer, and Peter Verdée, \emph{Which Style of Reasoning to Choose in the Face of Conflicting Information?}, Journal of Logic and Computation, 26/1, 361--380, 2013 \ignore{ \begin{verbatim} @Article{Meheus_et_al_JLC_2013, author = {Meheus, Joke and Straßer, Christian and Verdée, Peter}, title = {Which style of reasoning to choose in the face of conflicting information?}, year = 2013, volume = 26, number = 1, month = {Sep}, pages = {361–380}, issn = {1465-363X}, doi = {10.1093/logcom/ext030}, url = {http://dx.doi.org/10.1093/logcom/ext030}, journal = {Journal of Logic and Computation}, publisher = {Oxford University Press (OUP)} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=45}{\includegraphics[width=.9\linewidth]{../images/joketiny.jpg}}\\ \end{tabular} \end{center} } \item Mathieu Beirlaen, Christian Straßer, and Joke Meheus, \emph{An inconsistency-adaptive deontic logic for normative conflicts}, Journal of Philosophical Logic, 42/2, 285--315, 2013 \ignore{ \begin{verbatim} @Article{Beirlaen_Strasser_Meheus_JPL_2013, author="Beirlaen, Mathieu and Stra{\ss}er, Christian and Meheus, Joke", title="An Inconsistency-Adaptive Deontic Logic for Normative Conflicts", journal="Journal of Philosophical Logic", year="2013", volume="42", number="2", pages="285--315", issn="1573-0433", doi="10.1007/s10992-011-9221-3", url="http://dx.doi.org/10.1007/s10992-011-9221-3" } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dunja Šešelja and Christian Straßer, \emph{Abstract argumentation and explanation applied to scientific debates}, Synthese, 190/12, 2195--2217, 2013 \ignore{ \begin{verbatim} @Article{Seselja_Strasser_Synthese_2013, author="{\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian", title="Abstract argumentation and explanation applied to scientific debates", journal="Synthese", year="2013", volume="190", number="12", pages="2195--2217", abstract="Abstract 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 arguments, corresponding to different methodological and epistemic requirements of theory evaluation, can be formulated in view of our framework.", issn="1573-0964", doi="10.1007/s11229-011-9964-y", url="http://dx.doi.org/10.1007/s11229-011-9964-y" } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dunja Šešelja and Christian Straßer, \emph{Kuhn and the Question of Pursuit Worthiness}, Topoi, 32/1, 9--19, 2013 \ignore{ \begin{verbatim} @Article{Seselja_Strasser_Topoi_2013, author="{\v{S}}e{\v{s}}elja, Dunja and Stra{\ss}er, Christian", title="Kuhn and the Question of Pursuit Worthiness", journal="Topoi", year="2013", volume="32", number="1", pages="9--19", abstract="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 worthy of further pursuit. These tools are persuasion, translation and interpretation. However, we argue that the perspective of epistemic semantic monism present in Kuhn's work obstructs the full applicability of these tools. We show that dropping this perspective makes the notions of persuasion and interpretation more fruitful, and moreover, allows for a pluralism of scientific theories and practices that complements the pluralism based on disagreement among scientists, emphasized by Kuhn.", issn="1572-8749", doi="10.1007/s11245-012-9144-9", url="http://dx.doi.org/10.1007/s11245-012-9144-9" } \end{verbatim} } \end{etaremune} \subsection*{2012} \label{sec:orgc307014} \ignore{ \begin{center} \begin{tabular}{ll} \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=16] \item Frederik Van De Putte and Christian Straßer, \emph{Three formats of prioritized adaptive logics: a comparative study}, Logic Journal of the IGPL, 21/2, 127--159, 2012 \ignore{ \begin{verbatim} @Article{Putte_Strasser_IGPL_2012, author = {Van De Putte, F. and Strasser, C.}, title = {Three formats of prioritized adaptive logics: a comparative study}, year = 2012, volume = 21, number = 2, month = {Feb}, pages = {127–159}, issn = {1368-9894}, doi = {10.1093/jigpal/jzs004}, url = {http://dx.doi.org/10.1093/jigpal/jzs004}, journal = {Logic Journal of IGPL}, publisher = {Oxford University Press (OUP)} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://www.dcs.kcl.ac.uk/staff/dg/}{\includegraphics[width=.9\linewidth]{../images/dovtiny.png}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dov Gabbay and Christian Straßer, \emph{Reactive Standard Deontic Logic}, Journal of Logic and Computation, 25/1, 117--157, 2012 \ignore{ \begin{verbatim} @Article{Gabbay_Strasser_2012, author = {Gabbay, D. M. and Strasser, C.}, title = {Reactive standard deontic logic}, year = 2012, volume = 25, number = 1, month = {Oct}, pages = {117–157}, issn = {1465-363X}, doi = {10.1093/logcom/exs043}, url = {http://dx.doi.org/10.1093/logcom/exs043}, journal = {Journal of Logic and Computation}, publisher = {Oxford University Press (OUP)} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer and Mathieu Beirlaen, \emph{An Andersonian deontic logic with contextualized sanctions}, in: Thomas Agotnes, Jan Broersen and Dag Elgesem, (eds.), \emph{Proceedings of the 11th International Conference on Deontic Logic in Computer Science (DEON 2012) (Lecture Notes in Articial Intelligence Vol.\textasciitilde{}7393)}, Springer, 2012, pp.\ 151--169 \ignore{ \begin{verbatim} @incollection{Strasser_Beirlaen_DEON_2012, title={An Andersonian deontic logic with contextualized sanctions}, author={Stra{\ss}er, Christian and Beirlaen, Mathieu}, booktitle={International Conference on Deontic Logic in Computer Science}, pages={151--169}, year={2012}, organization={Springer} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer, \emph{Adaptively applying modus ponens in conditional logics of normality}, Journal of Applied Non-Classical Logic, 2012, Nr.\ 1--2, Vol.\ 22., pp.\ 125--148. \\ This article was Editor's Choice in October 2013. \ignore{ \begin{verbatim} @Article{Strasser_JANCL_2012, author = {Straßer, Christian}, title = {Adaptively applying modus ponens in conditional logics of normality}, year = 2012, volume = 22, number = {1-2}, month = {Jun}, pages = {125–148}, issn = {1958-5780}, doi = {10.1080/11663081.2012.682450}, url = {http://dx.doi.org/10.1080/11663081.2012.682450}, journal = {Journal of Applied Non-Classical Logics}, publisher = {Informa UK Limited} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=45}{\includegraphics[width=.9\linewidth]{../images/joketiny.jpg}} & \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer, Joke Meheus, and Mathieu Beirlaen, \emph{Tolerating deontic conflicts by adaptively restricting inheritance}, Logique et Analyse, 219, 2012, pp.\ 477--506 \ignore{ \begin{verbatim} @Article{Strasser_et_al_LA_2012, author = {Christian Stra{\ss}er and Joke Meheus and Mathieu Beirlaen}, title = {Tolerating Deontic Conflicts by Adaptively Restricting Inheritance}, journal = {Logique et Analyse}, year = {2012}, number = {219}, pages = {477--506}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=188}{\includegraphics[width=.9\linewidth]{../images/lastiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dunja Šešelja, Laszlo Kosolosky, and Christian Straßer, \emph{The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions}, Philosophica, 86, 2012, pp.\ 51--82 \ignore{ \begin{verbatim} @article{Seselja_et_al_Philosophica_2012, title={The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions}, author={{\v{S}}e{\v{s}}elja, Dunja and Kosolosky, Laszlo and Stra{\ss}er, Christian}, journal={Philosophica}, volume={86}, pages={51--82}, year={2012} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Frederik Van De Putte and Christian Straßer, \emph{A logic for prioritized normative reasoning}, Journal of Logic and Computation, 23/3, 563--583, 2012 \ignore{ \begin{verbatim} @Article{Van_De_Putte_Strasser_JLC_2012, author = {Van De Putte, F. and Strasser, C.}, title = {A Logic for prioritized normative reasoning}, year = 2012, volume = 23, number = 3, month = {Apr}, pages = {563–583}, issn = {1465-363X}, doi = {10.1093/logcom/exs008}, url = {http://dx.doi.org/10.1093/logcom/exs008}, journal = {Journal of Logic and Computation}, publisher = {Oxford University Press (OUP)} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=165}{\includegraphics[width=.9\linewidth]{../images/fretiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Frederik Van De Putte and Christian Straßer, \emph{Extending the standard format of adaptive logics to the prioritized case}, Logique et Analyse, 2012, Vol.\ 220. pp.\ 601--641 \ignore{ \begin{verbatim} @ARTICLE{Putte_Strasser_LA_2012, author = {Van De Putte, Frederik and Stra{\ss}er, Christian}, title = {Extending the Standard Format of Adaptive Logics to the Prioritized Case}, journal = {Logique et Analyse}, year = {2012}, number = {220}, volume = {55}, pages = {601--641}, } \end{verbatim} } \end{etaremune} \subsection*{2011} \label{sec:orgd6151f9} \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=8] \item Christian Straßer, \emph{A deontic logic framework allowing for factual detachment}, Journal of Applied Logic, 2011, 9(1), pp.\ 61-80 \ignore{ \begin{verbatim} @Article{Strasser_JAL_2011, author = {Straßer, Christian}, title = {A deontic logic framework allowing for factual detachment}, year = 2011, volume = 9, number = 1, month = {Mar}, pages = {61–80}, issn = {1570-8683}, doi = {10.1016/j.jal.2010.11.001}, url = {http://dx.doi.org/10.1016/j.jal.2010.11.001}, journal = {Journal of Applied Logic}, publisher = {Elsevier BV} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#mathieu}{https://0.academia-photos.com/410876/1308998/1624860/tiny\textsubscript{mathieu.beirlaen.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Mathieu Beirlaen and Christian Straßer, \emph{A paraconsistent multi-agent framework for dealing with normative conflicts}, in: Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, and Leon van der Torre, (eds.), \emph{Computational Logic in Multi-Agent Systems}, Springer, pp.\ 312-329 \ignore{ \begin{verbatim} @Article{Beirlaen_Strasser_2011, author = {Beirlaen, Mathieu and Straßer, Christian}, title = {A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts}, year = 2011, pages = {312–329}, issn = {1611-3349}, editor = {Joao Leite and Paolo Torroni and Thomas Agotnes and Guido Boella and Leon van der Torre}, doi = {10.1007/978-3-642-22359-4_22}, url = {http://dx.doi.org/10.1007/978-3-642-22359-4_22}, isbn = 9783642223594, journal = {Computational Logic in Multi-Agent Systems}, publisher = {Springer Berlin Heidelberg} } \end{verbatim} } \end{etaremune} \subsection*{2010} \label{sec:org6495e2a} \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=6] \item Christian Straßer and Dunja Šešelja, \emph{Towards the proof-theoretic unification of abstract argumentation}, Journal of Logic and Computation, 2010, 21 (2), 133-156 \ignore{ \begin{verbatim} @Article{Strasser_Seselja_JLC_2010, author = {Strasser, C. and Seselja, D.}, title = {Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach}, year = 2010, volume = 21, number = 2, month = {May}, pages = {133–156}, issn = {1465-363X}, doi = {10.1093/logcom/exq015}, url = {http://dx.doi.org/10.1093/logcom/exq015}, journal = {Journal of Logic and Computation}, publisher = {Oxford University Press (OUP)} } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Christian Straßer, \emph{An adaptive logic for conditional obligations and deontic dilemmas}, Logic and Logical Philosophy, vol.\ 19, no.\ 1-2, pages 95--128 \ignore{ \begin{verbatim} @Article{Strasser_LLP_2010, author = {Straßer, Christian}, title = {An adaptive logic framework for conditional obligations and deontic dilemmas}, year = 2010, volume = 19, number = {1-2}, month = {Jun}, issn = {1425-3305}, doi = {10.12775/llp.2010.005}, url = {http://dx.doi.org/10.12775/llp.2010.005}, journal = {Logic and Logical Philosophy}, publisher = {Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University} } \end{verbatim} } \end{etaremune} \subsection*{2009} \label{sec:org090e8b1} \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{etaremune}[start=4] \item Christian Straßer, \emph{An adaptive logic for Rational Closure}, In: Walter Carnielli, Marcello E. Coniglio and Itala M. Loffredo D'Ottaviano, (eds.), \emph{The Many Sides of Logic}, College Publications, London, pp.\ 47-67 \ignore{ \begin{verbatim} @InBook{Strasser_MSL_2009, author = {Christian Stra{\ss}er}, editor = {Walter Carnielli, Marcello E. Coniglio and Itala M. Loffredo D'Ottaviano}, title = {The Many Sides of Logic}, chapter = {An adaptive logic for Rational Closure}, publisher = {College Publications}, year = {2009}, pages = {47-67}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \item Dunja Šešelja and Christian Straßer, \emph{Kuhn and coherentist epistemology: in reply to J.\ M.\ Kuukkanen}, in \emph{Studies in History and Philosophy of Science}, 40, pp.\ 322-327 \ignore{ \begin{verbatim} @Article{Seselja_Strasser_SHPS_2009, author = {{\v{S}}e{\v{s}}elja, Dunja and Christian Stra{\ss}er}, title = {Kuhn and coherentist epistemology: in reply to {J}.\ {M}.\ {K}uukkanen}, journal = {Studies in History and Philosophy of Science}, year = {2009}, volume = {40}, number = {3}, pages = {322--327}, } \end{verbatim} } \ignore{ \begin{center} \begin{tabular}{lll} \href{http://logica.ugent.be/dirk/}{\includegraphics[width=.9\linewidth]{../images/dirktiny.jpg}} & \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{http://logica.ugent.be/centrum/members/members.php?situatie=no\&persoon\_id=111}{\includegraphics[width=.9\linewidth]{../images/petertiny.jpg}}\\ \end{tabular} \end{center} } \item Diderik Batens, Christian Straßer, and Peter Verdée, \emph{On the transparency of defeasible logics: equivalent premise sets, equivalence of their extensions and maximality of the lower limit}, in Logique et Analyse, vol.\ 207, pp.\ 281-304 \ignore{ \begin{verbatim} @ARTICLE{Batens_et_al_LA_2009, author = {Diderik Batens and Christian Stra{\ss}er and Peter Verd{\'{e}}e}, title = {On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit}, journal = {Logique et Analyse}, year = {2009}, volume = {52}, pages = {281-304}, number = {207}, } \end{verbatim} } \end{etaremune} \subsection*{2006} \label{sec:orgb6ab139} \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{enumerate} \item Christian Straßer, \emph{Quantifier elimination for queues}, in: \emph{Rhine Workshop on Computer Algebra. Proceedings of the RWCA 2006}, pp.\ 239-248. Universitaet Basel \ignore{ \begin{verbatim} @incollection{Strasser_RWCA_2006, author = {Christian Stra{\ss}er}, title = {Quantifier Elimination For Queues}, booktitle = {Rhine Workshop on Computer Algebra. Proceedings of the RWCA 2006.}, pages = {239--248}, year = {2006}, editor = {Jan Draisma and Hanspeter Kraft}, publisher = {Universitaet Basel}, } \end{verbatim} } \end{enumerate} \subsection*{Complementary online material} \label{sec:org8003b2c} (available at \url{http://logica.ugent.be/centrum/writings/pubs.php}) \ignore{ \begin{center} \begin{tabular}{l} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}}\\ \end{tabular} \end{center} } \begin{itemize} \item Christian Straßer, \emph{A deontic logic framework allowing for factual detachment -- appendix} for the article published in the Journal of Applied Logic, 2011, 9(1), pp.\ 61-80 \end{itemize} \ignore{ \begin{center} \begin{tabular}{ll} \href{../index.html\#christian}{https://0.academia-photos.com/5599/2157/4682752/tiny\textsubscript{christian.stra}\textsubscript{er.jpg}} & \href{../index.html\#dunja}{https://0.academia-photos.com/34763/11401/15264294/tiny\textsubscript{dunja}.\textsubscript{e}\textsubscript{elja.jpg}}\\ \end{tabular} \end{center} } \begin{itemize} \item Christian Straßer and Dunja Šešelja, \emph{Towards the proof-theoretic unification of Dung's argumentation framework: an adaptive logic approach -- appendix} for the article published in the Journal of Logic and Computation, 2011, 21 (2), pp.\ 133-156 \end{itemize} \end{document}