Agata Ciabattoni

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 54

Top Venues

CoRR

DEON

ACM Trans. Comput. Log.

JURIX

Publications

Agata Ciabattoni, Matteo Tesi
Sequents vs Hypersequents for Åqvist Systems. IJCAR (2) (2024)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent
Dyadic obligations: proofs and countermodels via hypersequents. CoRR (2024)
Agata Ciabattoni, Xavier Parent, Giovanni Sartor
Permission in a Kelsenian Perspective. JURIX (2023)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Cut-Restriction: From Cuts to Analytic Cuts. LICS (2023)
Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre
Deontic Equilibrium Logic with eXplicit Negation. JELIA (2023)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Analytic Proof Theory for Åqvist's System F. DEON (2023)
Agata Ciabattoni, Dmitry Rozplokhas
Streamlining Input/Output Logics with Sequent Calculi. KR (2023)
Agata Ciabattoni, Dmitry Rozplokhas
Streamlining Input/Output Logics with Sequent Calculi. CoRR (2023)
Christian Hatschka, Agata Ciabattoni, Thomas Eiter
Deontic Paradoxes in ASP with Weak Constraints. CoRR (2023)
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. J. Log. Lang. Inf. 32 (1) (2023)
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR (2023)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Cut-restriction: from cuts to analytic cuts. CoRR (2023)
Agata Ciabattoni, Josephine Dik, Elisa Freschi
Disambiguating Permissions: A Contribution from Mimamsa. DEON (2023)
Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks
Normative Reasoning for AI (Dagstuhl Seminar 23151). Dagstuhl Reports 13 (4) (2023)
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. 24 (4) (2022)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
A theory of cut-restriction: first steps. CoRR (2022)
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni
On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA (2022)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent
Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA (2022)
Lutz Straßburger, Matteo Tesi, Agata Ciabattoni
Taming Bounded Depth with Nested Sequents. AiML (2022)
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
A Normative Supervisor for Reinforcement Learning Agents. CADE (2021)
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
The Gentle Murder Paradox in Sanskrit Philosophy. DEON (2021)
Björn Lellmann, Francesca Gulisano, Agata Ciabattoni
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach. Artif. Intell. Law 29 (3) (2021)
Agata Ciabattoni, Björn Lellmann
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms. DEON (2021)
Agata Ciabattoni, Xavier Parent, Giovanni Sartor
A Kelsenian Deontic Logic. JURIX (2021)
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labeled Proofs and Back Again for Tense Logics. ACM Trans. Comput. Log. 22 (3) (2021)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics. J. Symb. Log. 86 (2) (2021)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
On the concurrent computational content of intermediate logics. Theor. Comput. Sci. 813 (2020)
Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco
A typed parallel lambda-calculus via 1-depth intermediate proofs. LPAR (2020)
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
Dermtrainer: A Decision Support System for Dermatological Diseases. CoRR (2019)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
A typed parallel $λ$-calculus for graph-based communication. CoRR (2019)
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. LORI (2019)
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Bounded Sequent Calculi for Non-classical Logics via Hypersequents. TABLEAUX (2019)
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labelled Proofs and Back Again for Tense Logics. CoRR (2019)
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake
report on the second SYSMICS workshop. ACM SIGLOG News 5 (2) (2018)
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake
From Display to Labelled Proofs for Tense Logics. LFCS (2018)
Agata Ciabattoni
Intermediate Logics: From Hypersequents to Concurrent Computation. Advances in Modal Logic (2018)
Agata Ciabattoni, Francesca Gulisano, Björn Lellmann
Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. DEON (2018)
Agata Ciabattoni, Francesco A. Genco
Hypersequents and Systems of Rules: Embeddings and Applications. ACM Trans. Comput. Log. 19 (2) (2018)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. CoRR (2018)
Agata Ciabattoni, Björn Lellmann, Kees van Berkel
: workshop report. ACM SIGLOG News 5 (4) (2018)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Classical Proofs as Parallel Programs. GandALF (2018)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
Preface. J. Log. Comput. 27 (2) (2017)
Agata Ciabattoni, Revantha Ramanayake
Bunched Hypersequent Calculi for Distributive Substructural Logics. LPAR (2017)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Gödel logic: From natural deduction to parallel computation. LICS (2017)
Paolo Baldi, Agata Ciabattoni, Francesca Gulisano
Standard completeness for extensions of IMTL. FUZZ-IEEE (2017)
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Mīmā\d{m}sā deontic logic: proof theory and applications. CoRR (2017)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Algebraic proof theory: Hypersequents and hypercompletions. Ann. Pure Appl. Log. 168 (3) (2017)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. CoRR (2016)
Matthias Baaz, Agata Ciabattoni
Proof theory of witnessed Gödel logic: A negative result. J. Log. Comput. 26 (1) (2016)
Mattia Bongini, Agata Ciabattoni, Franco Montagna
Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets Syst. 292 (2016)
Agata Ciabattoni, Francesco A. Genco
Embedding formalisms: hypersequents and two-level systems of rule. Advances in Modal Logic (2016)
Agata Ciabattoni, Revantha Ramanayake
Power and Limits of Structural Display Rules. ACM Trans. Comput. Log. 17 (3) (2016)
Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA (2016)
Agata Ciabattoni
Analytic Calculi for Non-Classical Logics: Theory and Applications. CSL (2016)
Paolo Baldi, Agata Ciabattoni
Standard Completeness for Uninorm-Based Logics. ISMVL (2015)
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Mīmāṃsā Deontic Logic: Proof Theory and Applications. TABLEAUX (2015)
Paolo Baldi, Agata Ciabattoni
Uniform proofs of standard completeness for extensions of first-order MTL. Theor. Comput. Sci. 603 (2015)
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. 16 (1) (2014)
Agata Ciabattoni, Lara Spendier
Tools for the Investigation of Substructural and Paraconsistent Logics. JELIA (2014)
Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing
Hypersequent and Display Calculi - a Unified Perspective. Stud Logica 102 (6) (2014)
Agata Ciabattoni, Paolo Maffezioli, Lara Spendier
Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX (2013)
Agata Ciabattoni, David Picado-Muiño, Thomas Vetterlein, Moataz El-Zekey
Formal approaches to rule-based systems in medicine: The case of CADIAG-2. Int. J. Approx. Reason. 54 (1) (2013)
Agata Ciabattoni, Rusins Freivalds, Antonín Kucera, Igor Potapov, Stefan Szeider
Preface. Fundam. Informaticae 123 (1) (2013)
Agata Ciabattoni, Franco Montagna
Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. 480 (2013)
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS (2013)
Agata Ciabattoni, Revantha Ramanayake
Structural Extensions of Display Calculi: A General Recipe. WoLLIC (2013)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability Log. Methods Comput. Sci. 8 (1) (2012)
Paolo Baldi, Agata Ciabattoni, Lara Spendier
Standard Completeness for Extensions of MTL: An Automated Approach. WoLLIC (2012)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Algebraic proof theory for substructural logics: Cut-elimination and completions. Ann. Pure Appl. Log. 163 (3) (2012)
Agata Ciabattoni, Ori Lahav, Anna Zamansky
Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX (2011)
Matthias Baaz, Agata Ciabattoni, Norbert Preining
First-order satisfiability in Gödel logics: An NP-complete fragment. Theor. Comput. Sci. 412 (47) (2011)
Agata Ciabattoni, Pavel Rusnok
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. KR (2010)
Thomas Vetterlein, Agata Ciabattoni
On the (fuzzy) logical content of CADIAG-2. Fuzzy Sets Syst. 161 (14) (2010)
Agata Ciabattoni, George Metcalfe, Franco Montagna
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161 (3) (2010)
Agata Ciabattoni, Thomas Vetterlein, Klaus-Peter Adlassnig
A Formal Logical Framework for Cadiag-2. MIE (2009)
Arnon Avron, Agata Ciabattoni, Anna Zamansky
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR (2009)
Matthias Baaz, Agata Ciabattoni, Norbert Preining
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. WoLLIC (2009)
Agata Ciabattoni, Lutz Straßburger, Kazushige Terui
Expanding the Realm of Systematic Proof Theory. CSL (2009)
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
From Axioms to Analytic Rules in Nonclassical Logics. LICS (2008)
Agata Ciabattoni, Alexander Leitsch
Towards an algorithmic construction of cut-elimination procedures. Math. Struct. Comput. Sci. 18 (1) (2008)
Agata Ciabattoni, George Metcalfe
Density elimination. Theor. Comput. Sci. 403 (2-3) (2008)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR (2008)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR (2007)
Agata Ciabattoni, George Metcalfe
Density Elimination and Rational Completeness for First-Order Logics. LFCS (2007)
Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar
Service QoS Composition at the Level of Part Names. WS-FM (2006)
Agata Ciabattoni, Kazushige Terui
Towards a Semantic Characterization of Cut-Elimination. Stud Logica 82 (1) (2006)
Agata Ciabattoni, Kazushige Terui
Modular Cut-Elimination: Finding Proofs or Counterexamples. LPAR (2006)
Agata Ciabattoni
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Arch. Math. Log. 44 (4) (2005)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
Editorial. Log. J. IGPL 13 (4) (2005)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
Editorial. Log. J. IGPL 13 (5) (2005)
Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR (2004)
Agata Ciabattoni
Automated Generation of Analytic Calculi for Logics with Linearity. CSL (2004)
Matthias Baaz, Agata Ciabattoni, Franco Montagna
Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae 59 (4) (2004)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. 13 (6) (2003)
Christian G. Fermüller, Agata Ciabattoni
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. ISMVL (2003)
Agata Ciabattoni, George Metcalfe
Bounded Lukasiewicz Logics. TABLEAUX (2003)
Matthias Baaz, Agata Ciabattoni
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. TABLEAUX (2002)
Agata Ciabattoni, Christian G. Fermüller
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ISMVL (2001)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL (2001)
Agata Ciabattoni
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. J. Log. Comput. 11 (2) (2001)

Agata Ciabattoni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Agata Ciabattoni