Agata Ciabattoni

133 papers A* 8A 2B 33C 8Misc 4Journal 53Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Bayesian View of the Result Model. DIGHUM Yoann Morello, Agata Ciabattoni
2025	B	`conf`	Analytic Proofs for Tense Logic. TABLEAUX Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2025	A*	`conf`	Combining MORL with Restraining Bolts to Learn Normative Behaviour. IJCAI Emery A. Neufeld, Agata Ciabattoni, Radu Florin Tulcan
2025	—	`conf`	Deontic Explanations in Åqvist's Systems. DEON Agata Ciabattoni, Blaz Istenic Urh, Xavier Parent
2025	—	`ed.`	Deontic Logic and Normative Systems - 17th International Conference, DEON 2025, Vienna, Austria, July 1-3, 2025 DEON Kees van Berkel, Agata Ciabattoni, John F. Horty
2025	B	`conf`	From Explicit Allowances to Defeasible Deontic Operators: A Modal View. PRIMA Agata Ciabattoni, Josephine Dik, Emiliano Lorini, Dominik Pichler, Dmitry Rozplokhas
2025	—	`conf`	From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. ASAIL@ICAIL Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni
2025	J	`jnl`	From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. CoRR Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni
2025	—	`conf`	GL-Based Calculi for PCL and Its Deontic Cousin. JELIA (1) Agata Ciabattoni, Dmitry Rozplokhas, Matteo Tesi
2025	J	`jnl`	Mīmāṃsā on 'better-not' Permissions. J. Philos. Log. Agata Ciabattoni, Josephine Dik, Elisa Freschi
2025	B	`conf`	Support + Belief = Decision Trust. SIROCCO Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri
2025	A	`conf`	Tackling Temporal Deontic Challenges with Equilibrium Logic. AAMAS Davide Soldà, Pedro Cabalar, Agata Ciabattoni, Emery A. Neufeld
2025	C	`conf`	The Result Model Under Inconsistent Knowledge: Theory and Experiments. JURIX Yoann Morello, Agata Ciabattoni, Morgan Gray
2024	B	`ed.`	Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. AiML Agata Ciabattoni, David Gabelaia, Igor Sedlár
2024	J	`jnl`	Dyadic obligations: proofs and countermodels via hypersequents. CoRR Agata Ciabattoni, Nicola Olivetti, Xavier Parent
2024	C	`conf`	Norm Compliance in Reinforcement Learning Agents via Restraining Bolts. JURIX Emery A. Neufeld, Agata Ciabattoni, Radu Florin Tulcan
2024	J	`jnl`	Preface - MSCS. Math. Struct. Comput. Sci. Agata Ciabattoni, Elaine Pimentel, Ruy José Guerra Barretto de Queiroz
2024	—	`conf`	Sequents vs Hypersequents for Åqvist Systems. IJCAR (2) Agata Ciabattoni, Matteo Tesi
2024	A*	`conf`	Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). IJCAI Agata Ciabattoni, Dmitry Rozplokhas
2024	A*	`conf`	Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. KR Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas
2024	J	`jnl`	Support + Belief = Decision Trust. CoRR Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri
2023	—	`conf`	Analytic Proof Theory for Åqvist's System F. DEON Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
2023	A*	`conf`	Cut-Restriction: From Cuts to Analytic Cuts. LICS Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2023	J	`jnl`	Cut-restriction: from cuts to analytic cuts. CoRR Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2023	B	`conf`	Deontic Equilibrium Logic with eXplicit Negation. JELIA Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre
2023	B	`conf`	Deontic Paradoxes in ASP with Weak Constraints. ICLP Christian Hatschka, Agata Ciabattoni, Thomas Eiter
2023	J	`jnl`	Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. J. Log. Lang. Inf. Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
2023	—	`conf`	Disambiguating Permissions: A Contribution from Mimamsa. DEON Agata Ciabattoni, Josephine Dik, Elisa Freschi
2023	J	`jnl`	Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
2023	J	`jnl`	Normative Reasoning for AI (Dagstuhl Seminar 23151). Dagstuhl Reports Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks
2023	C	`conf`	Permission in a Kelsenian Perspective. JURIX Agata Ciabattoni, Xavier Parent, Giovanni Sartor
2023	A*	`conf`	Streamlining Input/Output Logics with Sequent Calculi. KR Agata Ciabattoni, Dmitry Rozplokhas
2023	J	`jnl`	Streamlining Input/Output Logics with Sequent Calculi. CoRR Agata Ciabattoni, Dmitry Rozplokhas
2022	J	`jnl`	A theory of cut-restriction: first steps. CoRR Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2022	B	`conf`	Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA Agata Ciabattoni, Nicola Olivetti, Xavier Parent
2022	J	`jnl`	Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
2022	C	`ed.`	Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings WoLLIC Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
2022	B	`conf`	On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni
2022	B	`conf`	Taming Bounded Depth with Nested Sequents. AiML Lutz Straßburger, Matteo Tesi, Agata Ciabattoni
2021	C	`conf`	A Kelsenian Deontic Logic. JURIX Agata Ciabattoni, Xavier Parent, Giovanni Sartor
2021	A	`conf`	A Normative Supervisor for Reinforcement Learning Agents. CADE Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
2021	J	`jnl`	Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics. J. Symb. Log. Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2021	J	`jnl`	Display to Labeled Proofs and Back Again for Tense Logics. ACM Trans. Comput. Log. Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
2021	J	`jnl`	Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach. Artif. Intell. Law Björn Lellmann, Francesca Gulisano, Agata Ciabattoni
2021	—	`conf`	Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms. DEON Agata Ciabattoni, Björn Lellmann
2021	—	`conf`	The Gentle Murder Paradox in Sanskrit Philosophy. DEON Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
2020	B	`conf`	A typed parallel lambda-calculus via 1-depth intermediate proofs. LPAR Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco
2020	J	`jnl`	On the concurrent computational content of intermediate logics. Theor. Comput. Sci. Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2019	J	`jnl`	A typed parallel $λ$-calculus for graph-based communication. CoRR Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2019	B	`conf`	Bounded Sequent Calculi for Non-classical Logics via Hypersequents. TABLEAUX Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2019	J	`jnl`	Dermtrainer: A Decision Support System for Dermatological Diseases. CoRR 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
2019	J	`jnl`	Display to Labelled Proofs and Back Again for Tense Logics. CoRR Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
2019	—	`conf`	Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. LORI Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil
2018	—	`conf`	Classical Proofs as Parallel Programs. GandALF Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2018	J	`jnl`	Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. CoRR Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2018	Misc	`conf`	From Display to Labelled Proofs for Tense Logics. LFCS Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake
2018	J	`jnl`	Hypersequents and Systems of Rules: Embeddings and Applications. ACM Trans. Comput. Log. Agata Ciabattoni, Francesco A. Genco
2018	B	`conf`	Intermediate Logics: From Hypersequents to Concurrent Computation. Advances in Modal Logic Agata Ciabattoni
2018	—	`conf`	Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. DEON Agata Ciabattoni, Francesca Gulisano, Björn Lellmann
2018	J	`jnl`	Substructural logics: ACM SIGLOG News Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake
2017	J	`jnl`	Algebraic proof theory: Hypersequents and hypercompletions. Ann. Pure Appl. Log. Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
2017	B	`conf`	Bunched Hypersequent Calculi for Distributive Substructural Logics. LPAR Agata Ciabattoni, Revantha Ramanayake
2017	A*	`conf`	Gödel logic: From natural deduction to parallel computation. LICS Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2017	J	`jnl`	Mīmā\d{m}sā deontic logic: proof theory and applications. CoRR Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
2017	J	`jnl`	Preface. J. Log. Comput. Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
2017	B	`conf`	Standard completeness for extensions of IMTL. FUZZ-IEEE Paolo Baldi, Agata Ciabattoni, Francesca Gulisano
2016	B	`conf`	Analytic Calculi for Non-Classical Logics: Theory and Applications. CSL Agata Ciabattoni
2016	J	`jnl`	Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. CoRR Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2016	B	`conf`	Embedding formalisms: hypersequents and two-level systems of rule. Advances in Modal Logic Agata Ciabattoni, Francesco A. Genco
2016	—	`conf`	From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel
2016	J	`jnl`	Power and Limits of Structural Display Rules. ACM Trans. Comput. Log. Agata Ciabattoni, Revantha Ramanayake
2016	J	`jnl`	Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets Syst. Mattia Bongini, Agata Ciabattoni, Franco Montagna
2016	J	`jnl`	Proof theory of witnessed Gödel logic: A negative result. J. Log. Comput. Matthias Baaz, Agata Ciabattoni
2015	B	`conf`	Mīmāṃsā Deontic Logic: Proof Theory and Applications. TABLEAUX Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
2015	—	`conf`	Standard Completeness for Uninorm-Based Logics. ISMVL Paolo Baldi, Agata Ciabattoni
2015	J	`jnl`	Uniform proofs of standard completeness for extensions of first-order MTL. Theor. Comput. Sci. Paolo Baldi, Agata Ciabattoni
2014	J	`jnl`	Hypersequent and Display Calculi - a Unified Perspective. Stud Logica Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing
2014	J	`jnl`	Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
2014	B	`conf`	Tools for the Investigation of Substructural and Paraconsistent Logics. JELIA Agata Ciabattoni, Lara Spendier
2013	Misc	`conf`	Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
2013	J	`jnl`	Formal approaches to rule-based systems in medicine: The case of CADIAG-2. Int. J. Approx. Reason. Agata Ciabattoni, David Picado-Muiño, Thomas Vetterlein, Moataz El-Zekey
2013	B	`conf`	Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX Agata Ciabattoni, Paolo Maffezioli, Lara Spendier
2013	J	`jnl`	Preface. Fundam. Informaticae Agata Ciabattoni, Rusins Freivalds, Antonín Kucera, Igor Potapov, Stefan Szeider
2013	J	`jnl`	Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. Agata Ciabattoni, Franco Montagna
2013	C	`conf`	Structural Extensions of Display Calculi: A General Recipe. WoLLIC Agata Ciabattoni, Revantha Ramanayake
2012	J	`jnl`	Algebraic proof theory for substructural logics: Cut-elimination and completions. Ann. Pure Appl. Log. Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
2012	C	`conf`	Standard Completeness for Extensions of MTL: An Automated Approach. WoLLIC Paolo Baldi, Agata Ciabattoni, Lara Spendier
2012	J	`jnl`	Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability Log. Methods Comput. Sci. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2011	B	`conf`	Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX Agata Ciabattoni, Ori Lahav, Anna Zamansky
2011	J	`jnl`	First-order satisfiability in Gödel logics: An NP-complete fragment. Theor. Comput. Sci. Matthias Baaz, Agata Ciabattoni, Norbert Preining
2010	J	`jnl`	Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. Agata Ciabattoni, George Metcalfe, Franco Montagna
2010	J	`jnl`	On the (fuzzy) logical content of CADIAG-2. Fuzzy Sets Syst. Thomas Vetterlein, Agata Ciabattoni
2010	A*	`conf`	On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. KR Agata Ciabattoni, Pavel Rusnok
2009	—	`conf`	A Formal Logical Framework for Cadiag-2. MIE Agata Ciabattoni, Thomas Vetterlein, Klaus-Peter Adlassnig
2009	Misc	`conf`	Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR Arnon Avron, Agata Ciabattoni, Anna Zamansky
2009	B	`conf`	Expanding the Realm of Systematic Proof Theory. CSL Agata Ciabattoni, Lutz Straßburger, Kazushige Terui
2009	C	`conf`	SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. WoLLIC Matthias Baaz, Agata Ciabattoni, Norbert Preining
2008	B	`conf`	Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2008	J	`jnl`	Density elimination. Theor. Comput. Sci. Agata Ciabattoni, George Metcalfe
2008	A*	`conf`	From Axioms to Analytic Rules in Nonclassical Logics. LICS Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
2008	J	`jnl`	Towards an algorithmic construction of cut-elimination procedures. Math. Struct. Comput. Sci. Agata Ciabattoni, Alexander Leitsch
2007	—	`ed.`	Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday Algebraic and Proof-theoretic Aspects of Non-classical Logics Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra
2007	Misc	`conf`	Density Elimination and Rational Completeness for First-Order Logics. LFCS Agata Ciabattoni, George Metcalfe
2007	B	`conf`	Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2006	B	`conf`	Modular Cut-Elimination: Finding Proofs or Counterexamples. LPAR Agata Ciabattoni, Kazushige Terui
2006	—	`conf`	Service QoS Composition at the Level of Part Names. WS-FM Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar
2006	J	`jnl`	Towards a Semantic Characterization of Cut-Elimination. Stud Logica Agata Ciabattoni, Kazushige Terui
2005	J	`jnl`	A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Arch. Math. Log. Agata Ciabattoni
2005	J	`jnl`	Editorial. Log. J. IGPL Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
2005	J	`jnl`	Editorial. Log. J. IGPL Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
2004	J	`jnl`	Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae Matthias Baaz, Agata Ciabattoni, Franco Montagna
2004	B	`conf`	Automated Generation of Analytic Calculi for Logics with Linearity. CSL Agata Ciabattoni
2004	B	`conf`	Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
2003	B	`conf`	Bounded Lukasiewicz Logics. TABLEAUX Agata Ciabattoni, George Metcalfe
2003	—	`conf`	From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. ISMVL Christian G. Fermüller, Agata Ciabattoni
2003	J	`jnl`	Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2002	B	`conf`	A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. TABLEAUX Matthias Baaz, Agata Ciabattoni
2001	—	`conf`	Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2001	B	`conf`	Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. LPAR Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2001	J	`jnl`	Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. J. Log. Comput. Agata Ciabattoni
2001	—	`conf`	Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ISMVL Agata Ciabattoni, Christian G. Fermüller
2000	J	`jnl`	Finiteness in Infinite-Valued Lukasiewicz Logic. J. Log. Lang. Inf. Stefano Aguzzoli, Agata Ciabattoni
2000	B	`conf`	Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. TABLEAUX Agata Ciabattoni, Mauro Ferrari
2000	—	`conf`	On Urquhart's C Logic. ISMVL Agata Ciabattoni
2000	B	`conf`	Quantified Propositional Gödel Logics. LPAR Matthias Baaz, Agata Ciabattoni, Richard Zach
2000	J	`jnl`	Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. J. Log. Comput. Stefano Aguzzoli, Agata Ciabattoni, Antonio Di Nola
1999	B	`conf`	Bounded Contraction in Systems with Linearity. TABLEAUX Agata Ciabattoni
1999	—	`conf`	On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
1998	J	`jnl`	Cut-free proof systems for logics of weak excluded middle. Soft Comput. Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti
1998	B	`conf`	Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
1997	J	`jnl`	A Sufficient Condition for Completability of Partial Combinatory Algebras. J. Symb. Log. Andrea Asperti, Agata Ciabattoni
1997	—	`conf`	Two Connections Between Linear Logic and Lukasiewicz Logics. Kurt Gödel Colloquium Agata Ciabattoni, Duccio Luchi
1995	—	`conf`	Effective Applicative Structures. Category Theory and Computer Science Andrea Asperti, Agata Ciabattoni