|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | van Berkel, Kees ; Sabatini, Andrea | Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical Argumentation | Inproceedings Konferenzbeitrag  | 19-Aug-2026 |
| 2 | | Leitsch, Alexander ; Lolic, Anela ; Mahler, Stella | Schemata, Cyclic Proofs and Herbrand Systems | Presentation Vortrag | 25-Jul-2026 |
| 3 | | Cissell, Bethany Isabella | Argumentation Based Dialogue Games for Deontic Explanations with Uncertainty | Presentation Vortrag | 25-Jul-2026 |
| 4 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 5 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela ; Mahler, Stella | How to deal with Henkin Quantifiers in First-Order Logic | Presentation Vortrag | 24-Jul-2026 |
| 6 | | Pichler, Dominik ; Tagliaferri, Mirko | Robust Classification in ML: A Topological Semantics Approach | Inproceedings Konferenzbeitrag | 18-Jul-2026 |
| 7 | | Thölke, Henri ; Fermüller, Christian G. | Comparing Methods for Distance-based Many-valued Judgment Aggregation | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 8 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 9 | | van Berkel, Kees | A Formal Study of Ought Implies Can and Other Metaethical Principles | Article Artikel | 2-Jun-2026 |
| 10 |  | Fermüller, Christian G. | Towards a Logical Framework for Graded Deontic Reasoning | Presentation Vortrag   | 4-Apr-2026 |
| 11 | | Horner, Elias ; Mateis, Cristinel ; Governatori, Guido ; Ciabattoni, Agata | From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 12 | | Di Florio, Cecilia ; Dong, Huimin ; Rotolo, Antonino | Rule-based Classifier Models | Inproceedings Konferenzbeitrag | 13-Jan-2026 |
| 13 | | Parent, Xavier | Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics | Inproceedings Konferenzbeitrag | 2026 |
| 14 | | Neufeld, Emery ; Engesser, Thorsten ; Tappler, Martin | Scalable Learning of Challenging Normative Behaviours with Deep RL | Inproceedings Konferenzbeitrag | 2026 |
| 15 | | Neufeld, Emery ; van Berkel, Kees | Normative Narrator: Guiding and Explaining Reinforcement Learning Agents | Inproceedings Konferenzbeitrag | 2026 |
| 16 | | Leitsch, Alexander ; Cerna, David Michael ; Lolic, Anela | First-Order Schemata and Inductive Proof Analysis | Book Buch | 2026 |
| 17 | | Corbard, Simon ; Lolić, Anela | Efficient interpolation beyond cut-free proofs | Article Artikel | 2026 |
| 18 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Lorini, Emiliano ; Pichler, Dominik ; Rozplokhas, Dmitrii | From Explicit Allowances to Defeasible Deontic Operators: A Modal View | Inproceedings Konferenzbeitrag | 15-Dec-2025 |
| 19 | | Di Florio, Cecilia ; Dong, Huimin ; Rotolo, Antonino | A Modal Logic for Temporal and Jurisdictional Classifier Models | Inproceedings Konferenzbeitrag | 14-Dec-2025 |
| 20 | | Dong, Huimin | The Structure of Precedents Matter | Presentation Vortrag | 4-Dec-2025 |
| 21 | | Engesser, Thorsten | Norm-Compliant RL Agents: Results and Challenges | Presentation Vortrag | 28-Nov-2025 |
| 22 | | Lorini, Emiliano ; Rozplokhas, Dmitrii | Graded Distributed Belief | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 23 | | Hermann, Miki ; Salzer, Gernot | Efficient Learning of Horn Formulas over Finite Totally Ordered Domains | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 24 | | Corbard, Simon ; Lolić, Anela | Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction | Inproceedings Konferenzbeitrag | 23-Nov-2025 |
| 25 | | Parent, Xavier | On a problem of Horty | Presentation Vortrag | 12-Nov-2025 |
| 26 | | Parent, Xavier | If, Then, Ought. From Logic to Computation | Presentation Vortrag | 12-Nov-2025 |
| 27 | | Aguilera-Ventura, Carlos ; Liu, Xinghan ; Lorini, Emiliano ; Rozplokhas, Dmitrii | A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 28 | | Dong, Huimin | The Structure of Precedents Matter | Presentation Vortrag | 12-Nov-2025 |
| 29 | | Morello, Yoann ; Ciabattoni, Agata | A Bayesian View of the Result Model | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 30 | | Neufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin | Combining MORL with Restraining Bolts to Learn Normative Behaviour | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 31 | | Parent, Xavier | If, Then, Ought. From Logic to Computation | Presentation Vortrag | 5-Nov-2025 |
| 32 | | Engesser, Thorsten | Towards Implicit Coordination Planning with Knowledge and Belief | Presentation Vortrag | 17-Oct-2025 |
| 33 | | Zhou, Zheng ; Straßer, Christian ; van Berkel, Kees | Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation | Inproceedings Konferenzbeitrag | 3-Oct-2025 |
| 34 | | Leitsch, Alexander ; Lolic, Anela | Extracting Herbrand systems from refutation schemata | Article Artikel | Oct-2025 |
| 35 | | Ciabattoni, Agata ; Lang, Timo ; Ramanayake, Revantha | Analytic Proofs for Tense Logic | Inproceedings Konferenzbeitrag | 25-Sep-2025 |
| 36 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | An Analytic Representation of the Semantics of First-Order S5 | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 37 | | Engesser, Thorsten | Normative AI @ Theory and Logic Group | Presentation Vortrag | 3-Sep-2025 |
| 38 | | Engesser, Thorsten | Normative AI | Presentation Vortrag | 3-Sep-2025 |
| 39 | | Dong, Huimin | From Shared Knowledge to Norms: A Modal Logic of Norm Enforcement via Common Knowledge | Presentation Vortrag | Sep-2025 |
| 40 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii ; Tesi, Matteo | GL-Based Calculi for PCL and Its Deontic Cousin | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 41 | | Pichler, Dominik | First-order conditional modal logic | Presentation Vortrag | 5-Aug-2025 |
| 42 | | Engesser, Thorsten | A Simple Integration of Epistemic Logic and Reinforcement Learning | Presentation Vortrag | 29-Jul-2025 |
| 43 | | Ciabattoni, Agata | Deontic Logic in Legal Reasoning and AI | Presentation Vortrag | 14-Jul-2025 |
| 44 | | Dong, Huimin | Permissible Shared Knowledge | Presentation Vortrag | 7-Jul-2025 |
| 45 | | Lolić, Anela | A Proof Theory for Henkin Quantifiers | Presentation Vortrag | 7-Jul-2025 |
| 46 | | Freschi, Elisa ; Dik, Josephine Femke | New sources for deontics: The Mīmāṃsā school of Sanskrit philosophy | Presentation Vortrag | 30-Jun-2025 |
| 47 | | Lolic, Anela | Henkin Quantifiers | Presentation Vortrag | 23-Jun-2025 |
| 48 | | Pichler, Dominik ; Orlandelli, Eugenio | An introduction to first-order modal logic | Presentation Vortrag | 22-Jun-2025 |
| 49 | | Piazza, Mario ; Tesi, Matteo | Exception and typicality, logically framed | Article Artikel | 12-Jun-2025 |
| 50 | | Soldà, Davide ; Cabalar, Pedro ; Ciabattoni, Agata ; Neufeld, Emery | Tackling Temporal Deontic Challenges with Equilibrium Logic | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 51 | | Engesser, Thorsten ; Le Marre, Thibaut ; Lorini, Emiliano ; Schwarzentruber, François ; Zanuttini, Bruno | A Simple Integration of Epistemic Logic and Reinforcement Learning | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 52 | | van Berkel, Kees ; Ciabattoni, Agata ; Horty, John | Deontic Logic and Normative Systems : 17th International Conference, DEON 2025 | Proceedings Tagungsband | Jun-2025 |
| 53 | | Dik, Josephine Femke ; Pichler, Dominik | Navigating Permission and Exceptions: A First-Order Perspective | Inproceedings Konferenzbeitrag | Jun-2025 |
| 54 | | Alcaraz, Benoît ; Neufeld, Emery ; Najjar, Amro ; van der Torre, Leendert | Norm Avoidance and Reinforcement Learning: Definitions and Analys | Inproceedings Konferenzbeitrag | Jun-2025 |
| 55 | | Dong, Huimin | Permissible Shared Knowledge | Presentation Vortrag | 30-May-2025 |
| 56 | | Dong, Huimin | Permissible Shared Knowledge | Presentation Vortrag | 28-May-2025 |
| 57 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi, Elisa | Mīmāṃsā on ‘better-not’ Permissions | Article Artikel | 19-May-2025 |
| 58 | | van Berkel, Kees | Reasoning with and about Normative Conflicts: an Argumentation Approach | Presentation Vortrag | 14-May-2025 |
| 59 | | Christoph, Tobias ; van Berkel, Kees ; Spiel, Katta | Towards Use-Based Ethics Audits of LLM-Based Advice-Chatbots | Presentation Vortrag | 26-Apr-2025 |
| 60 | | Baaz, Matthias ; Lolić, Anela | Epsilon Calculus Provides Shorter Cut-Free Proofs | Book Contribution Buchbeitrag | 8-Mar-2025 |
| 61 | | van Berkel, Kees ; D'Agostino, Marcello ; Modgil, Sanjay | A dialectical formalisation of preferred subtheories reasoning under resource bounds | Article Artikel | 18-Feb-2025 |
| 62 | | Parent, Xavier | A bridge from preference-based dyadic deontic logic to constrained I/O logic | Presentation Vortrag | 14-Feb-2025 |
| 63 | | Dik, Josephine Femke ; Markovich, Réka | Discretionary Judicial Decision Making as Normative Reasoning | Presentation Vortrag | 14-Feb-2025 |
| 64 | | Istenic Urh, Blaz | Deontic explanations in Åqvist’s systems: between ideality and actuality | Presentation Vortrag | 13-Feb-2025 |
| 65 | | Pimentel, Elaine ; Olarte, Carlos ; Lang, Timo ; Freiman, Robert ; Fermüller, Christian G. | Playing with Modalities | Inproceedings Konferenzbeitrag | 3-Feb-2025 |
| 66 | | van Berkel, Kees ; Straßer, Christian | A Tutorial in Proof-Theoretic Approaches to Logical Argumentation | Inproceedings Konferenzbeitrag | 2-Feb-2025 |
| 67 | | Tesi, Matteo | Constructive theories through a modal lens | Article Artikel | Feb-2025 |
| 68 | | Parent, Xavier ; Pichler, Dominik | Extensionality vs Intensionality: A Perspectival Account of Conditional Ought with Definite Descriptions | Article Artikel | Feb-2025 |
| 69 | | Dik, Josephine Femke ; Markovich, Réka | Judicial Discretion as Normative Reasoning: Deontic Characterization of Judicial Decision Making with Answer Set Programming | Inproceedings Konferenzbeitrag | 13-Jan-2025 |
| 70 | | Fermüller, Christian G. ; Uhl, Sebastian | Some Consistency Results for Many-Valued Judgment Aggregation | Article Artikel | 6-Jan-2025 |
| 71 | | Dik, Josephine Femke ; Markovich, Réka | When Judges Go Wrong: Modeling Discretion and the Duty of Care | Inproceedings Konferenzbeitrag | 2025 |
| 72 | | van Berkel, Kees ; Straßer, Christian | Reasoning With and About Normative Conflicts | Inproceedings Konferenzbeitrag | 2025 |
| 73 | | Pieper, Jonathan ; Engesser, Thorsten ; Nebel, Bernhard | Towards Implicit Coordination Planning with Knowledge and Belief | Book Contribution Buchbeitrag | 2025 |
| 74 | | Ciabattoni, Agata ; Istenic Urh, Blaz ; Parent, Xavier | Deontic Explanations in Åqvist's Systems | Inproceedings Konferenzbeitrag | 2025 |
| 75 | | Dong, Huimin ; van der Torre, Leendert ; Yu, Liuwen | Contrary-to-Duty Rights: From Hohfeld to Agreement Revision | Inproceedings Konferenzbeitrag | 2025 |
| 76 | | Aldini, Alessandro ; Ciabattoni, Agata ; Pichler, Dominik ; Tagliaferri, Mirko | Support + Belief = Decision Trust | Inproceedings Konferenzbeitrag | 2025 |
| 77 | | Dik, Josephine Femke | Explaining Discretionary Judicial Decisions Using Answer Set Programming | Inproceedings Konferenzbeitrag | 2025 |
| 78 | | Morello, Yoann ; Ciabattoni, Agata ; Gray, Morgan | The Result Model under Inconsistent Knowledge: Theory and Experiments | Inproceedings Konferenzbeitrag | 2025 |
| 79 | | Lyon, Tim S. ; van Berkel, Kees | Proof Theory and Decision Procedures for Deontic STIT Logics | Article Artikel | 6-Dec-2024 |
| 80 |  | Hu, Rui ; Kogler, Jürgen ; Gelautz, Margrit ; Lin, Min ; Xia, Yuanqing | A Dynamic Calibration Framework for the Event-Frame Stereo Camera System | Article Artikel | Dec-2024 |
| 81 | | van Berkel, Kees | AI Alignment and Normative Reasoning | Presentation Vortrag | 26-Nov-2024 |
| 82 | | Fermüller, Christian | Probabilistic interpretations of argumentative attacks: logical and experimental foundations | Presentation Vortrag | 8-Nov-2024 |
| 83 | | Gao, Han ; Lorini, Emiliano ; Olivetti, Nicola ; Tesi, Matteo | A Proof Calculus for Ethical Reasoning | Inproceedings Konferenzbeitrag | Nov-2024 |
| 84 | | van Berkel, Kees | Deontic Explanations Through Dialogue and 5 Key Challenges | Presentation Vortrag | 16-Oct-2024 |
| 85 | | Parent, Xavier | Defeasible conditional ought in 2-D | Presentation Vortrag | 16-Oct-2024 |
| 86 | | Istenic Urh, Blaz | What is there to explain? Some initial remarks on deontic explanations | Presentation Vortrag | 16-Oct-2024 |
| 87 | | Dik, Josephine Femke | Exploring Nuanced Permissions within AI and Judicial Decision-making | Presentation Vortrag | 15-Oct-2024 |
| 88 | | Dong, Huimin | Permissible Shared Knowledge | Presentation Vortrag | 15-Oct-2024 |
| 89 | | Cignarale, Giorgio ; Kuznets, Roman | A priori Belief Updates as a Method for Agent Self-recovery | Article Artikel | 9-Oct-2024 |
| 90 | | Istenic Urh, Blaz | Breaking the Cycle. Preference-Based Aggregation for Cyclic Argumentation Frameworks | Presentation Vortrag | 19-Sep-2024 |
| 91 | | Dik, Josephine Femke | Mīmāṁsā on 'Better-Not' Permissions | Presentation Vortrag | 12-Sep-2024 |
| 92 | | Mahler, Stella | Proof Schemata and Primitive Recursive Arithmetic | Presentation Vortrag | 12-Sep-2024 |
| 93 | | Dong, Huimin | Permissible Knowledge Sharing | Presentation Vortrag | 11-Sep-2024 |
| 94 | | Wang, Yi N. ; Dong, Huimin | Stability and Balance in Weighted Networks | Article Artikel | 10-Sep-2024 |
| 95 | | Ciabattoni, Agata | Proof surgeries in non-classical logics | Presentation Vortrag | Sep-2024 |
| 96 | | Straßer, Christian ; van Berkel, Kees | Logical Argumentation: A Tutorial. | Presentation Vortrag | Sep-2024 |
| 97 | | Dong, Huimin | Epistemic Positions: Towards a Formal Theory of Epistemic Injustice | Presentation Vortrag | 20-Aug-2024 |
| 98 | | DiAngelo, Monika ; Mohr, Rafael ; Salzer, Gernot | Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs | Inproceedings Konferenzbeitrag | Aug-2024 |
| 99 | | Neufeld, Emery | Learning Normative Behaviour Through Automated Theorem Proving | Article Artikel | Aug-2024 |
| 100 | | Parent, Xavier | Report on "Axiomatizing Conditional Normative Reasoning" | Article Artikel | Aug-2024 |
