


default search action
Agata Ciabattoni
Person information
- affiliation: TU Wien, Vienna, Autria
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j39]Agata Ciabattoni
, Elaine Pimentel
, Ruy José Guerra Barretto de Queiroz
:
Preface - MSCS. Math. Struct. Comput. Sci. 34(7): 551 (2024) - [c66]Agata Ciabattoni, Dmitry Rozplokhas:
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). IJCAI 2024: 8389-8393 - [c65]Agata Ciabattoni, Matteo Tesi:
Sequents vs Hypersequents for Åqvist Systems. IJCAR (2) 2024: 176-195 - [c64]Emery A. Neufeld, Agata Ciabattoni, Radu Florin Tulcan:
Norm Compliance in Reinforcement Learning Agents via Restraining Bolts. JURIX 2024: 119-130 - [c63]Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas:
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. KR 2024 - [e3]Agata Ciabattoni, David Gabelaia, Igor Sedlár:
Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. College Publications 2024, ISBN 978-1-84890-467-5 [contents] - [i13]Agata Ciabattoni, Nicola Olivetti, Xavier Parent:
Dyadic obligations: proofs and countermodels via hypersequents. CoRR abs/2406.09088 (2024) - [i12]Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri:
Support + Belief = Decision Trust. CoRR abs/2409.00666 (2024) - 2023
- [j38]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): 19-62 (2023) - [c62]Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas:
Analytic Proof Theory for Åqvist's System F. DEON 2023: 79-98 - [c61]Agata Ciabattoni, Josephine Dik, Elisa Freschi:
Disambiguating Permissions: A Contribution from Mimamsa. DEON 2023: 99-118 - [c60]Pedro Cabalar
, Agata Ciabattoni
, Leendert van der Torre
:
Deontic Equilibrium Logic with eXplicit Negation. JELIA 2023: 498-514 - [c59]Agata Ciabattoni, Xavier Parent
, Giovanni Sartor
:
Permission in a Kelsenian Perspective. JURIX 2023: 113-118 - [c58]Agata Ciabattoni
, Dmitry Rozplokhas:
Streamlining Input/Output Logics with Sequent Calculi. KR 2023: 146-155 - [c57]Agata Ciabattoni
, Timo Lang, Revantha Ramanayake
:
Cut-Restriction: From Cuts to Analytic Cuts. LICS 2023: 1-13 - [c56]Christian Hatschka, Agata Ciabattoni, Thomas Eiter:
Deontic Paradoxes in ASP with Weak Constraints. ICLP 2023: 367-380 - [i11]Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
Cut-restriction: from cuts to analytic cuts. CoRR abs/2304.13657 (2023) - [i10]Agata Ciabattoni, Dmitry Rozplokhas:
Streamlining Input/Output Logics with Sequent Calculi. CoRR abs/2306.09496 (2023) - [i9]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 abs/2312.03426 (2023) - [i8]Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks:
Normative Reasoning for AI (Dagstuhl Seminar 23151). Dagstuhl Reports 13(4): 1-23 (2023) - 2022
- [j37]Emery A. Neufeld
, Ezio Bartocci
, Agata Ciabattoni, Guido Governatori
:
Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. 24(4): 43 (2022) - [c55]Lutz Straßburger, Matteo Tesi, Agata Ciabattoni:
Taming Bounded Depth with Nested Sequents. AiML 2022: 199-216 - [c54]Agata Ciabattoni
, Nicola Olivetti
, Xavier Parent
:
Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA 2022: 54-71 - [c53]Emery A. Neufeld
, Ezio Bartocci
, Agata Ciabattoni
:
On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA 2022: 72-89 - [e2]Agata Ciabattoni
, Elaine Pimentel
, Ruy J. G. B. de Queiroz
:
Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings. Lecture Notes in Computer Science 13468, Springer 2022, ISBN 978-3-031-15297-9 [contents] - [i7]Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
A theory of cut-restriction: first steps. CoRR abs/2203.01600 (2022) - 2021
- [j36]Björn Lellmann
, Francesca Gulisano, Agata Ciabattoni
:
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach. Artif. Intell. Law 29(3): 351-394 (2021) - [j35]Agata Ciabattoni
, Timo Lang, Revantha Ramanayake
:
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics. J. Symb. Log. 86(2): 635-668 (2021) - [j34]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): 20:1-20:31 (2021) - [c52]Emery A. Neufeld
, Ezio Bartocci
, Agata Ciabattoni
, Guido Governatori
:
A Normative Supervisor for Reinforcement Learning Agents. CADE 2021: 565-576 - [c51]Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski:
The Gentle Murder Paradox in Sanskrit Philosophy. DEON 2021: 17-35 - [c50]Agata Ciabattoni, Björn Lellmann:
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms. DEON 2021: 94-113 - [c49]Agata Ciabattoni
, Xavier Parent
, Giovanni Sartor
:
A Kelsenian Deontic Logic. JURIX 2021: 141-150 - 2020
- [j33]Federico Aschieri, Agata Ciabattoni
, Francesco A. Genco:
On the concurrent computational content of intermediate logics. Theor. Comput. Sci. 813: 375-409 (2020) - [c48]Federico Aschieri, Agata Ciabattoni
, Francesco Antonio Genco:
A typed parallel lambda-calculus via 1-depth intermediate proofs. LPAR 2020: 68-89
2010 – 2019
- 2019
- [c47]Kees van Berkel
, Agata Ciabattoni
, Elisa Freschi, Sanjay Modgil:
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. LORI 2019: 355-369 - [c46]Agata Ciabattoni
, Timo Lang, Revantha Ramanayake
:
Bounded Sequent Calculi for Non-classical Logics via Hypersequents. TABLEAUX 2019: 94-110 - [i6]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
A typed parallel $λ$-calculus for graph-based communication. CoRR abs/1902.03882 (2019) - [i5]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 abs/1907.00635 (2019) - [i4]Agata Ciabattoni, Tim Lyon
, Revantha Ramanayake, Alwen Tiu:
Display to Labelled Proofs and Back Again for Tense Logics. CoRR abs/1911.02289 (2019) - 2018
- [j32]Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake:
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop. ACM SIGLOG News 5(2): 58-60 (2018) - [j31]Agata Ciabattoni
, Björn Lellmann, Kees van Berkel:
Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. ACM SIGLOG News 5(4): 48-51 (2018) - [j30]Agata Ciabattoni
, Francesco A. Genco:
Hypersequents and Systems of Rules: Embeddings and Applications. ACM Trans. Comput. Log. 19(2): 11:1-11:27 (2018) - [c45]Agata Ciabattoni:
Intermediate Logics: From Hypersequents to Concurrent Computation. Advances in Modal Logic 2018: 3 - [c44]Agata Ciabattoni, Francesca Gulisano, Björn Lellmann:
Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. DEON 2018: 91-109 - [c43]Agata Ciabattoni
, Tim Lyon
, Revantha Ramanayake
:
From Display to Labelled Proofs for Tense Logics. LFCS 2018: 120-139 - [c42]Federico Aschieri, Agata Ciabattoni
, Francesco A. Genco:
Classical Proofs as Parallel Programs. GandALF 2018: 43-57 - [i3]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. CoRR abs/1802.00961 (2018) - 2017
- [j29]Agata Ciabattoni
, Nikolaos Galatos
, Kazushige Terui:
Algebraic proof theory: Hypersequents and hypercompletions. Ann. Pure Appl. Log. 168(3): 693-737 (2017) - [j28]Matthias Baaz, Agata Ciabattoni
, Dov M. Gabbay, Stefan Hetzl, Daniel Weller:
Preface. J. Log. Comput. 27(2): 415 (2017) - [c41]Paolo Baldi
, Agata Ciabattoni
, Francesca Gulisano:
Standard completeness for extensions of IMTL. FUZZ-IEEE 2017: 1-6 - [c40]Federico Aschieri, Agata Ciabattoni
, Francesco A. Genco:
Gödel logic: From natural deduction to parallel computation. LICS 2017: 1-12 - [c39]Agata Ciabattoni, Revantha Ramanayake:
Bunched Hypersequent Calculi for Distributive Substructural Logics. LPAR 2017: 417-434 - [i2]Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann:
Mīmā\d{m}sā deontic logic: proof theory and applications. CoRR abs/1705.03211 (2017) - 2016
- [j27]Mattia Bongini, Agata Ciabattoni
, Franco Montagna:
Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets Syst. 292: 130-149 (2016) - [j26]Matthias Baaz, Agata Ciabattoni
:
Proof theory of witnessed Gödel logic: A negative result. J. Log. Comput. 26(1): 51-64 (2016) - [j25]Agata Ciabattoni
, Revantha Ramanayake
:
Power and Limits of Structural Display Rules. ACM Trans. Comput. Log. 17(3): 17 (2016) - [c38]Agata Ciabattoni, Francesco A. Genco:
Embedding formalisms: hypersequents and two-level systems of rule. Advances in Modal Logic 2016: 197-216 - [c37]Agata Ciabattoni
:
Analytic Calculi for Non-Classical Logics: Theory and Applications. CSL 2016: 4:1-4:1 - [c36]Agata Ciabattoni
, Björn Lellmann
, Carlos Olarte
, Elaine Pimentel
:
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA 2016: 75-93 - [i1]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. CoRR abs/1607.05120 (2016) - 2015
- [j24]Paolo Baldi
, Agata Ciabattoni
:
Uniform proofs of standard completeness for extensions of first-order MTL. Theor. Comput. Sci. 603: 43-57 (2015) - [c35]Paolo Baldi
, Agata Ciabattoni
:
Standard Completeness for Uninorm-Based Logics. ISMVL 2015: 78-83 - [c34]Agata Ciabattoni
, Elisa Freschi, Francesco A. Genco, Björn Lellmann
:
Mīmāṃsā Deontic Logic: Proof Theory and Applications. TABLEAUX 2015: 323-338 - 2014
- [j23]Agata Ciabattoni
, Revantha Ramanayake
, Heinrich Wansing
:
Hypersequent and Display Calculi - a Unified Perspective. Stud Logica 102(6): 1245-1294 (2014) - [j22]Agata Ciabattoni
, Ori Lahav
, Lara Spendier, Anna Zamansky:
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. 16(1): 5:1-5:23 (2014) - [c33]Agata Ciabattoni
, Lara Spendier:
Tools for the Investigation of Substructural and Paraconsistent Logics. JELIA 2014: 18-32 - 2013
- [j21]Agata Ciabattoni
, Rusins Freivalds, Antonín Kucera
, Igor Potapov, Stefan Szeider
:
Preface. Fundam. Informaticae 123(1) (2013) - [j20]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): 132-148 (2013) - [j19]Agata Ciabattoni
, Franco Montagna:
Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. 480: 26-42 (2013) - [c32]Agata Ciabattoni
, Ori Lahav
, Lara Spendier, Anna Zamansky:
Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS 2013: 119-133 - [c31]Agata Ciabattoni
, Paolo Maffezioli
, Lara Spendier:
Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX 2013: 81-96 - [c30]Agata Ciabattoni
, Revantha Ramanayake:
Structural Extensions of Display Calculi: A General Recipe. WoLLIC 2013: 81-95 - 2012
- [j18]Agata Ciabattoni
, Nikolaos Galatos
, Kazushige Terui:
Algebraic proof theory for substructural logics: Cut-elimination and completions. Ann. Pure Appl. Log. 163(3): 266-290 (2012) - [j17]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) - [c29]Paolo Baldi
, Agata Ciabattoni
, Lara Spendier:
Standard Completeness for Extensions of MTL: An Automated Approach. WoLLIC 2012: 154-167 - 2011
- [j16]Matthias Baaz
, Agata Ciabattoni
, Norbert Preining:
First-order satisfiability in Gödel logics: An NP-complete fragment. Theor. Comput. Sci. 412(47): 6612-6623 (2011) - [c28]Agata Ciabattoni
, Ori Lahav
, Anna Zamansky:
Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX 2011: 119-133 - 2010
- [j15]Agata Ciabattoni
, George Metcalfe
, Franco Montagna:
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161(3): 369-389 (2010) - [j14]Thomas Vetterlein
, Agata Ciabattoni
:
On the (fuzzy) logical content of CADIAG-2. Fuzzy Sets Syst. 161(14): 1941-1958 (2010) - [c27]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
2000 – 2009
- 2009
- [c26]Agata Ciabattoni
, Lutz Straßburger, Kazushige Terui:
Expanding the Realm of Systematic Proof Theory. CSL 2009: 163-178 - [c25]Arnon Avron, Agata Ciabattoni
, Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR 2009: 26-37 - [c24]Agata Ciabattoni
, Thomas Vetterlein
, Klaus-Peter Adlassnig:
A Formal Logical Framework for Cadiag-2. MIE 2009: 648-652 - [c23]Matthias Baaz
, Agata Ciabattoni
, Norbert Preining:
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. WoLLIC 2009: 113-123 - 2008
- [j13]Agata Ciabattoni
, Alexander Leitsch:
Towards an algorithmic construction of cut-elimination procedures. Math. Struct. Comput. Sci. 18(1): 81-105 (2008) - [j12]Agata Ciabattoni
, George Metcalfe
:
Density elimination. Theor. Comput. Sci. 403(2-3): 328-346 (2008) - [c22]Agata Ciabattoni
, Nikolaos Galatos
, Kazushige Terui:
From Axioms to Analytic Rules in Nonclassical Logics. LICS 2008: 229-240 - [c21]Matthias Baaz
, Agata Ciabattoni
, Christian G. Fermüller:
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR 2008: 451-466 - 2007
- [c20]Agata Ciabattoni
, George Metcalfe
:
Density Elimination and Rational Completeness for First-Order Logics. LFCS 2007: 132-146 - [c19]Matthias Baaz, Agata Ciabattoni
, Christian G. Fermüller:
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR 2007: 77-91 - [e1]Stefano Aguzzoli, Agata Ciabattoni
, Brunella Gerla, Corrado Manara, Vincenzo Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Lecture Notes in Computer Science 4460, Springer 2007, ISBN 978-3-540-75938-6 [contents] - 2006
- [j11]Agata Ciabattoni
, Kazushige Terui:
Towards a Semantic Characterization of Cut-Elimination. Stud Logica 82(1): 95-119 (2006) - [c18]Agata Ciabattoni
, Kazushige Terui:
Modular Cut-Elimination: Finding Proofs or Counterexamples. LPAR 2006: 135-149 - [c17]Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni
, Schahram Dustdar
:
Service QoS Composition at the Level of Part Names. WS-FM 2006: 24-37 - 2005
- [j10]Agata Ciabattoni
:
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Arch. Math. Log. 44(4): 435-457 (2005) - [j9]Matthias Baaz
, Agata Ciabattoni
, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(4): 363 (2005) - [j8]Matthias Baaz
, Agata Ciabattoni
, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(5): 491 (2005) - 2004
- [j7]Matthias Baaz, Agata Ciabattoni, Franco Montagna:
Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae 59(4): 315-332 (2004) - [c16]Agata Ciabattoni
:
Automated Generation of Analytic Calculi for Logics with Linearity. CSL 2004: 503-517 - [c15]Agata Ciabattoni
, Christian G. Fermüller, George Metcalfe
:
Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004: 496-510 - 2003
- [j6]Matthias Baaz
, Agata Ciabattoni
, Christian G. Fermüller:
Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. 13(6): 835-861 (2003) - [c14]Christian G. Fermüller, Agata Ciabattoni
:
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. ISMVL 2003: 188-196 - [c13]Agata Ciabattoni
, George Metcalfe
:
Bounded Lukasiewicz Logics. TABLEAUX 2003: 32-47 - 2002
- [c12]Matthias Baaz, Agata Ciabattoni
:
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. TABLEAUX 2002: 24-37 - 2001
- [j5]Agata Ciabattoni
:
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. J. Log. Comput. 11(2): 283-294 (2001) - [c11]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL 2001: 181-186 - [c10]Agata Ciabattoni
, Christian G. Fermüller:
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ISMVL 2001: 227-232 - [c9]Matthias Baaz, Agata Ciabattoni
, Christian G. Fermüller:
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. LPAR 2001: 201-215 - 2000
- [j4]Stefano Aguzzoli, Agata Ciabattoni
:
Finiteness in Infinite-Valued Lukasiewicz Logic. J. Log. Lang. Inf. 9(1): 5-29 (2000) - [j3]Stefano Aguzzoli, Agata Ciabattoni
, Antonio Di Nola:
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. J. Log. Comput. 10(2): 213-222 (2000) - [c8]Agata Ciabattoni
:
On Urquhart's C Logic. ISMVL 2000: 113-120 - [c7]Matthias Baaz, Agata Ciabattoni
, Richard Zach
:
Quantified Propositional Gödel Logics. LPAR 2000: 240-256 - [c6]Agata Ciabattoni
, Mauro Ferrari
:
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. TABLEAUX 2000: 160-174
1990 – 1999
- 1999
- [c5]Matthias Baaz, Agata Ciabattoni
, Christian G. Fermüller, Helmut Veith:
On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS 1999: 258-268 - [c4]Agata Ciabattoni
:
Bounded Contraction in Systems with Linearity. TABLEAUX 1999: 113-127 - 1998
- [j2]Agata Ciabattoni
, Dov M. Gabbay, Nicola Olivetti:
Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4): 147-156 (1998) - [c3]