|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 61 | | Benzmüller, Christoph ; Farjami, Ali ; Parent, Xavier | Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments | Book Contribution Buchbeitrag | 2022 |
| 62 | | Parent, Xavier ; Benzmüller, Christoph | Automated Verification of Deontic Correspondences in Isabelle/HOL - First results | Inproceedings Konferenzbeitrag  | 2022 |
| 63 | | Ciabattoni, Agata ; Straßburger, Lutz ; Tesi, Matteo | Taming Bounded Depth with Nested Sequents | Inproceedings Konferenzbeitrag | 2022 |
| 64 | | Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata | On Normative Reinforcement Learning via Safe Reinforcement Learning | Inproceedings Konferenzbeitrag | 2022 |
| 65 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Sergey Verlan | Regulated Insertion-Deletion Systems | Article Artikel | 2022 |
| 66 | | Podlipnig, Stefan | A Four-year Study of a Placement Exam for an Introductory Programming Course | Inproceedings Konferenzbeitrag | 2022 |
| 67 | | Parent, Xavier ; van der Torre, Leendert | Detachment in Normative Systems: Examples, Inference Patterns, Properties | Book Contribution Buchbeitrag | 2022 |
| 68 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Tissue P Systems with Vesicles of Multisets | Article Artikel | 2022 |
| 69 |  | Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | Enforcing ethical goals over reinforcement-learning policies | Article Artikel   | 2022 |
| 70 |  | Arieli, Ofer ; van Berkel, Kees ; Straßer, Christian | Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation | Inproceedings Konferenzbeitrag | 2022 |
| 71 |  | Parent, Xavier | On Some Weakened Forms of Transitivity in the Logic of Norms | Inproceedings Konferenzbeitrag | 2022 |
| 72 |  | Pfeifer, Niki ; Fermüller, Christian G. | Probabilistic interpretations of argumentative attacks: Logical and experimental results | Article Artikel | 2022 |
| 73 |  | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete | Article Artikel | Dec-2021 |
| 74 |  | Di Angelo, Monika ; Salzer, Gernot | Identification of token contracts on Ethereum: standard compliance and beyond | Artikel Article | 3-Sep-2021 |
| 75 |  | Lellmann, Björn ; Gulisano, Francesca ; Ciabattoni, Agata | Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach | Artikel Article | Sep-2021 |
| 76 |  | Freund, Rudolf ; Ivanov, Sergui ; Alhazov, Artiom | When catalytic P systems with one catalyst can be computationally complete. | Artikel Article | Sep-2021 |
| 77 | | Gabbay, Dov ; Horty, John ; Parent, Xavier ; van der Meyden, Ron ; van der Torre, Leendert | Handbook of Deontic Logic and Normative Systems | Book Buch | 19-Jul-2021 |
| 78 |  | Cerna, David M. ; Leitsch, Alexander ; Lolic, Anela | Schematic Refutations of Formula Schemata | Artikel Article | Jun-2021 |
| 79 |  | Freund, Rudolf ; Ivanov, Sergui ; Alhazov, Artiom | P systems with limited number of objects | Artikel Article | Mar-2021 |
| 80 | | Wiesnet, Franziskus | An Algorithmic Version of Zariski’s Lemma | Konferenzbeitrag Inproceedings | 2021 |
