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
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
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.
- A comprehensive Survey of the Actual Causality Literature / Master Thesis by K. Kueffner / Supervisor: A. Ciabattoni; Logic and Computation, 2021; final examination: 2021-11-15
- Refining Labelled Systems for Modal and Constructive Logics with Applications / Doctoral Thesis by T. Lyon / Supervisor, Reviewer: A. Ciabattoni, R. Ramanayake; Logic and Computation, 2021; oral examination: 2021-07-29
- A fuzzy extension of the unruptured intracranial aneurysm treatment score / Master Thesis by B. Schiehl / Supervisor: A. Ciabattoni; Logic and Computation, 2021
- Feedback on Oral Exams -- a new Approach Supported by Speech Recognition / Master Thesis by D. Sommer / Supervisor: A. Ciabattoni; Logic and Computation, 2021
- The GUHA-Method and its applications / Master Thesis by P. Geisler / Supervisor: A. Ciabattoni; Logic and Computation, 2021
- Intermediate logics and concurrent lambda-calculi: a proof theoretic approach / Doctoral Thesis by F. Genco / Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08
- Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules / Master Thesis by S. Pavlovic / Supervisor: A. Ciabattoni; Institut für Logic and Computation, 2018; final examination: 2018-10-15
- Standard completeness: Proof-theoretic and algebraic methods / Doctoral Thesis by P. Baldi / Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12
- Tools for the investigation of non-classical logics / Doctoral Thesis by L. Spendier / Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18
Awards
-
Nichtklassische Beweise: Theorie, Automatisierung, Anwendung
2011 / START-Programm / Austria
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Agata Ciabattoni’s research profile in TISS .