|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas | Representing Normative Reasoning in Answer Set Programming Using Weak Constraints | Presentation Vortrag | 28-Nov-2022 |
| 2 | | Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier | Dyadic Obligations: Proofs and Countermodels via Hypersequents | Inproceedings Konferenzbeitrag  | 12-Nov-2022 |
| 3 | | Fermüller, Christian | Finite model theory for many-valued logics - Some challenges and open problems | Presentation Vortrag | 10-Nov-2022 |
| 4 |  | Pavlova, Alexandra | Public Announcements for Intuitionistic Epistemic Logic | Inproceedings Konferenzbeitrag   | 17-Oct-2022 |
| 5 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Prescribed Teams of Rules Working on Several Objects | Inproceedings Konferenzbeitrag | 2-Oct-2022 |
| 6 |  | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu | P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks | Inproceedings Konferenzbeitrag | 2-Oct-2022 |
| 7 |  | van Berkel, Kees ; Straßer, Christian | Reasoning With and About Norms in Logical Argumentation | Inproceedings Konferenzbeitrag | Sep-2022 |
| 8 | | Fermüller, Christian | Re-visiting Giles's game | Presentation Vortrag | 9-Aug-2022 |
| 9 | | Fermüller, Christian ; Hafner, Johannes | Revisiting Brandom’s Incompatibility Semantics | Book Contribution Buchbeitrag | 1-Aug-2022 |
| 10 | | Parent, Xavier | New Developments in Dyadic Deontic Logic | Presentation Vortrag | 16-Jul-2022 |
| 11 | | Fermüller, Christian | From Semantic Games to Analytic Calculi | Presentation Vortrag | 16-Jun-2022 |
| 12 |  | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion | Variants of derivation modes for which purely catalytic {P} systemsare computationally complete | Article Artikel | 12-Jun-2022 |
| 13 | | Fermüller, Christian | Fuzzy judgment aggregation – background, observations, ideas | Presentation Vortrag | 9-Jun-2022 |
| 14 |  | Fermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic | Article Artikel | Jun-2022 |
| 15 | | van Berkel, Kees | Deontic Explanations by means of Formal Argumentation | Presentation Vortrag | 31-Mar-2022 |
| 16 |  | Eisenhofer, Clemens ; Riener, Martin | Automated Instantiation of Control Flow Tracing Exercises | Inproceedings Konferenzbeitrag | 8-Feb-2022 |
| 17 | | Parent, Xavier | Dyadic deontic logic and the (non-)transitivity of betterness | Presentation Vortrag | 17-Jan-2022 |
| 18 | | Rameder, Heidelinde ; di Angelo, Monika ; Salzer, Gernot | Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum | Artikel Article | 2022 |
| 19 | | Ciabattoni, Agata ; Pimentel, Elaine ; de Queiroz, Ruy J.G.B. | Logic, Language, Information, and Computation | Book Buch | 2022 |
| 20 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergui ; Verlan, Sergey | Prescribed Teams of Rules Working in Parallel on Different Objects | Inproceedings Konferenzbeitrag | 2022 |
