Get started
Author

Agata Ciabattoni

Observed names: A. Ciabattoni, AGATA CIABATTONI, Agata Ciabattoni A, Agata Ciabattoni B, Ciabattone, Agata, Ciabattoni Agata, Ciabattoni, A., Ciabattoni, Agata
Institution: TU Wien
ORCID: 0000-0001-6947-8772
Observed ORCID: 0000-0001-6947-8772
OpenAlex ID: A5086733054
From Axioms to Analytic Rules in Nonclassical Logics
2008 · Agata Ciabattoni, Nikolaos Galatos, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 128
Algebraic proof theory for substructural logics: Cut-elimination and completions
2011 · Agata Ciabattoni, Nikolaos Galatos, et al. · Annals of Pure and Applied Logic · 76
PDF
Finiteness in Infinite-Valued Łukasiewicz Logic
2000 · Stefano Aguzzoli, Agata Ciabattoni · Journal of Logic Language and Information · 55
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
2009 · Agata Ciabattoni, George Metcalfe, et al. · Fuzzy Sets and Systems · 51
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007 · Aguzzoli, Stefano, Marra, Vincenzo, et al. · Lecture notes in computer science · 45
Towards a Semantic Characterization of Cut-Elimination
2006 · Agata Ciabattoni, Kazushige Terui · Studia Logica · 45
On the (fuzzy) logical content of CADIAG-2
2009 · Thomas Vetterlein, Agata Ciabattoni · Fuzzy Sets and Systems · 44
Uniform Rules and Dialogue Games for Fuzzy Logics
2005 · Agata Ciabattoni, Christian G. Fermüller, et al. · Lecture notes in computer science · 43
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
2001 · Matthias Baaz, Agata Ciabattoni, et al. · Lecture notes in computer science · 32
Analytic Calculi for Monoidal T-norm Based Logic
2004 · Matthias Baaz, Agata Ciabattoni, et al. · Fundamenta Informaticae · 30
Expanding the Realm of Systematic Proof Theory
2009 · Agata Ciabattoni, Lutz Straßburger, et al. · Lecture notes in computer science · 28
PDF
Enforcing ethical goals over reinforcement-learning policies
2022 · Emery A. Neufeld, Ezio Bartocci, et al. · Ethics and Information Technology · 26
PDF
Hypersequent and Display Calculi – a Unified Perspective
2014 · Agata Ciabattoni, Revantha Ramanayake, et al. · Studia Logica · 26
Hypersequent and Labelled Calculi for Intermediate Logics
2013 · Agata Ciabattoni, Paolo Maffezioli, et al. · Lecture notes in computer science · 25
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
2001 · A. Ciabattoni · Journal of Logic and Computation · 25
Power and Limits of Structural Display Rules
2016 · Agata Ciabattoni, Revantha Ramanayake · ACM Transactions on Computational Logic · 24
Density elimination
2008 · Agata Ciabattoni, George Metcalfe · Theoretical Computer Science · 22
Algebraic proof theory: Hypersequents and hypercompletions
2016 · Agata Ciabattoni, Nikolaos Galatos, et al. · Annals of Pure and Applied Logic · 21
PDF
MacNeille completions of FL-algebras
2011 · Agata Ciabattoni, Nikolaos Galatos, et al. · Algebra Universalis · 21
Cut-elimination in a sequents-of-relations calculus for Godel logic
2002 · M. Baaz, A. Ciabattoni, et al. · IEEE International Symposium on Multiple-Valued Logic (ISMVL) · 21
Cut-free proof systems for logics of weak excluded middle
1999 · A. Ciabattoni, D. M. Gabbay, et al. · Soft Computing · 17
Formal approaches to rule-based systems in medicine: The case of CADIAG-2
2012 · Agata Ciabattoni, David Picado Muiño, et al. · International Journal of Approximate Reasoning · 16
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
2004 · Agata Ciabattoni · Archive for Mathematical Logic · 15
Automated Generation of Analytic Calculi for Logics with Linearity
2004 · Agata Ciabattoni · Lecture notes in computer science · 15
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
2002 · Matthias Baaz, Agata Ciabattoni · Lecture notes in computer science · 15
Works count: 151
Citation count: 1,361
H-index: 20
I10-index: 42
Year
Topic
Type