| 2026 | IJCAR | SMT-Based Deontic Reasoning for qvist Logics. | Christian Kll, Agata Ciabattoni, Dmitry Rozplokhas |
| 2025 | ICAIL | From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. | Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni |
| 2025 | IJCAI | Combining MORL with Restraining Bolts to Learn Normative Behaviour. | Emery A. Neufeld, Agata Ciabattoni, Radu Florin Tulcan |
| 2025 | JELIA | GL-Based Calculi for PCL and Its Deontic Cousin. | Agata Ciabattoni, Dmitry Rozplokhas, Matteo Tesi |
| 2025 | JURIX | The Result Model Under Inconsistent Knowledge: Theory and Experiments. | Yoann Morello, Agata Ciabattoni, Morgan Gray |
| 2025 | PRIMA | From Explicit Allowances to Defeasible Deontic Operators: A Modal View. | Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas |
| 2025 | SIROCCO | Support + Belief = Decision Trust. | Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri |
| 2025 | TABLEAUX | Analytic Proofs for Tense Logic. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2024 | IJCAI | Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). | Agata Ciabattoni, Dmitry Rozplokhas |
| 2024 | IJCAR | Sequents vs Hypersequents for qvist Systems. | Agata Ciabattoni, Matteo Tesi |
| 2024 | JURIX | Norm Compliance in Reinforcement Learning Agents via Restraining Bolts. | Emery A. Neufeld, Agata Ciabattoni, Radu Florin Tulcan |
| 2024 | KR | Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. | Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas |
| 2023 | JELIA | Deontic Equilibrium Logic with eXplicit Negation. | Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre |
| 2023 | JURIX | Permission in a Kelsenian Perspective. | Agata Ciabattoni, Xavier Parent, Giovanni Sartor |
| 2023 | KR | Streamlining Input/Output Logics with Sequent Calculi. | Agata Ciabattoni, Dmitry Rozplokhas |
| 2023 | LICS | Cut-Restriction: From Cuts to Analytic Cuts. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2022 | AiML | Taming Bounded Depth with Nested Sequents. | Lutz Straburger, Matteo Tesi, Agata Ciabattoni |
| 2022 | PRIMA | Dyadic Obligations: Proofs and Countermodels via Hypersequents. | Agata Ciabattoni, Nicola Olivetti, Xavier Parent |
| 2022 | PRIMA | On Normative Reinforcement Learning via Safe Reinforcement Learning. | Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni |
| 2021 | CADE | A Normative Supervisor for Reinforcement Learning Agents. | Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori |
| 2021 | JURIX | A Kelsenian Deontic Logic. | Agata Ciabattoni, Xavier Parent, Giovanni Sartor |
| 2020 | LPAR | A typed parallel lambda-calculus via 1-depth intermediate proofs. | Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco |
| 2019 | TABLEAUX | Bounded Sequent Calculi for Non-classical Logics via Hypersequents. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2018 | AiML | Intermediate Logics: From Hypersequents to Concurrent Computation. | Agata Ciabattoni |
| 2018 | LFCS | From Display to Labelled Proofs for Tense Logics. | Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake |
| 2017 | LICS | Gdel logic: From natural deduction to parallel computation. | Federico Aschieri, Agata Ciabattoni, Francesco A. Genco |
| 2017 | LPAR | Bunched Hypersequent Calculi for Distributive Substructural Logics. | Agata Ciabattoni, Revantha Ramanayake |
| 2016 | AiML | Embedding formalisms: hypersequents and two-level systems of rule. | Agata Ciabattoni, Francesco A. Genco |
| 2016 | CSL | Analytic Calculi for Non-Classical Logics: Theory and Applications. | Agata Ciabattoni |
| 2015 | TABLEAUX | Mīmāṃsā Deontic Logic: Proof Theory and Applications. | Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Bjrn Lellmann |
| 2014 | JELIA | Tools for the Investigation of Substructural and Paraconsistent Logics. | Agata Ciabattoni, Lara Spendier |
| 2013 | LFCS | Automated Support for the Investigation of Paraconsistent and Other Logics. | Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky |
| 2013 | TABLEAUX | Hypersequent and Labelled Calculi for Intermediate Logics. | Agata Ciabattoni, Paolo Maffezioli, Lara Spendier |
| 2013 | WoLLIC | Structural Extensions of Display Calculi: A General Recipe. | Agata Ciabattoni, Revantha Ramanayake |
| 2012 | WoLLIC | Standard Completeness for Extensions of MTL: An Automated Approach. | Paolo Baldi, Agata Ciabattoni, Lara Spendier |
| 2011 | TABLEAUX | Basic Constructive Connectives, Determinism and Matrix-Based Semantics. | Agata Ciabattoni, Ori Lahav, Anna Zamansky |
| 2010 | KR | On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. | Agata Ciabattoni, Pavel Rusnok |
| 2009 | CSL | Expanding the Realm of Systematic Proof Theory. | Agata Ciabattoni, Lutz Straburger, Kazushige Terui |
| 2009 | CSR | Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. | Arnon Avron, Agata Ciabattoni, Anna Zamansky |
| 2009 | WoLLIC | SAT in Monadic Gdel Logics: A Borderline between Decidability and Undecidability. | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
| 2008 | LICS | From Axioms to Analytic Rules in Nonclassical Logics. | Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui |
| 2008 | LPAR | Cut Elimination for First Order Gdel Logic by Hyperclause Resolution. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller |
| 2007 | LFCS | Density Elimination and Rational Completeness for First-Order Logics. | Agata Ciabattoni, George Metcalfe |
| 2007 | LPAR | Monadic Fragments of Gdel Logics: Decidability and Undecidability Results. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller |
| 2006 | LPAR | Modular Cut-Elimination: Finding Proofs or Counterexamples. | Agata Ciabattoni, Kazushige Terui |
| 2004 | CSL | Automated Generation of Analytic Calculi for Logics with Linearity. | Agata Ciabattoni |
| 2004 | LPAR | Uniform Rules and Dialogue Games for Fuzzy Logics. | Agata Ciabattoni, Christian G. Fermller, George Metcalfe |
| 2003 | TABLEAUX | Bounded Lukasiewicz Logics. | Agata Ciabattoni, George Metcalfe |
| 2002 | TABLEAUX | A Schtte-Tait Style Cut-Elimination Proof for First-Order Gdel Logic. | Matthias Baaz, Agata Ciabattoni |
| 2001 | LPAR | Herbrand's Theorem for Prenex Gdel Logic and its Consequences for Theorem Proving. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller |
| 2000 | LPAR | Quantified Propositional Gdel Logics. | Matthias Baaz, Agata Ciabattoni, Richard Zach |
| 2000 | TABLEAUX | Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. | Agata Ciabattoni, Mauro Ferrari |
| 1999 | TABLEAUX | Bounded Contraction in Systems with Linearity. | Agata Ciabattoni |
| 1998 | MFCS | Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller, Helmut Veith |