Blog of Logic in Philosophy and AI https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/ en Thu, 21 Apr 2022 12:26:54 +0200 Thu, 21 Apr 2022 12:26:54 +0200 Emacs 28.1 Org-mode 9.5.2 christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/images/noun_Kiwi_1010.png Blog of Logic in Philosophy and AI https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/

For the news archive move here.

* file:/home/g4v4g4i/blogs/rub-webpage/blog/ijcai22.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/ijcai22.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/ijcai22.html Thu, 21 Apr 2022 00:00:00 +0200 The paper "Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation" has been accepted at IJCAI 2022 (acceptance rate 15%)

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/new-offices.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/new-offices.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/new-offices.html Fri, 08 Apr 2022 00:00:00 +0200 The research group has a new headquarters.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/teaching-sommer-term-2022.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/teaching-sommer-term-2022.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/teaching-sommer-term-2022.html Fri, 08 Apr 2022 00:00:00 +0200 Teaching started again. Christian offers two courses: one on Logic and AI and the other on Predicate Logic.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/KR-2021-slides-online.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-slides-online.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-slides-online.html Sun, 07 Nov 2021 00:00:00 +0100 The slides for the Tutorial on Logical Argumentation by Ofer and Christian are online now.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/kees-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/kees-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/kees-2021.html Tue, 12 Oct 2021 00:00:00 +0200 Kees van Berkel has arrived for a research visit from the beginning of October to end of November.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/ifcolog-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/ifcolog-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/ifcolog-2021.html Thu, 01 Jul 2021 00:00:00 +0200 Ofer, AnneMarie, Jesse and Christian got a paper published in IFCOLOG (Journal of Applied Logic) on Logic-based approaches to formal argumentation.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/video-al.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/video-al.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/video-al.html Mon, 21 Jun 2021 00:00:00 +0200 Christian made a short video on adaptive logics in the context of the LogicaMx outreach program.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/KR-2021-paper.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-paper.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-paper.html Wed, 16 Jun 2021 00:00:00 +0200 Ofer, AnneMarie and Christian got a paper accepted for KR 2021 on Characterizations and Classifications of Argumentative Entailments.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/KR-2021-tutorial-logical-argumentation.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-tutorial-logical-argumentation.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-tutorial-logical-argumentation.html Sun, 23 May 2021 00:00:00 +0200 The webpage for our tutorial on Proof-Theoretic Approaches to Logical Argumentation launched. See https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/KR-2021/

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/deon-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/deon-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/deon-2021.html Thu, 20 May 2021 00:00:00 +0200 The paper "Prioritized Defaults and Formal Argumentation" by Christian and Pere has been accepted for DEON 2021.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/sanderson-phd-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/sanderson-phd-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/sanderson-phd-2021.html Mon, 03 May 2021 00:00:00 +0200 Sanderson Molick successfully defended his PhD today.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/phd-2021-extension.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/phd-2021-extension.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/phd-2021-extension.html Sun, 02 May 2021 00:00:00 +0200 The deadline for applications to the current call for a PhD has been extended for the 9th of May. We invite applications for a new PhD position in the group. The call is for all interested in some of the following topics: defeasible reasoning, non-monotonic logic, formal argumentation theory and deontic logics.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/KR-2021-tutorial.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-tutorial.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/KR-2021-tutorial.html Sun, 25 Apr 2021 00:00:00 +0200 Ofer Arieli and Christian will present a tutorial on Proof-Theoretic Approaches to Logical Argumentation at KR 2021.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/fcr-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/fcr-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/fcr-2021.html Sun, 18 Apr 2021 00:00:00 +0200 Christian join the Program Committee of FCR-2021 (The Workshop on Formal and Cognitive Reasoning) which will take place in Berlin, September 27 - October 1, 2021, in the context of KI-2021.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/FMDP21.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/FMDP21.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/FMDP21.html Fri, 09 Apr 2021 00:00:00 +0200 Dunja gave a talk on how to integrate biased and biased agents in our ArgABM at this most interesting workshop organized by Hein Duijf and Catarina Dutilh Novaes.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/phd-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/phd-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/phd-2021.html Sat, 06 Mar 2021 00:00:00 +0100 We invite applications for a new PhD position in the group. The call is for all interested in some of the following topics: defeasible reasoning, non-monotonic logic, formal argumentation theory and deontic logics. The deadline is on 25th of April 2021.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/argument-strength-special-issue-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/argument-strength-special-issue-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/argument-strength-special-issue-2021.html Fri, 05 Mar 2021 00:00:00 +0100 A special issue on Argument Strength is out now in Argument & Computation incl. a contribution by Jesse and Christian on a fragment of ASPIC (wihthout Undercut) that satisfies all rationality postulates (incl. non-interference) and has some nice connections to reasoning with maximal consistent sets of default rules.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/pursuit-2021.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/pursuit-2021.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/pursuit-2021.html Tue, 02 Mar 2021 00:00:00 +0100 Dunja and Jamie Shaw (Toronto) organize an online workshop on pursuit. It will take place March 4--March 5 during the afternoons on zoom.

]]> * file:/home/g4v4g4i/blogs/rub-webpage/blog/hello-world.org https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/hello-world.html christian.strasser@rub.de (Christian Straßer) https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/blog/hello-world.html Thu, 25 Feb 2021 00:00:00 +0100 The website is currently being rebooted.

]]>