Agata Ciabattoni

Univ.Prof.in Dr.in

Research Focus

Logic and Computation: 100%

Research Areas

mathematical logic, Formal Methods

About

1) Theory and applications of logics different from classical (yes/no) logic. 2) Deduction methods and tools for the investigation of these logics (non-classical logics). 3) Applications of non-classical logics in various fields; for instance development and verification of medical expert systems, or better understanding of philosophical texts.

Roles

Full Professor
Theory and Logic, E192-05
Faculty Council
Principal Member

Contact

Courses

2022W

Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
Introduction to Logical Methods in Computer Science / 184.766 / VO
Logic and Computability / 185.A45 / VU
Project in Computer Science 1 / 185.A36 / PR
Project in Computer Science 2 / 185.A37 / PR
Research Seminar for Master and PhD students / 185.A39 / SE
Research Seminar LogiCS / 184.767 / SE
Scientific Research and Writing / 193.052 / SE
Seminar for Master Students in Logic and Computation / 180.773 / SE
Theoretical Computer Science and Logics / 185.278 / VU

2023S

Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
Deontic Logic for Normative Reasoning / 192.130 / VU
Introduction to Logical Methods in Computer Science / 184.766 / VO
Non-monotonic Extension of Temporal Logic / 199.107 / VU
Project in Computer Science 1 / 185.A36 / PR
Project in Computer Science 2 / 185.A37 / PR
ProWriting -- Effective Research Project Proposal Writing for Public Funding / 195.109 / VU
Research Seminar for Master and PhD students / 185.A39 / SE
Research Seminar LogiCS / 184.767 / SE
Scientific Research and Writing / 193.052 / SE
Seminar in Logic / 185.316 / SE

Projects

Mosaic -- modal logics
2021 – 2025 / European Commission
Norm-based reasoning: from legal and moral traditions to AI systems
2019 – 2020 / Norms
Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
2017 – 2022 / Vienna Science and Technology Fund (WWTF)
TICAMORE: Translating and discovering calculi for modal and related logics
2017 – 2022 / Austrian Science Fund (FWF)
Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics
2016 – 2019 / European Commission
Proof-theoretic Analysis of Modal Logics
2015 – 2017 / European Commission
Generalizing Truth-Functionality
2013 – 2017 / European Commission
A novel decision support system for training and diagnosis in dermatology
2013 – 2015 / Austrian Research Promotion Agency (FFG)
Nonclassical Proofs: Theory, Applications and Tools
2011 – 2019 / Austrian Science Fund (FWF)
Fuzzy Logic: from Mathematics to medical Applications
2008 – 2012 / Vienna Science and Technology Fund (WWTF)
semantic characterization of cut-elimination
2006 – 2009 / Austrian Science Fund (FWF)
Automated Analysis of Mathematical Proofs
2005 – 2007 / Austrian Science Fund (FWF)
Decision Procedures and Model Building for Fuzzy Logics
2003 – 2005 / FWF, Der Wissenschaftsfonds

Publications

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2021

A Kelsenian deontic logic / A. Ciabattoni, X. Parent et al. / Talk: Jurix 2021, 34th International Conference on Legal Knowledge and Information Systems, Vilnius, Litauen; 2021-12-08 - 2021-12-10; in: "Proceedings of 34th International Conference on Legal Knowledge and Information Systems", 346 (2021), 141 - 150
The Gentle Murder Paradox in Sanskrit Philosophy / A. Ciabattoni, K. van Berkel, E. Freschi, F. Gulisano, M. Olszewski / Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Proceedings of DEON2020/21", (2021), ISBN: 978-1-84890-352-4; 17 - 35
A Normative Supervisor for Reinforcement Learning Agents / E. A. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori / Talk: 28th International Conference on Automated Deduction (CADE 28), Virtual Event; 2021-07-12 - 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)", 12699 (2021), 565 - 576
Normative reasoning in Mīmāṃsā: A deontic logic approach / A. Ciabattoni / Talk: ICLA 2021 9th Indian Conference on Logic and its Applications, online (invited); 2021-03-04
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach / B. Lellmann, F. Gulisano, A. Ciabattoni / Artificial Intelligence and Law, 29 (2021), 3; 351 - 394
Bounded-analytic sequent calculi and embeddings for hypersequent logics. / A. Ciabattoni, T Lang, R. Ramanayake / The Journal of Symbolic Logic, 86 (2021), 2; 635 - 668
Display to Labeled Proofs and Back Again for Tense Logics / A. Ciabattoni, T. Lyon, R. Ramanayake et al. / ACM Transactions on Computational Logic, 22 (2021), 3; 1 - 31
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms / A. Ciabattoni, B. Lellmann / in: "Proceedings of DEON2020/21", College Publications, 2021, ISBN: 978-1-84890-352-4, 94 - 113

2020

On the concurrent computational content of intermediate logics / F. Aschieri, A. Ciabattoni, F. Genco / Theoretical Computer Science, 813 (2020), 375 - 409
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms / B. Lellmann, A. Ciabattoni / in: "DEOn 2020/2021", College Publications, 2020, 1 - 18
A typed parallel lambda-calculus via 1-depth intermediate proofs / F. Aschieri, A. Ciabattoni, F. Genco / in: "LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning", 73; L. Kovacs et al. (ed.); EasyChair EPiC Series in Computing, 2020, 22 pages

2019

Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. / K. van Berkel, A. Ciabattoni et al. / Talk: 7th Conference on Logic, Rationality and Interaction (LORI-VII, 2019), Chongqing, China; 2019-10-18 - 2019-10-21; in: "Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science", (2019), ISBN: 978-3-662-60291-1; 355 - 369
Bounded sequent calculi for non-classical logics via hypersequents / A. Ciabattoni, R. Ramanayake, T Lang / Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 94 - 110
Intermediate Logic Proofs as Concurrent Programs / A. Ciabattoni, F. Genco, F. Aschieri / Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25

2018

Classical Proofs as Parallel Programs / F. Aschieri, F. Genco, A. Ciabattoni / Talk: Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbrücken; 2018-09-26 - 2018-09-28; in: "Proceedings of Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)", (2018), 43 - 57
Analytic Calculi for substructural logics: Theory and applications / A. Ciabattoni / Talk: Logic Colloquium 2018, Udine (invited); 2018-06-23 - 2018-06-28
Deontic Reasoning: From Ancient Texts to Artificial Intelligence / A. Ciabattoni / Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08
Intermediate logics: from hypersequents to parallel computation / A. Ciabattoni / Talk: British Colloquium for Theoretical Computer Science 2018, London (invited); 2018-03-26 - 2018-03-28
Logic-Based Concurrent Calculi / F. Aschieri, A. Ciabattoni, F. Genco / Talk: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien; 2018-02-26 - 2018-02-28
From Display to Labelled Calculi for Tense Logics / T. Lyon, R. Ramanayake, A. Ciabattoni / Talk: Logical Foundations of Computer Science 2018, Deerfield Beach, Florida; 2018-01-07 - 2018-01-12; in: "Proceedings of Logical Foundations of Computer Science", (2018), ISBN: 978-3-319-72055-5; 120 - 139
Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop / A. Ciabattoni, F. Genco, R. Ramanayake / ACM SIGLOG News, 5 (2018), 2; 58 - 60
Hypersequents and Systems of Rules: Embeddings and Applications. / A. Ciabattoni, F. Genco / ACM Transactions on Computational Logic, 19 (2018), 2; 1 - 27
Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach / F. Aschieri, A. Ciabattoni, F. Genco / CoRR - Computing Research Repository, abs/1802.00961 (2018), abs/1802.00961
Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report / A. Ciabattoni, B. Lellmann, K. van Berkel / ACM SIGLOG News, 5 (2018), 4; 48 - 51
Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach / A. Ciabattoni, F. Gulisano, B. Lellmann / in: "Deontic Logic and Normative Systems DEON 2018", J. Broersen, C. Condoravdi, S. Nair, G. Pigozzi (ed.); College Publications, 2018, ISBN: 9781848902787, 91 - 110

2017

From hypersequents to parallel computation for intermediate logics / A. Ciabattoni / Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18
Goedel Logic: from Hypersequents to Parallel Computation / A. Ciabattoni / Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17
Proof-Theory for Non-Classical Logics: Sequent calculi and beyond / A. Ciabattoni / Talk: International Summer School for Proof Theory, Funchal; 2017-08-22 - 2017-08-27
Logic-based process calculi: Gödel logic and beyond / A. Ciabattoni / Talk: Workshop Open Problems in Concurrency Theory II, Klosterneuburg (invited); 2017-06-26 - 2017-06-29
Gödel Logic: From Natural Deduction to Parallel Computation / A. Ciabattoni, F. Genco et al. / Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, Reykjavik; 2017-06-20 - 2017-06-23; in: "Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland", (2017), ISBN: 978-1-5090-3018-7; 1 - 12
How to Reach Heaven: Different career paths / A. Ciabattoni / Talk: 2nd Logic Mentoring Workshop, Reykjavik (invited); 2017-06-18
From hypersequent calculi to parallel computation / A. Ciabattoni / Talk: International Workshop on Proofs, Paris (invited); 2017-06-01 - 2017-06-02
PREFACE OF A SPECIAL ISSUE OF THE J. of LOGIC AND COMPUTATION / A. Ciabattoni, M. Baaz, D.M. Gabbay et al. / Journal of Logic and Computation, 27 (2017), 2
Algebraic proof theory: Hypersequents and hypercompletions / A. Ciabattoni, N. Galatos et al. / Annals of Pure and Applied Logic, 168 (2017), 3; 693 - 737
Bunched Hypersequent Calculi for Distributive Substructural Logics / R. Ramanayake, A. Ciabattoni / in: "LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning", 7180; T. Eiter et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3642287169, 417 - 434
Standard Completeness for extensions of IMTL / P. Baldi, A. Ciabattoni et al. / in: "Proceedings of : 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017,", G. Acampora et al. (ed.); issued by: IEEE; IEEE Computer Society Press, 2017, ISBN: 978-1-5090-6034-4, 1 pages
Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school / A. Ciabattoni, F. Genco, E. Freschi / Online Journal of World Philosophies, 2 (2017), 1; 19 pages
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction / B. Lellmann, A. Ciabattoni et al. / Electronic Notes in Theoretical Computer Science (ENTCS), 332 (2017), 18 pages

2016

Hypersequents and Systems of Rules: An Embedding / A. Ciabattoni, F. Genco / Talk: Syntax Meets Semantics 2016, Barcelona; 2016-09-05 - 2016-09-09
Embedding formalisms: hypersequents and two-level systems of rules / A. Ciabattoni, F. Genco / Talk: AIML 2016, Budapest; 2016-08-30 - 2016-09-02; in: "Advances in Modal Logic (AIML 2016)", 11 (2016), ISBN: 978-1848902015; 197 - 216
Analytic Calculi for Non-Classical Logics: Theory and Applications / A. Ciabattoni / Talk: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille; 2016-08-29 - 2016-09-01; in: "25th EACSL Annual Conference on Computer Science Logic (CSL 2016)", 62 (2016), ISBN: 978-3-95977-022-4
Systematic proof theory for substructural logics and applications / A. Ciabattoni / Talk: Mathematics for Computation, Niederaltaich; 2016-05-08 - 2016-05-13
Proof theory of witnesses Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
Power and Limits of Structural Display Rules / R. Ramanayake, A. Ciabattoni / ACM Transactions on Computational Logic, 3 (2016), 17
Proof theory of witnessed G{"{o}}del logic: {A} negative result / A. Ciabattoni, M. Baaz / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
Proof search and Co-NP completeness for many-valued logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 296 (2016), 130 - 149

2015

Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni / Talk: Konferenz zu Coherence & Truth-In memoriam Franco Montagna, Pontignano (invited); 2015-12-16 - 2015-12-18
Algebraic proof theory for substructural logics and applications / A. Ciabattoni / Keynote Lecture: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia (invited); 2015-06-21 - 2015-06-26
Proof theory meets semantics: the case of substructural logics / A. Ciabattoni / Keynote Lecture: Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015), Denton, Texas (invited); 2015-06-08 - 2015-06-12
Standard Completeness for Uninorm-Based Logics / P. Baldi, A. Ciabattoni / Talk: 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo, Canada; 2015-05-18 - 2015-05-20; in: "Proceedings of 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015)", (2015), 78 - 83
(Algebraic) Proof Theory for Substructural Logics / A. Ciabattoni / Keynote Lecture: Algebra and Coalgebra meet Proof Theory VI, 2015, Delft (invited); 2015-05-06 - 2015-05-08
Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 5 (2015), 05; 1 - 20
Uniform proofs of standard completeness for extensions of first-order MTL / P. Baldi, A. Ciabattoni / Theoretical Computer Science, 603 (2015), 43 - 57
Mimamsa Deontic Logic: Proof Theory and Applications / B. Lellmann, A. Ciabattoni, E. Freschi, F. Genco / in: "Automated Reasoning with Analytic Tableaux and Related Methods", 9323; H. De Nivelle (ed.); Springer LNCS, 2015, ISBN: 978-3-319-24311-5, 21 - 24

2014

A proof theoretic approach to Standard completeness / A. Ciabattoni / Talk: Konference: Beyond True and False: Logic, Algebra and Topology, Florenz (invited); 2014-12-03 - 2014-12-05
Tools for the Investigation of Substructural and Paraconsistent Logics / A. Ciabattoni, L. Spendier / Talk: 14th European Conference, JELIA, Funchal, Madeira (invited); 2014-09-24 - 2014-09-26; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proce", LNCS/Springer, 8761 (2014), ISBN: 978-3-319-11557-3; 18 - 32
Tools for the investigation of substructural and paraconsistent logics / A. Ciabattoni / Keynote Lecture: XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Pisa (invited); 2014-04-14 - 2014-04-17
Non classical proofs: Theory, applications and tools / A. Ciabattoni / Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29
Standard completeness: proof-theoretical and algebraic approaches / P. Baldi, A. Ciabattoni, K. Terui et al. / Talk: 35th Linz Seminar of Fuzzy Set Theory, Linz; 2014-02-18 - 2014-02-22
(Algebraic) Proof Theory for Substructural Logics and Applications / A. Ciabattoni / Talk: 87. Arbeitstagung Allgemeine Algebra (AAA87), Linz (invited); 2014-02-07 - 2014-02-09
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach / A. Ciabattoni, L. Spendier et al. / Journal of the ACM, 16 (2014), 1
Hypersequent and Display Calculi - a Unified Perspective / A. Ciabattoni, R. Ramanayake / Studia Logica, 102 (2014), 6; 1245 - 1294
Preface / A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller / Journal of Logic and Computation, 1 (2014)

2013

Power andl limits of structural rules / A. Ciabattoni / Talk: LIX Colloquium 2013: Theory and Application of Formal Proofs, Paris, France (invited); 2013-11-05 - 2013-11-07
Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Talk: Tenth International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2013, Tbilisi, Georgia (invited); 2013-09-23 - 2013-09-27
Hypersequent and Labelled Calculi for Intermediate Logics / A. Ciabattoni, P. Maffezioli, L. Spendier / Keynote Lecture: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Tableaux 2013", D. Galmiche, D. Larchey-Wendling (ed.); LNCS 8123 (2013), 81 - 96
Structural extensions of display calculi: A general recipe / A. Ciabattoni, R. Ramanayake / Talk: 20th International Workshop on Logic, Language, Information and Computation WoLLIC 2013, Darmstadt. Germany; 2013-08-20 - 2013-08-24; in: "Proceedings 20th International Workshop, WoLLIC 2013", Springer Lecture Notes in Computer Science, 8071 (2013), ISBN: 978-3-642-39991-6; 81 - 95
Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Keynote Lecture: UniLog 2013, Rio de Janeiro (invited); 2013-03-29 - 2013-04-07
Automated Support for the Investigation of Paraconsistent and Other Logics / A. Ciabattoni, O. Lahav, L. Spendier, A. Zamansky / Keynote Lecture: Symposium on Logical Foundations of Computer Science (LFCS), San Diego; 2013-01-06 - 2013-01-08; in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)", S. Artemov, A. Nerode (ed.); LNCS 7734 (2013), 119 - 133
MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123 / A. Kucera, I. Potapov, A. Ciabattoni, St. Szeider, R. Freivalds / IOS Press, 2013, ISSN: 0169-2968
Proof theory for locally finite many-valued logics: Semi-projective logics / A. Ciabattoni, F. Montagna / Theoretical Computer Science, 480 (2013), 26 - 42
Formal approaches to rule-based systems in medicine: The case of CADIAG-2 / A. Ciabattoni, D. Picado Muino, T Vetterlein, M. El Zekey / International Journal of Approximate Reasoning, 54 (2013), 1; 132 - 148
Proof theory of witnessed Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 23 (2013), 5; 1 - 14

2012

Proof theory for non-classical logics: negative results / M. Baaz, A. Ciabattoni / Talk: Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan; 2012-09-10 - 2012-09-14
Standard completeness for extensions of MTL: an automated approach / P. Baldi, A. Ciabattoni, L. Spendier / Talk: 19th Workshop on Language, Information and Computation, Buenos Aires, Argentina; 2012-09-03 - 2012-09-06; in: "Logic, Language, Information and Computation (LNCS 2012)", Springer, 7456 (2012), 154 - 167
Systematic proof theory for Many-valued logics / A. Ciabattoni / Talk: ManyVal´12 (In honor of Antonio Di Nola´s 65th birthday), Salerno, Italy; 2012-07-04 - 2012-07-07
Proof theory for non-classical logics: a negative result / A. Ciabattoni, M. Baaz / Talk: Pisa Summer Workshop on Proof Theory, Pisa, Italy; 2012-06-12 - 2012-06-15
Nonclassical proofs: theory, applications, and tools / A. Ciabattoni / Talk: Logical Models of Reasoning and Computation (LMRC12), Moskau, Russia (invited); 2012-02-01 - 2012-02-03
Algebraic proof theory for substructural logics: Cut elimination and completions / A. Ciabattoni, N. Galatos, K. Terui / Annals of Pure and Applied Logic, 163 (2012), 266 - 290
Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability / A. Ciabattoni, M. Baaz, C. Fermüller / Logical Methods in Computer Science, 8 (2012), 1; 1 - 20

2011

Nonclassical Proofs: theory, applications, and tools / A. Ciabattoni / Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28
Basic contructive connectives, determinism and matric-based semanticst / A. Ciabattoni, A. Zamansky / Talk: TABLEAUX 2011, Bern, Switzerland; 2011-07-04 - 2011-07-08
Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: Truth, Proof and Consequence. Perspectives on Logic, Pisa, Italien; 2011-02-28
Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical Logics / A. Ciabattoni / Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09
MacNeille Comletions of FL-algebras / A. Ciabattoni, N. Galatos, K. Terui / Algebra Universalis, 66 (2011), 405 - 420
First-order satisfiability in Gödel logics: an NP-complete fragment / A. Ciabattoni, M. Baaz, N Preining / Theoretical Computer Science, 414 (2011), 6612 - 6623
Basic constructive connectives, determinism and matrix-based semantics / A. Ciabattoni, O. Lahav, A. Zamansky / in: "LNAI 6793, Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings", Springer Verlag, 6793, 2011, ISBN: 978-3-642-22118-7, 119 - 134

2010

Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: International Workshop PCC-Proof, Computation, Complexity, Bern (invited); 2010-06-18 - 2010-06-19
Algebaic and proof-theoretic characterizations of truth stressers for MTL and its extensions / A. Ciabattoni, G Metcalfe, F. Montagna / Fuzzy Sets and Systems, 161 (3) (2010), 369 - 389

2008

Towards an algorithmic construction of cut-elimination procedures / A. Ciabattoni, A. Leitsch / Mathematical Structures In Computer Science, 18 (2008), 1; 81 - 105
Cut elimination for first order Gödel logic by hyperclause resolution / M. Baaz, A. Ciabattoni, C. Fermüller / in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330)", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 2008, ISBN: 3-540-89438-1, 451 - 466

2007

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results / M. Baaz, A. Ciabattoni, C. Fermüller / Talk: LPAR 2007, Yerevan, Armenia; 2007-10-15 - 2007-10-19; in: "Logic for Programming, Artificial Intelligence, and Reasoning", N Dershowitz, A. Voronkov (ed.); Springer, LNCS 4790 (2007), ISBN: 978-3-540-75558-6; 77 - 91
Monadic fragments of Gödel logics: decidability and undecability results / M. Baaz, A. Ciabattoni, C. Fermüller / Talk: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Eriwan, Armenia; 2007-10-15 - 2007-10-19
Monadic fragments of Gödel logics: decidability and undecidability / M. Baaz, A. Ciabattoni, C. Fermüller / Lecture Notes in Computer Science, 4790 (2007), 77 - 91

2006

Service QoS composition at the level of part names / M. Aiello, F. Rosenberg, C. Platzer, A. Ciabattoni, S. Dustdar / in: "Web Services and Formal Methods, Third International Workshop, WS-FM 2006 (LNCS 4184)", Springer, 2006, ISBN: 3-540-38862-3, 24 - 37

2005

Uniform Rules and Dialogue Games for Fuzzy Logics / A. Ciabattoni, C. Fermüller, G Metcalfe / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; in: "Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 496 - 510

2003

From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games / C. Fermüller, A. Ciabattoni / Talk: ISMVL 03 (33rd International Symposium on Multiple-valued Logic), Tokio, Japan; 2003-05-16 - 2003-05-19; in: "ISMVL 2003, 33rd IEEE International Symposium on Multiple-valued Logic", IEEE Computer Society, Los Alamitos, USA (2003), ISBN: 0-7695-1918-0; 188 - 195
Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics / M. Baaz, A. Ciabattoni, C. Fermüller / in: "Beyond Two: Theory and Applications of Multiple-Valued Logics", M. Fitting, E. Orlowska (ed.); Physica-Verlag, 2003, ISBN: 3-7908-1541-1, 157 - 180
Hypersequent Calculi for Gödel Logics - a Survey / M. Baaz, A. Ciabattoni, C. Fermüller / Journal of Logic and Computation, 13 (2003), 6; 835 - 861
From intuitionistic logic to Gödel-Dummett logic via parallel dialogue games / C. Fermüller, A. Ciabattoni / in: "Proceedings of the 33rd International Symposium on Multiple-Valued Logic", IEEE Press, Washington, 2003, ISSN: 0195-623x, 188 - 193

Supervisions