| Automating agential reasoning: Proof-calculi and syntactic decidability for stit logics T Lyon, K van Berkel International conference on principles and practice of multi-agent systems …, 2019 | 18 | 2019 |
| Cut-Free Calculi and Relational Semantics for Temporal STIT Logics K van Berkel, T Lyon European Conference on Logics in Artificial Intelligence, 803-819, 2019 | 11 | 2019 |
| Notions of instrumentality in agency logic K van Berkel, M Pascucci PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st …, 2018 | 8 | 2018 |
| Reasoning With and About Norms in Logical Argumentation K van Berkel, C Straßer Computational Models of Argument: Proceedings of COMMA 2022 353, 332 -- 343, 2022 | 5* | 2022 |
| The Varieties of Ought-implies-Can and Deontic STIT Logic K van Berkel, T Lyon 15th International Conference on Deontic Logic and Normative Systems (DEON …, 2021 | 5 | 2021 |
| A neutral temporal deontic stit logic K van Berkel, T Lyon International Workshop on Logic, Rationality and Interaction, 340-354, 2019 | 4 | 2019 |
| The Gentle Murder Paradox in Sanskrit Philosophy. K van Berkel, A Ciabattoni, E Freschi, F Gulisano, M Olszewski 15th International Conference on Deontic Logic and Normative Systems (DEON …, 2021 | 3 | 2021 |
| A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms K van Berkel, T Lyon, F Olivieri International Conference on Logic and Argumentation, 219-241, 2020 | 3 | 2020 |
| A Logical Analysis of Normative Reasoning: Agency, Action, and Argumentation K van Berkel TU Wien, 2023 | 2 | 2023 |
| Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation O Arieli, K van Berkel, C Straßer Proceedings of the 31st International Joint Conference on Artificial …, 2022 | 2 | 2022 |
| Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics K van Berkel, A Ciabattoni, E Freschi, S Modgil Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019 | 1 | 2019 |
| Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation O Arieli, K van Berkel, C Straßer Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10450 …, 2024 | | 2024 |
| Proof Theory and Decision Procedures for Deontic STIT Logics TS Lyon, K van Berkel arXiv preprint arXiv:2402.03148, 2024 | | 2024 |
| A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations K van Berkel, TS Lyon, M Pascucci Journal of Philosophical Logic 52 (5), 1475-1516, 2023 | | 2023 |
| Practical Reasoning and Practical Argumentation: A Stakeholder Commitment Approach K van Berkel, JHM Wagemans Topoi 42 (2), 509-525, 2023 | | 2023 |
| Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again K van Berkel, A Ciabattoni, E Freschi, F Gulisano, M Olszewski Journal of Logic, Language and Information 32 (1), 19-62, 2023 | | 2023 |
| Arguing About Choosing a Normative System: Conflict of Laws K van Berkel, R Markovich, C Strasser, L van der Torre Legal Knowledge and Information Systems, 73-82, 2023 | | 2023 |
| Deontic Explanations by means of Formal Argumentation K van Berkel | | 2022 |
| Reasoning With and About Norms in Logical Argumentation K van Berkel, C Strasser Proceedings of COMMA 2022, 9th International Conference on Computational …, 2022 | | 2022 |
| If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. K van Berkel, DM Gabbay, L van der Torre 15th International Conference on Deontic Logic and Normative Systems (DEON …, 2021 | | 2021 |
Tim LyonPostDoc Researcher, TU DresdenVerified email at tu-dresden.de
