|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | di Angelo, Monika ; Salzer, Gernot | Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts | Inproceedings Konferenzbeitrag  | 5-Dec-2023 |
| 2 | | Ciabattoni, Agata ; Rozplokhas, Dmitrii | Streamlining Input/Output Logics with Sequent Calculi | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 3 | | Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer | SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 4 | | Freiman, Robert ; Bernreiter, Michael | Truth and Preferences - A Game Approach for Qualitative Choice Logic | Inproceedings Konferenzbeitrag | 24-Sep-2023 |
| 5 | | Pichler, Dominik ; Parent, Xavier | Perspectival obligation and extensionality in an alethic-deontic setting | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 6 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi Elisa | Disambiguating Permissions: A Contribution from Mimamsa | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 7 | | Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii | Analytic Proof Theory for Aqvist's System F | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 8 | | Freiman, Robert ; Bernreiter, Michael | Validity in Choice Logics - A Game-Theoretic Investigation | Inproceedings Konferenzbeitrag | Jul-2023 |
| 9 | | Cabalar, Pedro ; Ciabattoni, Agata ; van der Torre, Leendert | Deontic Equilibrium Logic with eXplicit Negation | Inproceedings Konferenzbeitrag | 2023 |
| 10 | | Fermüller, Christian | Some Consistency Criteria for Many-Valued Judgment Aggregation | Inproceedings Konferenzbeitrag | 2023 |
| 11 | | Ciabattoni, Agata ; Eiter, Thomas ; Hatschka, Christian | Deontic Paradoxes in ASP with Weak Constraints | Inproceedings Konferenzbeitrag | 2023 |
| 12 | | Uhl, Sebastian ; Fermüller, Christian | Many-Valued Judgment Aggregation - Some New Possibility Results | Inproceedings Konferenzbeitrag | 2023 |
| 13 | | Ciabattoni, Agata ; Lang, Timo Achim ; Ramanayake, Don Revantha Shiyan | Cut-Restriction: From Cuts to Analytic Cuts | Inproceedings Konferenzbeitrag | 2023 |
| 14 | | Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier | Dyadic Obligations: Proofs and Countermodels via Hypersequents | Inproceedings Konferenzbeitrag | 12-Nov-2022 |
| 15 |  | Pavlova, Alexandra | Public Announcements for Intuitionistic Epistemic Logic | Inproceedings Konferenzbeitrag   | 17-Oct-2022 |
| 16 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Prescribed Teams of Rules Working on Several Objects | Inproceedings Konferenzbeitrag | 2-Oct-2022 |
| 17 |  | 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 |
| 18 | | van Berkel, Kees ; Straßer, Christian | Reasoning With and About Norms in Logical Argumentation | Inproceedings Konferenzbeitrag | Sep-2022 |
| 19 |  | Eisenhofer, Clemens ; Riener, Martin | Automated Instantiation of Control Flow Tracing Exercises | Inproceedings Konferenzbeitrag | 8-Feb-2022 |
| 20 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergui ; Verlan, Sergey | Prescribed Teams of Rules Working in Parallel on Different Objects | Inproceedings Konferenzbeitrag | 2022 |
