|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Di Florio, Cecilia ; Dong, Huimin ; Rotolo, Antonino | Rule-based Classifier Models | Inproceedings Konferenzbeitrag  | 13-Jan-2026 |
| 2 | | 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 |
| 3 | | Di Florio, Cecilia ; Dong, Huimin ; Rotolo, Antonino | A Modal Logic for Temporal and Jurisdictional Classifier Models | Inproceedings Konferenzbeitrag | 14-Dec-2025 |
| 4 | | Dong, Huimin | The Structure of Precedents Matter | Presentation Vortrag | 4-Dec-2025 |
| 5 | | Hermann, Miki ; Salzer, Gernot | Efficient Learning of Horn Formulas over Finite Totally Ordered Domains | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 6 | | Lorini, Emiliano ; Rozplokhas, Dmitrii | Graded Distributed Belief | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 7 | | Corbard, Simon ; Lolić, Anela | Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction | Inproceedings Konferenzbeitrag | 23-Nov-2025 |
| 8 | | 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 |
| 9 | | Morello, Yoann ; Ciabattoni, Agata | A Bayesian View of the Result Model | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 10 | | Neufeld, Emery ; Ciabattoni, Agata ; Tulcan, Radu Florin | Combining MORL with Restraining Bolts to Learn Normative Behaviour | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 11 | | Parent, Xavier | On a problem of Horty | Presentation Vortrag | 12-Nov-2025 |
| 12 | | Parent, Xavier | If, Then, Ought. From Logic to Computation | Presentation Vortrag | 12-Nov-2025 |
| 13 | | Parent, Xavier | If, Then, Ought. From Logic to Computation | Presentation Vortrag | 5-Nov-2025 |
| 14 | | Zhou, Zheng ; Straßer, Christian ; van Berkel, Kees | Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation | Inproceedings Konferenzbeitrag | 3-Oct-2025 |
| 15 | | Leitsch, Alexander ; Lolic, Anela | Extracting Herbrand systems from refutation schemata | Article Artikel | Oct-2025 |
| 16 | | Ciabattoni, Agata ; Lang, Timo ; Ramanayake, Revantha | Analytic Proofs for Tense Logic | Inproceedings Konferenzbeitrag | 25-Sep-2025 |
| 17 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | An Analytic Representation of the Semantics of First-Order S5 | Inproceedings Konferenzbeitrag | 15-Sep-2025 |
| 18 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii ; Tesi, Matteo | GL-Based Calculi for PCL and Its Deontic Cousin | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 19 | | Dong, Huimin | Permissible Shared Knowledge | Presentation Vortrag | 7-Jul-2025 |
| 20 | | Lolić, Anela | A Proof Theory for Henkin Quantifiers | Presentation Vortrag | 7-Jul-2025 |
| 21 | | Lolic, Anela | Henkin Quantifiers | Presentation Vortrag | 23-Jun-2025 |
| 22 | | Piazza, Mario ; Tesi, Matteo | Exception and typicality, logically framed | Article Artikel | 12-Jun-2025 |
| 23 | | 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 |
| 24 | | Soldà, Davide ; Cabalar, Pedro ; Ciabattoni, Agata ; Neufeld, Emery | Tackling Temporal Deontic Challenges with Equilibrium Logic | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 25 | | van Berkel, Kees ; Ciabattoni, Agata ; Horty, John | Deontic Logic and Normative Systems : 17th International Conference, DEON 2025 | Proceedings Tagungsband | Jun-2025 |
| 26 | | Dik, Josephine Femke ; Pichler, Dominik | Navigating Permission and Exceptions: A First-Order Perspective | Inproceedings Konferenzbeitrag | Jun-2025 |
| 27 | | Alcaraz, Benoît ; Neufeld, Emery ; Najjar, Amro ; van der Torre, Leendert | Norm Avoidance and Reinforcement Learning: Definitions and Analys | Inproceedings Konferenzbeitrag | Jun-2025 |
| 28 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi, Elisa | Mīmāṃsā on ‘better-not’ Permissions | Article Artikel | 19-May-2025 |
| 29 | | Christoph, Tobias ; van Berkel, Kees ; Spiel, Katta | Towards Use-Based Ethics Audits of LLM-Based Advice-Chatbots | Presentation Vortrag | 26-Apr-2025 |
| 30 | | Baaz, Matthias ; Lolić, Anela | Epsilon Calculus Provides Shorter Cut-Free Proofs | Book Contribution Buchbeitrag | 8-Mar-2025 |
| 31 | | van Berkel, Kees ; D'Agostino, Marcello ; Modgil, Sanjay | A dialectical formalisation of preferred subtheories reasoning under resource bounds | Article Artikel | 18-Feb-2025 |
| 32 | | Parent, Xavier | A bridge from preference-based dyadic deontic logic to constrained I/O logic | Presentation Vortrag | 14-Feb-2025 |
| 33 | | Pimentel, Elaine ; Olarte, Carlos ; Lang, Timo ; Freiman, Robert ; Fermüller, Christian G. | Playing with Modalities | Inproceedings Konferenzbeitrag | 3-Feb-2025 |
| 34 | | van Berkel, Kees ; Straßer, Christian | A Tutorial in Proof-Theoretic Approaches to Logical Argumentation | Inproceedings Konferenzbeitrag | 2-Feb-2025 |
| 35 | | Tesi, Matteo | Constructive theories through a modal lens | Article Artikel | Feb-2025 |
| 36 | | Parent, Xavier ; Pichler, Dominik | Extensionality vs Intensionality: A Perspectival Account of Conditional Ought with Definite Descriptions | Article Artikel | Feb-2025 |
| 37 | | 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 |
| 38 | | Fermüller, Christian G. ; Uhl, Sebastian | Some Consistency Results for Many-Valued Judgment Aggregation | Article Artikel | 6-Jan-2025 |
| 39 | | Aldini, Alessandro ; Ciabattoni, Agata ; Pichler, Dominik ; Tagliaferri, Mirko | Support + Belief = Decision Trust | Inproceedings Konferenzbeitrag | 2025 |
| 40 | | Dik, Josephine Femke | Explaining Discretionary Judicial Decisions Using Answer Set Programming | Inproceedings Konferenzbeitrag | 2025 |
| 41 | | Dik, Josephine Femke ; Markovich, Réka | When Judges Go Wrong: Modeling Discretion and the Duty of Care | Inproceedings Konferenzbeitrag | 2025 |
| 42 | | van Berkel, Kees ; Straßer, Christian | Reasoning With and About Normative Conflicts | Inproceedings Konferenzbeitrag | 2025 |
| 43 | | Pieper, Jonathan ; Engesser, Thorsten ; Nebel, Bernhard | Towards Implicit Coordination Planning with Knowledge and Belief | Book Contribution Buchbeitrag | 2025 |
| 44 | | Ciabattoni, Agata ; Istenic Urh, Blaz ; Parent, Xavier | Deontic Explanations in Åqvist's Systems | Inproceedings Konferenzbeitrag | 2025 |
| 45 | | Dong, Huimin ; van der Torre, Leendert ; Yu, Liuwen | Contrary-to-Duty Rights: From Hohfeld to Agreement Revision | Inproceedings Konferenzbeitrag | 2025 |
| 46 | | Lyon, Tim S. ; van Berkel, Kees | Proof Theory and Decision Procedures for Deontic STIT Logics | Article Artikel | 6-Dec-2024 |
| 47 |  | 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 |
| 48 | | van Berkel, Kees | AI Alignment and Normative Reasoning | Presentation Vortrag | 26-Nov-2024 |
| 49 | | Fermüller, Christian | Probabilistic interpretations of argumentative attacks: logical and experimental foundations | Presentation Vortrag | 8-Nov-2024 |
| 50 | | Gao, Han ; Lorini, Emiliano ; Olivetti, Nicola ; Tesi, Matteo | A Proof Calculus for Ethical Reasoning | Inproceedings Konferenzbeitrag | Nov-2024 |
| 51 | | van Berkel, Kees | Deontic Explanations Through Dialogue and 5 Key Challenges | Presentation Vortrag | 16-Oct-2024 |
| 52 | | Parent, Xavier | Defeasible conditional ought in 2-D | Presentation Vortrag | 16-Oct-2024 |
| 53 | | Istenic Urh, Blaz | What is there to explain? Some initial remarks on deontic explanations | Presentation Vortrag | 16-Oct-2024 |
| 54 | | Dik, Josephine Femke | Exploring Nuanced Permissions within AI and Judicial Decision-making | Presentation Vortrag | 15-Oct-2024 |
| 55 | | Dong, Huimin | Permissible Shared Knowledge | Presentation Vortrag | 15-Oct-2024 |
| 56 | | Cignarale, Giorgio ; Kuznets, Roman | A priori Belief Updates as a Method for Agent Self-recovery | Article Artikel | 9-Oct-2024 |
| 57 | | Istenic Urh, Blaz | Breaking the Cycle. Preference-Based Aggregation for Cyclic Argumentation Frameworks | Presentation Vortrag | 19-Sep-2024 |
| 58 | | Dik, Josephine Femke | Mīmāṁsā on 'Better-Not' Permissions | Presentation Vortrag | 12-Sep-2024 |
| 59 | | Mahler, Stella | Proof Schemata and Primitive Recursive Arithmetic | Presentation Vortrag | 12-Sep-2024 |
| 60 | | Dong, Huimin | Permissible Knowledge Sharing | Presentation Vortrag | 11-Sep-2024 |
| 61 | | Wang, Yi N. ; Dong, Huimin | Stability and Balance in Weighted Networks | Article Artikel | 10-Sep-2024 |
| 62 | | Ciabattoni, Agata | Proof surgeries in non-classical logics | Presentation Vortrag | Sep-2024 |
| 63 | | Straßer, Christian ; van Berkel, Kees | Logical Argumentation: A Tutorial. | Presentation Vortrag | Sep-2024 |
| 64 | | Dong, Huimin | Epistemic Positions: Towards a Formal Theory of Epistemic Injustice | Presentation Vortrag | 20-Aug-2024 |
| 65 | | DiAngelo, Monika ; Mohr, Rafael ; Salzer, Gernot | Systematic Study of Compilers and Vulnerability Scanners Using the Example of Integer Bugs | Inproceedings Konferenzbeitrag | Aug-2024 |
| 66 | | Rozplokhas, Dmitry | LEGO-like Small Model Constructions for Åqvist's Logics | Inproceedings Konferenzbeitrag | Aug-2024 |
| 67 | | Neufeld, Emery | Learning Normative Behaviour Through Automated Theorem Proving | Article Artikel | Aug-2024 |
| 68 | | Parent, Xavier | Report on "Axiomatizing Conditional Normative Reasoning" | Article Artikel | Aug-2024 |
| 69 | | Fermüller, Christian G. | Judgment Aggregation with Fuzzy Deontic Logics | Presentation Vortrag | 23-Jul-2024 |
| 70 | | Ciabattoni, Agata | Acquiring and explaining norms for AI systems | Presentation Vortrag | 4-Jul-2024 |
| 71 | | Leitsch, Alexander ; Mahler, Stella | Herbrand's theorem for inductive proofs | Presentation Vortrag | 25-Jun-2024 |
| 72 | | Ciabattoni, Agata | Normative Reasoning: from Sanskrit philosophy to AI | Presentation Vortrag | 24-Jun-2024 |
| 73 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Simple P Systems and Variants of Derivation Modes | Presentation Vortrag | 3-Jun-2024 |
| 74 | | Parent, Xavier | On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation | Article Artikel | Jun-2024 |
| 75 | | Tesi, Matteo | Ways to infinity in structural proof theory | Presentation Vortrag | Jun-2024 |
| 76 | | Tesi, Matteo | Logic, contradictions and fractional interpretations | Presentation Vortrag | Jun-2024 |
| 77 | | Olszewski, Maya Alexandra ; Parent, Xavier ; van der Torre, Leendert | Permissive and regulative norms in deontic logic | Article Artikel | Jun-2024 |
| 78 | | Parent, Xavier ; Benzmüller, Christoph | Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset) | Preprint Preprint | 26-May-2024 |
| 79 | | Freiman, Robert ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian | Reasoning About Group Polarization: From Semantic Games to Sequent Systems | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 80 | | Fermüller, Christian ; Freiman, Robert ; Lang, Timo | A Simple Token Game and its Logic | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 81 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Orellana-Martín, David ; Ramírez-de-Arellano, Antonio ; Rodríguez Gallego, José Antonio | P systems with reactive membranes | Article Artikel | 23-Apr-2024 |
| 82 | | Mahler, Stella | Simulation of Primitive Recursive Arithmetic Through Proof Schemata | Presentation Vortrag | 16-Apr-2024 |
| 83 |  | Piazza, Mario ; Tesi, Matteo | Analyticity with extra-logical information | Article Artikel | 4-Apr-2024 |
| 84 | | Tesi, Matteo | Logic, contradictions and fractional interpretations | Presentation Vortrag | Apr-2024 |
| 85 | | Tesi, Matteo | Sequents vs. Hypersequents for deontic logics | Presentation Vortrag | Mar-2024 |
| 86 | | Tesi, Matteo | Constructive theories through a modal lens | Presentation Vortrag | 15-Feb-2024 |
| 87 | | di Angelo, Monika ; Durieux, Thomas ; Ferreira, João F. ; Salzer, Gernot | Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study | Article Artikel | 2-Feb-2024 |
| 88 | | Tesi, Matteo | Subintuitionistic logics and their modal companions: a nested approach | Presentation Vortrag | 18-Jan-2024 |
| 89 | | Fermüller, Christian | Games in Logic | Presentation Vortrag | 15-Jan-2024 |
| 90 | | Dik, Josephine Femke | Permission in Deontic Logic: from Sanskrit Philosophy to AI | Presentation Vortrag | 15-Jan-2024 |
| 91 | | Parent, Xavier | Conditional normative reasoning in HOL | Presentation Vortrag | 11-Jan-2024 |
| 92 | | Leitsch, Alexander ; Lolic, Anela | Herbrand's Theorem in Inductive Proofs | Inproceedings Konferenzbeitrag | 2024 |
| 93 | | Tesi, Matteo | Subintuitionistic logics and their modal companions: a nested approach | Article Artikel | 2024 |
| 94 | | Baaz, Matthias ; Lolic, Anela | On Translations of Epsilon Proofs to LK | Inproceedings Konferenzbeitrag | 2024 |
| 95 | | di Angelo, Monika ; Salzer, Gernot | Bytecode Skeletons for Sample Selection in the Analysis of Blockchain Programs | Inproceedings Konferenzbeitrag | 2024 |
| 96 | | Ciabattoni, Agata ; Eisenhofer, Clemens ; Rozplokhas, Dmitry | Strongly Analytic Calculi for KLM Logics with SMT-Based Prover | Inproceedings Konferenzbeitrag | 2024 |
| 97 | | Parent, Xavier ; Benzmüller, Christoph | Conditional normative reasoning as a fragment of HOL | Article Artikel | 2024 |
| 98 | | Ciabattoni, Agata ; Gabelaia, David ; Sedlar, Igor | Advances in Modal Logic | Proceedings Tagungsband | 2024 |
| 99 | | Leitsch, Alexander ; Lolić, Anela ; Mahler, Stella | Towards an Analysis of Proofs in Arithmetic | Inproceedings Konferenzbeitrag | 2024 |
| 100 | | Lolić, Anela | Interpolation Properties of Proofs with Cuts | Inproceedings Konferenzbeitrag | 2024 |
