|
| | Preview | Author(s) | Title | Type | Issue Date |
| 161 | | Lyon, Tim ; van Berkel, Kees | Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics | Konferenzbeitrag Inproceedings  | 2019 |
| 162 | | Ciabattoni, Agata ; Ramanayake, Revantha ; Lang, Timo | Bounded sequent calculi for non-classical logics via hypersequents | Konferenzbeitrag Inproceedings | 2019 |
| 163 | | van Berkel, Kees ; Lyon, Tim | Cut-Free Calculi and Relational Semantics for Temporal STIT Logics | Konferenzbeitrag Inproceedings | 2019 |
| 164 | | van Berkel, Kees ; Ciabattoni, Agata | Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. | Konferenzbeitrag Inproceedings | 2019 |
| 165 | | van Berkel, Kees ; Lyon, Tim | A Neutral Temporal Deontic STIT Logic | Konferenzbeitrag Inproceedings | 2019 |
| 166 | | Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui | Register machines over groups | Konferenzbeitrag Inproceedings | 2019 |
| 167 | | Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui ; Verlan, Sergey | Tissue P Systems with Point Mutation Rules | Konferenzbeitrag Inproceedings | 2019 |
| 168 | | Freund, Rudolf ; Staiger, Ludwig | Turing machines with activations of transitions | Konferenzbeitrag Inproceedings | 2019 |
| 169 | | Freund, Rudolf ; Verlan, Sergey ; Alhazov, Artiom | A Formal Framework for Spiking Neural P Systems | Konferenzbeitrag Inproceedings | 2019 |
| 170 | | Pascucci, Matteo ; Glavanicova, Daniela | Formal Analysis of Responsibility Attribution in a Multimodal Framework | Konferenzbeitrag Inproceedings | 2019 |
| 171 | | van Berkel, Kees | Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics. | Präsentation Presentation | 2019 |
| 172 | | Fermüller, Christian | Judgment Aggregation From a Many-valued Logic Perspective | Präsentation Presentation | 2019 |
| 173 | | Fermüller, Christian | Modalities as prices: a game model of intuitionistic linear logic with subexponentials | Präsentation Presentation | 2019 |
| 174 | | van Berkel, Kees | Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics | Präsentation Presentation | 2019 |
| 175 | | Freund, Rudolf ; Alhazov, Artiom | Blind and partially blind reister machines over groups | Präsentation Presentation | 2019 |
| 176 | | Freund, Rudolf | Reversibility and Determinism in P Systems | Präsentation Presentation | 2019 |
| 177 | | Lang, Timo | Bounded sequent calculi via hypersequents | Präsentation Presentation | 2019 |
| 178 | | Fermüller, Christian | Argumentation Based Semantics for Nonclassical Logics | Präsentation Presentation | 2019 |
| 179 | | Freund, Rudolf | Tissue P Systems with Anti-Cells | Präsentation Presentation | 2019 |
| 180 | | Pascucci, Matteo ; Libal, Tomer | Automated reasoning in normative detachment structures with ideal conditions | Konferenzbeitrag Inproceedings | 2019 |
