Effective Applicative Structures. - Andrea Asperti; Agata Ciabattoni (Category Theory and Computer Science, 1995)

Two Connections Between Linear Logic and Lukasiewicz Logics. - Agata Ciabattoni; Duccio Luchi (Kurt Gödel Colloquium, 1997)

A Sufficient Condition for Completability of Partial Combinatory Algebras. - Andrea Asperti; Agata Ciabattoni (J. Symb. Log., 1997)

Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller; Helmut Veith (MFCS, 1998)

Cut-free proof systems for logics of weak excluded middle. - Agata Ciabattoni; Dov M. Gabbay; Nicola Olivetti (Soft Comput., 1998)

On the Undecidability of some Sub-Classical First-Order Logics. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller; Helmut Veith (FSTTCS, 1999)

Bounded Contraction in Systems with Linearity. - Agata Ciabattoni (TABLEAUX, 1999)

On Urquhart's C Logic. - Agata Ciabattoni (ISMVL, 2000)

Quantified Propositional Gödel Logics. - Matthias Baaz; Agata Ciabattoni; Richard Zach (LPAR, 2000)

Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. - Agata Ciabattoni; Mauro Ferrari 002 (TABLEAUX, 2000)

Finiteness in Infinite-Valued Lukasiewicz Logic. - Stefano Aguzzoli; Agata Ciabattoni (J. Log. Lang. Inf., 2000)

Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. - Stefano Aguzzoli; Agata Ciabattoni; Antonio Di Nola (J. Log. Comput., 2000)

Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (ISMVL, 2001)

Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. - Agata Ciabattoni; Christian G. Fermüller (ISMVL, 2001)

Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (LPAR, 2001)

Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. - Agata Ciabattoni (J. Log. Comput., 2001)

A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. - Matthias Baaz; Agata Ciabattoni (TABLEAUX, 2002)

From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. - Christian G. Fermüller; Agata Ciabattoni (ISMVL, 2003)

Bounded Lukasiewicz Logics. - Agata Ciabattoni; George Metcalfe (TABLEAUX, 2003)

Hypersequent Calculi for Gödel Logics - a Survey. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (J. Log. Comput., 2003)

Automated Generation of Analytic Calculi for Logics with Linearity. - Agata Ciabattoni (CSL, 2004)

Uniform Rules and Dialogue Games for Fuzzy Logics. - Agata Ciabattoni; Christian G. Fermüller; George Metcalfe (LPAR, 2004)

Analytic Calculi for Monoidal T-norm Based Logic. - Matthias Baaz; Agata Ciabattoni; Franco Montagna (Fundam. Informaticae, 2004)

A proof-theoretical investigation of global intuitionistic (fuzzy) logic. - Agata Ciabattoni (Arch. Math. Log., 2005)

Editorial. - Matthias Baaz; Agata Ciabattoni; Dov M. Gabbay; Petr Hájek 001 (Log. J. IGPL, 2005)

Modular Cut-Elimination: Finding Proofs or Counterexamples. - Agata Ciabattoni; Kazushige Terui (LPAR, 2006)

Service QoS Composition at the Level of Part Names. - Marco Aiello 001; Florian Rosenberg; Christian Platzer; Agata Ciabattoni; Schahram Dustdar (WS-FM, 2006)

Towards a Semantic Characterization of Cut-Elimination. - Agata Ciabattoni; Kazushige Terui (Stud Logica, 2006)

Density Elimination and Rational Completeness for First-Order Logics. - Agata Ciabattoni; George Metcalfe (LFCS, 2007)

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (LPAR, 2007)

From Axioms to Analytic Rules in Nonclassical Logics. - Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui (LICS, 2008)

Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (LPAR, 2008)

Towards an algorithmic construction of cut-elimination procedures. - Agata Ciabattoni; Alexander Leitsch (Math. Struct. Comput. Sci., 2008)

Density elimination. - Agata Ciabattoni; George Metcalfe (Theor. Comput. Sci., 2008)

Expanding the Realm of Systematic Proof Theory. - Agata Ciabattoni; Lutz Straßburger; Kazushige Terui (CSL, 2009)

Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. - Arnon Avron; Agata Ciabattoni; Anna Zamansky (CSR, 2009)

A Formal Logical Framework for Cadiag-2. - Agata Ciabattoni; Thomas Vetterlein; Klaus-Peter Adlassnig (MIE, 2009)

SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. - Matthias Baaz; Agata Ciabattoni; Norbert Preining (WoLLIC, 2009)

On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. - Agata Ciabattoni; Pavel Rusnok (KR, 2010)

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. - Agata Ciabattoni; George Metcalfe; Franco Montagna (Fuzzy Sets Syst., 2010)

On the (fuzzy) logical content of CADIAG-2. - Thomas Vetterlein; Agata Ciabattoni (Fuzzy Sets Syst., 2010)

Basic Constructive Connectives, Determinism and Matrix-Based Semantics. - Agata Ciabattoni; Ori Lahav 001; Anna Zamansky (TABLEAUX, 2011)

First-order satisfiability in Gödel logics: An NP-complete fragment. - Matthias Baaz; Agata Ciabattoni; Norbert Preining (Theor. Comput. Sci., 2011)

Standard Completeness for Extensions of MTL: An Automated Approach. - Paolo Baldi; Agata Ciabattoni; Lara Spendier (WoLLIC, 2012)

Algebraic proof theory for substructural logics: Cut-elimination and completions. - Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui (Ann. Pure Appl. Log., 2012)

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability - Matthias Baaz; Agata Ciabattoni; Christian G. Fermüller (Log. Methods Comput. Sci., 2012)

Automated Support for the Investigation of Paraconsistent and Other Logics. - Agata Ciabattoni; Ori Lahav 001; Lara Spendier; Anna Zamansky (LFCS, 2013)

Hypersequent and Labelled Calculi for Intermediate Logics. - Agata Ciabattoni; Paolo Maffezioli; Lara Spendier (TABLEAUX, 2013)

Structural Extensions of Display Calculi: A General Recipe. - Agata Ciabattoni; Revantha Ramanayake (WoLLIC, 2013)

Preface. - Agata Ciabattoni; Rusins Freivalds; Antonín Kucera 001; Igor Potapov; Stefan Szeider (Fundam. Informaticae, 2013)

Formal approaches to rule-based systems in medicine: The case of CADIAG-2. - Agata Ciabattoni; David Picado-Muiño; Thomas Vetterlein; Moataz El-Zekey (Int. J. Approx. Reason., 2013)

Proof theory for locally finite many-valued logics: Semi-projective logics. - Agata Ciabattoni; Franco Montagna (Theor. Comput. Sci., 2013)

Tools for the Investigation of Substructural and Paraconsistent Logics. - Agata Ciabattoni; Lara Spendier (JELIA, 2014)

Hypersequent and Display Calculi - a Unified Perspective. - Agata Ciabattoni; Revantha Ramanayake; Heinrich Wansing (Stud Logica, 2014)

Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. - Agata Ciabattoni; Ori Lahav 001; Lara Spendier; Anna Zamansky (ACM Trans. Comput. Log., 2014)

Standard Completeness for Uninorm-Based Logics. - Paolo Baldi; Agata Ciabattoni (ISMVL, 2015)

Mīmāṃsā Deontic Logic: Proof Theory and Applications. - Agata Ciabattoni; Elisa Freschi; Francesco A. Genco; Björn Lellmann (TABLEAUX, 2015)

Uniform proofs of standard completeness for extensions of first-order MTL. - Paolo Baldi; Agata Ciabattoni (Theor. Comput. Sci., 2015)

Embedding formalisms: hypersequents and two-level systems of rule. - Agata Ciabattoni; Francesco A. Genco (Advances in Modal Logic, 2016)

Analytic Calculi for Non-Classical Logics: Theory and Applications. - Agata Ciabattoni (CSL, 2016)

Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (CoRR, 2016)

From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. - Agata Ciabattoni; Björn Lellmann; Carlos Olarte; Elaine Pimentel (LSFA, 2016)

Proof search and Co-NP completeness for many-valued logics. - Mattia Bongini; Agata Ciabattoni; Franco Montagna (Fuzzy Sets Syst., 2016)

Proof theory of witnessed Gödel logic: A negative result. - Matthias Baaz; Agata Ciabattoni (J. Log. Comput., 2016)

Power and Limits of Structural Display Rules. - Agata Ciabattoni; Revantha Ramanayake (ACM Trans. Comput. Log., 2016)

Standard completeness for extensions of IMTL. - Paolo Baldi; Agata Ciabattoni; Francesca Gulisano (FUZZ-IEEE, 2017)

Gödel logic: From natural deduction to parallel computation. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (LICS, 2017)

Bunched Hypersequent Calculi for Distributive Substructural Logics. - Agata Ciabattoni; Revantha Ramanayake (LPAR, 2017)

Algebraic proof theory: Hypersequents and hypercompletions. - Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui (Ann. Pure Appl. Log., 2017)

Mīmā d{m}sā deontic logic: proof theory and applications. - Agata Ciabattoni; Elisa Freschi; Francesco A. Genco; Björn Lellmann (CoRR, 2017)

Preface. - Matthias Baaz; Agata Ciabattoni; Dov M. Gabbay; Stefan Hetzl; Daniel Weller 001 (J. Log. Comput., 2017)

Intermediate Logics: From Hypersequents to Concurrent Computation. - Agata Ciabattoni (Advances in Modal Logic, 2018)

Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. - Agata Ciabattoni; Francesca Gulisano; Björn Lellmann (DEON, 2018)

From Display to Labelled Proofs for Tense Logics. - Agata Ciabattoni; Tim S. Lyon; Revantha Ramanayake (LFCS, 2018)

Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (CoRR, 2018)

Classical Proofs as Parallel Programs. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (GandALF, 2018)

Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop. - Agata Ciabattoni; Francesco A. Genco; Revantha Ramanayake (ACM SIGLOG News, 2018)

Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. - Agata Ciabattoni; Björn Lellmann; Kees van Berkel 002 (ACM SIGLOG News, 2018)

Hypersequents and Systems of Rules: Embeddings and Applications. - Agata Ciabattoni; Francesco A. Genco (ACM Trans. Comput. Log., 2018)

Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Sanjay Modgil (LORI, 2019)

Bounded Sequent Calculi for Non-classical Logics via Hypersequents. - Agata Ciabattoni; Timo Lang; Revantha Ramanayake (TABLEAUX, 2019)

A typed parallel $λ$-calculus for graph-based communication. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (CoRR, 2019)

Dermtrainer: A Decision Support System for Dermatological Diseases. - Gernot Salzer; Agata Ciabattoni; Christian G. Fermüller; Martin Haiduk; Harald Kittler; Arno Lukas; Rosa María Rodríguez Domínguez; Antonia Wesinger; Elisabeth Riedl (CoRR, 2019)

Display to Labelled Proofs and Back Again for Tense Logics. - Agata Ciabattoni; Tim S. Lyon; Revantha Ramanayake; Alwen Tiu (CoRR, 2019)

A typed parallel lambda-calculus via 1-depth intermediate proofs. - Federico Aschieri; Agata Ciabattoni; Francesco Antonio Genco (LPAR, 2020)

On the concurrent computational content of intermediate logics. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (Theor. Comput. Sci., 2020)

A Normative Supervisor for Reinforcement Learning Agents. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni; Guido Governatori (CADE, 2021)

The Gentle Murder Paradox in Sanskrit Philosophy. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Francesca Gulisano; Maya Olszewski (DEON, 2021)

Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms. - Agata Ciabattoni; Björn Lellmann (DEON, 2021)

A Kelsenian Deontic Logic. - Agata Ciabattoni; Xavier Parent 001; Giovanni Sartor (JURIX, 2021)

Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach. - Björn Lellmann; Francesca Gulisano; Agata Ciabattoni (Artif. Intell. Law, 2021)

Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics. - Agata Ciabattoni; Timo Lang; Revantha Ramanayake (J. Symb. Log., 2021)

Display to Labeled Proofs and Back Again for Tense Logics. - Agata Ciabattoni; Tim S. Lyon; Revantha Ramanayake; Alwen Tiu (ACM Trans. Comput. Log., 2021)

Taming Bounded Depth with Nested Sequents. - Lutz Straßburger; Matteo Tesi; Agata Ciabattoni (AiML, 2022)

Dyadic Obligations: Proofs and Countermodels via Hypersequents. - Agata Ciabattoni; Nicola Olivetti; Xavier Parent 001 (PRIMA, 2022)

On Normative Reinforcement Learning via Safe Reinforcement Learning. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni (PRIMA, 2022)

A theory of cut-restriction: first steps. - Agata Ciabattoni; Timo Lang; Revantha Ramanayake (CoRR, 2022)

Enforcing ethical goals over reinforcement-learning policies. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni; Guido Governatori (Ethics Inf. Technol., 2022)

Disambiguating Permissions: A Contribution from Mimamsa. - Agata Ciabattoni; Josephine Dik; Elisa Freschi (DEON, 2023)

Analytic Proof Theory for Åqvist's System F. - Agata Ciabattoni; Nicola Olivetti; Xavier Parent 001; Revantha Ramanayake; Dmitry Rozplokhas (DEON, 2023)

Deontic Equilibrium Logic with eXplicit Negation. - Pedro Cabalar; Agata Ciabattoni; Leendert van der Torre (JELIA, 2023)

Permission in a Kelsenian Perspective. - Agata Ciabattoni; Xavier Parent 001; Giovanni Sartor (JURIX, 2023)

Streamlining Input/Output Logics with Sequent Calculi. - Agata Ciabattoni; Dmitry Rozplokhas (KR, 2023)

Cut-Restriction: From Cuts to Analytic Cuts. - Agata Ciabattoni; Timo Lang; Revantha Ramanayake (LICS, 2023)

Deontic Paradoxes in ASP with Weak Constraints. - Christian Hatschka; Agata Ciabattoni; Thomas Eiter (ICLP, 2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. - Tim S. Lyon; Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake (CoRR, 2023)

Normative Reasoning for AI (Dagstuhl Seminar 23151). - Agata Ciabattoni; John F. Horty; Marija Slavkovik 001; Leendert van der Torre; Aleks Knoks (Dagstuhl Reports, 2023)

Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. - Kees van Berkel 002; Agata Ciabattoni; Elisa Freschi; Francesca Gulisano; Maya Olszewski (J. Log. Lang. Inf., 2023)

Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). - Agata Ciabattoni; Dmitry Rozplokhas (IJCAI, 2024)

Sequents vs Hypersequents for Åqvist Systems. - Agata Ciabattoni; Matteo Tesi (IJCAR (2), 2024)

Norm Compliance in Reinforcement Learning Agents via Restraining Bolts. - Emery A. Neufeld; Agata Ciabattoni; Radu Florin Tulcan (JURIX, 2024)

Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. - Agata Ciabattoni; Clemens Eisenhofer; Dmitry Rozplokhas (KR, 2024)

Preface - MSCS. - Agata Ciabattoni; Elaine Pimentel; Ruy José Guerra Barretto de Queiroz (Math. Struct. Comput. Sci., 2024)

Tackling Temporal Deontic Challenges with Equilibrium Logic. - Davide Soldà; Pedro Cabalar; Agata Ciabattoni; Emery A. Neufeld (AAMAS, 2025)

GL-Based Calculi for PCL and Its Deontic Cousin. - Agata Ciabattoni; Dmitry Rozplokhas; Matteo Tesi (JELIA (1), 2025)

Support + Belief = Decision Trust. - Alessandro Aldini; Agata Ciabattoni; Dominik Pichler; Mirko Tagliaferri (SIROCCO, 2025)

From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. - Elias Horner; Cristinel Mateis; Guido Governatori; Agata Ciabattoni (CoRR, 2025)

Mīmāṃsā on 'better-not' Permissions. - Agata Ciabattoni; Josephine Dik; Elisa Freschi (J. Philos. Log., 2025)