Publikationsliste für
Agata Ciabattoni
als Autorin / Autor bzw. wesentlich beteiligte Person
151 Datensätze (2002 - 2021)
Bücher und Buch-Herausgaben
S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara (Hrg.):
"Algebraic and proof-theoretic aspects of non classical logics";
Springer,
Heidelberg,
2007,
ISBN: 978-3-540-75938-6.
A. Kucera, I. Potapov, A. Ciabattoni, St. Szeider, R. Freivalds (Hrg.):
"MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123";
IOS Press,
2013,
ISSN: 0169-2968.
Zusätzliche Informationen
Zeitschriftenartikel
F. Aschieri, A. Ciabattoni, F. Genco:
"Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach";
CoRR - Computing Research Repository,
abs/1802.00961
(2018),
abs/1802.00961.
F. Aschieri, A. Ciabattoni, F. Genco:
"On the concurrent computational content of intermediate logics";
Theoretical Computer Science,
813
(2020),
S. 375
- 409.
M. Baaz, A. Ciabattoni:
"Proof theory of witnessed Gödel logic: A negative result";
Journal of Logic and Computation,
23
(2013),
5;
S. 1
- 14.
M. Baaz, A. Ciabattoni:
"Proof theory of witnesses Gödel logic: A negative result";
Journal of Logic and Computation,
26
(2016),
1;
S. 51
- 64.
Zusätzliche Informationen
M. Baaz, A. Ciabattoni, C. Fermüller:
"Hypersequent Calculi for Gödel Logics - a Survey";
Journal of Logic and Computation,
13
(2003),
6;
S. 835
- 861.
Zusätzliche Informationen
M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic fragments of Gödel logics: decidability and undecidability";
Lecture Notes in Computer Science,
4790
(2007),
S. 77
- 91.
M. Baaz, A. Ciabattoni, F. Montagna:
"Analytic calculi for monoidal t-norm based logic";
Fundamenta Informaticae,
59
(2004),
4;
S. 315
- 332.
P. Baldi, A. Ciabattoni:
"Uniform proofs of standard completeness for extensions of first-order MTL";
Theoretical Computer Science,
603
(2015),
S. 43
- 57.
A. Ciabattoni:
"A proof-theoretical investigation of global intuitionistic (fuzzy) logic";
Archive for Mathematical Logic,
44
(2005),
S. 435
- 457.
A. Ciabattoni, M. Baaz:
"Proof theory of witnessed G{"{o}}del logic: {A} negative result";
Journal of Logic and Computation,
26
(2016),
1;
S. 51
- 64.
A. Ciabattoni, M. Baaz, C. Fermüller:
"Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability";
Logical Methods in Computer Science,
8
(2012),
1;
S. 1
- 20.
Zusätzliche Informationen
A. Ciabattoni, M. Baaz, D. Gabbay, P. Hajek:
"Proceedings of COS04 and Ercim (Volume I)";
Logic Journal of the IGPL,
13
(2005),
4;
S. 363.
A. Ciabattoni, M. Baaz, D.M. Gabbay et al.:
"PREFACE OF A SPECIAL ISSUE OF THE J. of LOGIC AND COMPUTATION";
Journal of Logic and Computation,
27
(2017),
2.
A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller:
"Preface";
Journal of Logic and Computation,
1
(2014).
A. Ciabattoni, M. Baaz, P. Hajek:
"Proceedings of COS04 and Ercim (Volume II)";
Logic Journal of the IGPL,
13
(2005),
5;
S. 491.
A. Ciabattoni, M. Baaz, N Preining:
"First-order satisfiability in Gödel logics: an NP-complete fragment";
Theoretical Computer Science,
414
(2011),
S. 6612
- 6623.
A. Ciabattoni, F. Esteva, L. Godo:
"T-norm based logics with n-contraction";
Neural Network World,
5
(2002),
2;
S. 441
- 452.
A. Ciabattoni, N. Galatos et al.:
"Algebraic proof theory: Hypersequents and hypercompletions";
Annals of Pure and Applied Logic,
168
(2017),
3;
S. 693
- 737.
Zusätzliche Informationen
A. Ciabattoni, N. Galatos, K. Terui:
"Algebraic proof theory for substructural logics: Cut elimination and completions";
Annals of Pure and Applied Logic,
163
(2012),
S. 266
- 290.
Zusätzliche Informationen
A. Ciabattoni, N. Galatos, K. Terui:
"MacNeille Comletions of FL-algebras";
Algebra Universalis,
66
(2011),
S. 405
- 420.
A. Ciabattoni, F. Genco:
"Hypersequents and Systems of Rules: Embeddings and Applications.";
ACM Transactions on Computational Logic,
19
(2018),
2;
S. 1
- 27.
Zusätzliche Informationen
A. Ciabattoni, F. Genco, E. Freschi:
"Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school";
Online Journal of World Philosophies,
2
(2017),
1;
19 S.
A. Ciabattoni, F. Genco, R. Ramanayake:
"Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop";
ACM SIGLOG News,
5
(2018),
2;
S. 58
- 60.
Zusätzliche Informationen
A. Ciabattoni, T Lang, R. Ramanayake:
"Bounded-analytic sequent calculi and embeddings for hypersequent logics.";
The Journal of Symbolic Logic,
86
(2021),
2;
S. 635
- 668.
A. Ciabattoni, A. Leitsch:
"Towards an algorithmic construction of cut-elimination procedures";
Mathematical Structures In Computer Science,
18
(2008),
1;
S. 81
- 105.
A. Ciabattoni, B. Lellmann, K. van Berkel:
"Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report";
ACM SIGLOG News,
5
(2018),
4;
S. 48
- 51.
A. Ciabattoni, T. Lyon, R. Ramanayake et al.:
"Display to Labeled Proofs and Back Again for Tense Logics";
ACM Transactions on Computational Logic,
22
(2021),
3;
S. 1
- 31.
A. Ciabattoni, G Metcalfe, F. Montagna:
"Algebaic and proof-theoretic characterizations of truth stressers for MTL and its extensions";
Fuzzy Sets and Systems,
161 (3)
(2010),
S. 369
- 389.
A. Ciabattoni, G. Metcalfe:
"Density elimination";
Theoretical Computer Science,
403
(2008),
2-3;
S. 328
- 346.
A. Ciabattoni, G. Metcalfe:
"Density elimination and rational completeness for first-order logics";
Lecture Notes in Computer Science,
4514
(2007),
S. 132
- 146.
A. Ciabattoni, F. Montagna:
"Proof theory for locally finite many-valued logics: Semi-projective logics";
Theoretical Computer Science,
480
(2013),
S. 26
- 42.
A. Ciabattoni, F. Montagna et al.:
"Proof Search and Co-NP Completeness for Many-Valued Logics";
Fuzzy Sets and Systems,
5
(2015),
05;
S. 1
- 20.
A. Ciabattoni, F. Montagna et al.:
"Proof search and Co-NP completeness for many-valued logics";
Fuzzy Sets and Systems,
296
(2016),
S. 130
- 149.
A. Ciabattoni, D. Picado Muino, T Vetterlein, M. El Zekey:
"Formal approaches to rule-based systems in medicine: The case of CADIAG-2";
International Journal of Approximate Reasoning,
54
(2013),
1;
S. 132
- 148.
A. Ciabattoni, R. Ramanayake:
"Hypersequent and Display Calculi - a Unified Perspective";
Studia Logica,
102
(2014),
6;
S. 1245
- 1294.
A. Ciabattoni, L. Spendier et al.:
"Taming Paraconsistent (and Other) Logics: An Algorithmic Approach";
Journal of the ACM,
16
(2014),
1.
Zusätzliche Informationen
A. Ciabattoni, K. Terui:
"Towards a semantic characterization of cut-elimination";
Studia Logica,
82
(2006),
S. 95
- 119.
A. Ciabattoni, T. Vetterlein:
"On the (fuzzy) logical content of CADIAG-2";
Fuzzy Sets and Systems,
161
(2009),
14;
S. 1941
- 1958.
B. Lellmann, A. Ciabattoni et al.:
"From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction";
Electronic Notes in Theoretical Computer Science (ENTCS),
332
(2017),
18 S.
B. Lellmann, F. Gulisano, A. Ciabattoni:
"Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach";
Artificial Intelligence and Law,
29
(2021),
3;
S. 351
- 394.
R. Ramanayake, A. Ciabattoni:
"Power and Limits of Structural Display Rules";
ACM Transactions on Computational Logic,
3
(2016),
17.
Zusätzliche Informationen
Editorials in wiss. Zeitschriften
M. Baaz, S. Hetzl, A. Ciabattoni, D. Weller:
"Special issue of the Journal of Logic and Computation";
Journal of Logic and Computation,
27
(2017),
2;
S. 415
- 606.
Buchbeiträge
M. Baaz, A. Ciabattoni, C. Fermüller:
"Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics";
in: "Beyond Two: Theory and Applications of Multiple-Valued Logics",
M. Fitting, E. Orlowska (Hrg.);
Physica-Verlag,
2003,
ISBN: 3-7908-1541-1,
S. 157
- 180.
Beiträge in Tagungsbänden
K. Adlassnig, A. Ciabattoni, T. Vetterlein:
"A Formal Logical Framework for Cadiag-2";
in: "Medical Informatics in a United and Healthy Europe - Proceedings of MIE 2009 - The XXIInd International Congress of the European Federation for Medical Informatics",
K. Adlassnig, B. Blobel, J. Mantas, I. Masic (Hrg.);
IOS Press,
2009,
ISBN: 978-1-60750-044-5,
S. 648
- 652.
M. Aiello, F. Rosenberg, C. Platzer, A. Ciabattoni, S. Dustdar:
"Service QoS composition at the level of part names";
in: "Web Services and Formal Methods, Third International Workshop, WS-FM 2006 (LNCS 4184)",
Springer,
2006,
ISBN: 3-540-38862-3,
S. 24
- 37.
F. Aschieri, A. Ciabattoni, F. Genco:
"A typed parallel lambda-calculus via 1-depth intermediate proofs";
in: "LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning",
73;
L. Kovacs et al. (Hrg.);
EasyChair EPiC Series in Computing,
2020,
22 S.
A. Avron, A. Ciabattoni, A. Zamansky:
"Canonical calculi: invertibility, axiom, expansion and (non)-determinism";
in: "Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings (LNC 5675/2009)",
Springer Verlag,
2009,
ISBN: 978-3-642-03350-6,
S. 26
- 37.
M. Baaz, A. Ciabattoni:
"A Schütte-Tait style cut-elimination proof for first-oder Gödel logic";
in: "Automated Reasoning with Analytic Tableaux and Related Methods (LNAI 2381)",
U. Egly, C. Fermüller (Hrg.);
Springer,
2002,
ISBN: 3-540-43929-3,
S. 24
- 37.
M. Baaz, A. Ciabattoni, C. Fermüller:
"Cut elimination for first order Gödel logic by hyperclause resolution";
in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330)",
I. Cervesato, H. Veith, A. Voronkov (Hrg.);
Springer,
2008,
ISBN: 3-540-89438-1,
S. 451
- 466.
M. Baaz, A. Ciabattoni, N. Preining:
"SAT in monadic Gödel logics: a borderline between decidability and undecidability";
in: "Logic, Language, Information and Computation (LNCS 5514/2009)",
Springer Verlag,
2009,
ISBN: 978-3-642-02260-9,
S. 113
- 123.
P. Baldi, A. Ciabattoni et al.:
"Standard Completeness for extensions of IMTL";
in: "Proceedings of : 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017,",
G. Acampora et al. (Hrg.);
herausgegeben von: IEEE;
IEEE Computer Society Press,
2017,
ISBN: 978-1-5090-6034-4,
1 S.
A. Ciabattoni:
"Automated generation of analytic calculi for logics with linearity";
in: "Computer Science Logic (LNCS 3210)",
J. Marcinkowski, A. Tarlecki (Hrg.);
Springer,
2004,
ISBN: 3-540-23024-6,
S. 503
- 517.
A. Ciabattoni, N. Galatos, K. Terui:
"From axioms to analytic rules in nonclassical logics";
in: "Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on",
IEEE Computer Society,
Washington, DC, USA,
2008,
ISSN: 1043-6871,
11 S.
A. Ciabattoni, F. Gulisano, B. Lellmann:
"Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach";
in: "Deontic Logic and Normative Systems DEON 2018",
J. Broersen, C. Condoravdi, S. Nair, G. Pigozzi (Hrg.);
College Publications,
2018,
ISBN: 9781848902787,
S. 91
- 110.
A. Ciabattoni, O. Lahav, A. Zamansky:
"Basic constructive connectives, determinism and matrix-based semantics";
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,
S. 119
- 134.
A. Ciabattoni, B. Lellmann:
"Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms";
in: "Proceedings of DEON2020/21",
College Publications,
2021,
ISBN: 978-1-84890-352-4,
S. 94
- 113.
A. Ciabattoni, G. Metcalfe:
"Bounded Lukasiewicz logics";
in: "Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003 Rome, Italy, September 9-12, 2003 Proceedings (LNAI 2796)",
Springer,
2003,
ISBN: 3-540-40787-1,
S. 32
- 47.
A. Ciabattoni, P. Rusnok:
"On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert Systems";
in: "Principles of Knowledge Representation and Reasoning: Proceedins of the 12th International Conference, KR2010",
F. Lin, U. Sattler, M. Truszczynski (Hrg.);
AAAI Press,
2010,
S. 373
- 381.
A. Ciabattoni, L. Straßburger, K. Terui:
"Expanding the realm of systematic proof theory";
in: "23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings(LNCS 5771/2009)",
Springer Verlag,
2009,
ISBN: 978-3-642-04026-9,
S. 163
- 178.
A. Ciabattoni, K. Terui:
"Modular cut-elimination: finding proofs or counterexamples";
in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNCS 4246)",
M. Hermann, A. Voronkov (Hrg.);
Springer,
2006,
ISBN: 3-540-48281-4,
S. 135
- 149.
C. Fermüller, A. Ciabattoni:
"From intuitionistic logic to Gödel-Dummett logic via parallel dialogue games";
in: "Proceedings of the 33rd International Symposium on Multiple-Valued Logic",
IEEE Press,
Washington,
2003,
ISSN: 0195-623x,
S. 188
- 193.
B. Lellmann, A. Ciabattoni:
"Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms";
in: "DEOn 2020/2021",
College Publications,
2020,
S. 1
- 18.
B. Lellmann, A. Ciabattoni, E. Freschi, F. Genco:
"Mimamsa Deontic Logic: Proof Theory and Applications";
in: "Automated Reasoning with Analytic Tableaux and Related Methods",
9323;
H. De Nivelle (Hrg.);
Springer LNCS,
2015,
ISBN: 978-3-319-24311-5,
S. 21
- 24.
R. Ramanayake, A. Ciabattoni:
"Bunched Hypersequent Calculi for Distributive Substructural Logics";
in: "LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning",
7180;
T. Eiter et al. (Hrg.);
herausgegeben von: Springer;
Springer LNCS,
2017,
ISBN: 978-3642287169,
S. 417
- 434.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
F. Aschieri, F. Genco, A. Ciabattoni:
"Classical Proofs as Parallel Programs";
Vortrag: Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018),
Saarbrücken;
26.09.2018
- 28.09.2018; in: "Proceedings of Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)",
(2018),
S. 43
- 57.
M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic Fragments of Gödel Logics: Decidability and Undecidability Results";
Vortrag: LPAR 2007,
Yerevan, Armenia;
15.10.2007
- 19.10.2007; in: "Logic for Programming, Artificial Intelligence, and Reasoning",
N Dershowitz, A. Voronkov (Hrg.);
Springer,
LNCS 4790
(2007),
ISBN: 978-3-540-75558-6;
S. 77
- 91.
P. Baldi, A. Ciabattoni:
"Standard Completeness for Uninorm-Based Logics";
Vortrag: 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015),
Waterloo, Canada;
18.05.2015
- 20.05.2015; in: "Proceedings of 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015)",
(2015),
S. 78
- 83.
P. Baldi, A. Ciabattoni, L. Spendier:
"Standard completeness for extensions of MTL: an automated approach";
Vortrag: 19th Workshop on Language, Information and Computation,
Buenos Aires, Argentina;
03.09.2012
- 06.09.2012; in: "Logic, Language, Information and Computation (LNCS 2012)",
Springer,
7456
(2012),
S. 154
- 167.
A. Ciabattoni:
"Analytic Calculi for Non-Classical Logics: Theory and Applications";
Vortrag: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016,
Marseille;
29.08.2016
- 01.09.2016; in: "25th EACSL Annual Conference on Computer Science Logic (CSL 2016)",
62
(2016),
ISBN: 978-3-95977-022-4.
A. Ciabattoni, C. Fermüller, G Metcalfe:
"Uniform Rules and Dialogue Games for Fuzzy Logics";
Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Montevideo, Uruguay;
14.03.2005
- 18.03.2005; in: "Logic for Programming, Artificial Intelligence, and Reasoning",
F. Baader, A. Voronkov (Hrg.);
Springer,
LNAI 3452
(2005),
ISBN: 3-540-25236-3;
S. 496
- 510.
A. Ciabattoni, F. Genco:
"Embedding formalisms: hypersequents and two-level systems of rules";
Vortrag: AIML 2016,
Budapest;
30.08.2016
- 02.09.2016; in: "Advances in Modal Logic (AIML 2016)",
11
(2016),
ISBN: 978-1848902015;
S. 197
- 216.
A. Ciabattoni, F. Genco et al.:
"Gödel Logic: From Natural Deduction to Parallel Computation";
Vortrag: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland,
Reykjavik;
20.06.2017
- 23.06.2017; in: "Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland",
(2017),
ISBN: 978-1-5090-3018-7;
S. 1
- 12.
A. Ciabattoni, O. Lahav, L. Spendier, A. Zamansky:
"Automated Support for the Investigation of Paraconsistent and Other Logics";
Hauptvortrag: Symposium on Logical Foundations of Computer Science (LFCS),
San Diego;
06.01.2013
- 08.01.2013; in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)",
S. Artemov, A. Nerode (Hrg.);
LNCS 7734
(2013),
S. 119
- 133.
A. Ciabattoni, P. Maffezioli, L. Spendier:
"Hypersequent and Labelled Calculi for Intermediate Logics";
Hauptvortrag: Tableaux 2013,
Nancy;
16.09.2013
- 19.09.2013; in: "Tableaux 2013",
D. Galmiche, D. Larchey-Wendling (Hrg.);
LNCS 8123
(2013),
S. 81
- 96.
A. Ciabattoni, X. Parent et al.:
"A Kelsenian deontic logic";
Vortrag: Jurix 2021, 34th International Conference on Legal Knowledge and Information Systems,
Vilnius, Litauen;
08.12.2021
- 10.12.2021; in: "Proceedings of 34th International Conference on Legal Knowledge and Information Systems",
346
(2021),
S. 141
- 150.
A. Ciabattoni, R. Ramanayake:
"Structural extensions of display calculi: A general recipe";
Vortrag: 20th International Workshop on Logic, Language, Information and Computation WoLLIC 2013,
Darmstadt. Germany;
20.08.2013
- 24.08.2013; in: "Proceedings 20th International Workshop, WoLLIC 2013",
Springer Lecture Notes in Computer Science,
8071
(2013),
ISBN: 978-3-642-39991-6;
S. 81
- 95.
A. Ciabattoni, R. Ramanayake, T Lang:
"Bounded sequent calculi for non-classical logics via hypersequents";
Vortrag: TABLEAUX 2019,
London, UK;
03.09.2019
- 05.09.2019; 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;
S. 94
- 110.
A. Ciabattoni, L. Spendier:
"Tools for the Investigation of Substructural and Paraconsistent Logics";
Vortrag: 14th European Conference, JELIA,
Funchal, Madeira (eingeladen);
24.09.2014
- 26.09.2014; 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;
S. 18
- 32.
Zusätzliche Informationen
A. Ciabattoni, K. van Berkel, E. Freschi, F. Gulisano, M. Olszewski:
"The Gentle Murder Paradox in Sanskrit Philosophy";
Vortrag: Deon 2020/21,
München;
21.07.2021
- 24.07.2021; in: "Proceedings of DEON2020/21",
(2021),
ISBN: 978-1-84890-352-4;
S. 17
- 35.
C. Fermüller, A. Ciabattoni:
" From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games";
Vortrag: ISMVL 03 (33rd International Symposium on Multiple-valued Logic),
Tokio, Japan;
16.05.2003
- 19.05.2003; in: "ISMVL 2003, 33rd IEEE International Symposium on Multiple-valued Logic",
IEEE Computer Society,
Los Alamitos, USA
(2003),
ISBN: 0-7695-1918-0;
S. 188
- 195.
T. Lyon, R. Ramanayake, A. Ciabattoni:
"From Display to Labelled Calculi for Tense Logics";
Vortrag: Logical Foundations of Computer Science 2018,
Deerfield Beach, Florida;
07.01.2018
- 12.01.2018; in: "Proceedings of Logical Foundations of Computer Science",
(2018),
ISBN: 978-3-319-72055-5;
S. 120
- 139.
E. A. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori:
"A Normative Supervisor for Reinforcement Learning Agents";
Vortrag: 28th International Conference on Automated Deduction (CADE 28),
Virtual Event;
12.07.2021
- 15.07.2021; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)",
12699
(2021),
S. 565
- 576.
Zusätzliche Informationen
K. van Berkel, A. Ciabattoni et al.:
"Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics.";
Vortrag: 7th Conference on Logic, Rationality and Interaction (LORI-VII, 2019),
Chongqing, China;
18.10.2019
- 21.10.2019; in: "Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science",
(2019),
ISBN: 978-3-662-60291-1;
S. 355
- 369.
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
F. Aschieri, A. Ciabattoni, F. Genco:
"Logic-Based Concurrent Calculi";
Vortrag: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018,
Wien;
26.02.2018
- 28.02.2018.
M. Baaz, A. Ciabattoni:
"On the limits of analiticity";
Vortrag: Eighth Tbilisi Symposium on Language, Logic and Computation,
Bakuriani, Georgia;
21.09.2009
- 25.09.2009.
M. Baaz, A. Ciabattoni:
"Proof theory for non-classical logics: negative results";
Vortrag: Logic, Algebra and Truth Degrees 2012,
JAIST, Ishikawa, Japan;
10.09.2012
- 14.09.2012.
M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic fragments of Gödel logics: decidability and undecability results";
Vortrag: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007,
Eriwan, Armenia;
15.10.2007
- 19.10.2007.
M. Baaz, A. Ciabattoni, N. Preining:
"SAT in monadic Gödel logics: a borderline between decidability and undecidability";
Vortrag: 16th Workshop on Logic, Language, Information and Computation,
Tokio, Japan (eingeladen);
21.06.2009
- 24.06.2009.
P. Baldi, A. Ciabattoni, K. Terui et al.:
"Standard completeness: proof-theoretical and algebraic approaches";
Vortrag: 35th Linz Seminar of Fuzzy Set Theory,
Linz;
18.02.2014
- 22.02.2014.
A. Ciabattoni:
"(Algebraic) Proof Theory for Substructural Logics";
Hauptvortrag: Algebra and Coalgebra meet Proof Theory VI, 2015,
Delft (eingeladen);
06.05.2015
- 08.05.2015.
A. Ciabattoni:
"(Algebraic) Proof Theory for Substructural Logics and Applications";
Vortrag: 87. Arbeitstagung Allgemeine Algebra (AAA87),
Linz (eingeladen);
07.02.2014
- 09.02.2014.
A. Ciabattoni:
"A proof theoretic approach to Standard completeness";
Vortrag: Konference: Beyond True and False: Logic, Algebra and Topology,
Florenz (eingeladen);
03.12.2014
- 05.12.2014.
A. Ciabattoni:
"A proof-theoretical investigation of global intuitionistic (fuzzy) logic";
Vortrag: Logic Meetings at Kusatsu Seminar House and Japan Advanced Institute of Science and Technology,
Japan;
16.03.2005
- 20.03.2005.
A. Ciabattoni:
"A Schütte-Tait style cut-elimination proof for first-order Gödel logic";
Vortrag: Meeting of the Bilateral Project Austria - Spain,
Barcelona, Spain;
2002.
A. Ciabattoni:
"Algebraic proof theory for substructural logics and applications";
Hauptvortrag: Topology, Algebra, and Categories in Logic 2015 (TACL 2015),
Ischia (eingeladen);
21.06.2015
- 26.06.2015.
A. Ciabattoni:
"Analytic calculi for monoidal t-norm based logic";
Vortrag: 1st Florence-Vienna Workshop on Logic and Computation,
Florenz, Italy (eingeladen);
27.01.2004
- 31.01.2004.
A. Ciabattoni:
"Analytic calculi for non-classical logics: The Baha'i Method";
Hauptvortrag: UniLog 2013,
Rio de Janeiro (eingeladen);
29.03.2013
- 07.04.2013.
A. Ciabattoni:
"Analytic calculi for non-classical logics: The Baha'i Method";
Vortrag: Tenth International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2013,
Tbilisi, Georgia (eingeladen);
23.09.2013
- 27.09.2013.
A. Ciabattoni:
"Analytic Calculi for substructural logics: Theory and applications";
Vortrag: Logic Colloquium 2018,
Udine (eingeladen);
23.06.2018
- 28.06.2018.
A. Ciabattoni:
"Automata generation of analytic calculi for logics with linearity";
Vortrag: National Institut of Informatics,
Tokyo, Japan;
02.03.2006
- 16.03.2006.
A. Ciabattoni:
"Automated generation of analytic calculi for logics with linearity";
Vortrag: Vienna-Paris Wokshop on Proofs and Complexity,
Paris, France (eingeladen);
13.12.2004
- 14.12.2004.
A. Ciabattoni:
"Automated generation of analytic calculi for logics with linearity";
Vortrag: Italian Logic Meeting AILA05,
Pisa, Italy;
10.02.2005
- 13.02.2005.
A. Ciabattoni:
"Automated generation of analytic calculi for logics with linearity";
Vortrag: Collegium Logicum 2005 on Cut-Elimination,
Wien, Austria;
04.07.2005
- 06.07.2005.
A. Ciabattoni:
"Density elimination";
Vortrag: Moscow-Vienna Workshop on Logic and Computation 2007,
TU Wien;
02.07.2007
- 03.07.2007.
A. Ciabattoni:
"Deontic Reasoning: From Ancient Texts to Artificial Intelligence";
Vortrag: TICAMORE Meeting/Workshop 3,
Nancy;
06.06.2018
- 08.06.2018.
A. Ciabattoni:
"From axioms to analytic rules in nonclassical logics";
Vortrag: Non-classical Logics: from Foundations to Applications,
Pisa, Italy (eingeladen);
24.04.2008
- 27.04.2008.
A. Ciabattoni:
"From hypersequent calculi to parallel computation";
Vortrag: International Workshop on Proofs,
Paris (eingeladen);
01.06.2017
- 02.06.2017.
A. Ciabattoni:
"From hypersequents to parallel computation for intermediate logics";
Vortrag: Workshop TICAMORE,
Marseille;
15.11.2017
- 18.11.2017.
A. Ciabattoni:
"Goedel Logic: from Hypersequents to Parallel Computation";
Vortrag: ISRALOG 2017,
Haifa, Israel;
15.10.2017
- 17.10.2017.
A. Ciabattoni:
"How to Reach Heaven: Different career paths";
Vortrag: 2nd Logic Mentoring Workshop,
Reykjavik (eingeladen);
18.06.2017.
A. Ciabattoni:
"Hypersequent calculi for Gödel logics - a survey";
Vortrag: 2nd Moscow-Vienna Workshop on Logic and Computation,
Moscow, Russia (eingeladen);
26.04.2002.
A. Ciabattoni:
"Hypersequent calculi for non-classical logics";
Vortrag: TABLEAUX 2003,
Roma, Italy (eingeladen);
2003.
A. Ciabattoni:
"Intermediate logics: from hypersequents to parallel computation";
Vortrag: British Colloquium for Theoretical Computer Science 2018,
London (eingeladen);
26.03.2018
- 28.03.2018.
A. Ciabattoni:
"Logic-based process calculi: Gödel logic and beyond";
Vortrag: Workshop Open Problems in Concurrency Theory II,
Klosterneuburg (eingeladen);
26.06.2017
- 29.06.2017.
A. Ciabattoni:
"Modular cut-elemination: finding proofs or counterexamples";
Vortrag: 13th International Conference on Logic for Programming ,Artificial Intellegence and Reasoning (LPAR),
Phnom Penh, Cambodia;
04.11.2006
- 20.11.2006.
A. Ciabattoni:
"Non classical proofs: Theory, applications and tools";
Vortrag: Prague Seminar on Substructural Logics,
Prag, Czech Republic;
28.03.2014
- 29.03.2014.
A. Ciabattoni:
"Nonclassical Proofs: theory, applications, and tools";
Vortrag: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory",
Innsbruck;
26.10.2011
- 28.10.2011.
A. Ciabattoni:
"Nonclassical proofs: theory, applications, and tools";
Vortrag: Logical Models of Reasoning and Computation (LMRC12),
Moskau, Russia (eingeladen);
01.02.2012
- 03.02.2012.
A. Ciabattoni:
"Normative reasoning in Mīmāṃsā: A deontic logic approach";
Vortrag: ICLA 2021 9th Indian Conference on Logic and its Applications,
online (eingeladen);
04.03.2021.
A. Ciabattoni:
"Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical Logics";
Vortrag: Workshop on Logic and Computation,
Kanazawa, Japan (eingeladen);
08.02.2011
- 09.02.2011.
A. Ciabattoni:
"Power andl limits of structural rules";
Vortrag: LIX Colloquium 2013: Theory and Application of Formal Proofs,
Paris, France (eingeladen);
05.11.2013
- 07.11.2013.
A. Ciabattoni:
"Proof Search and Co-NP Completeness for Many-Valued Logics";
Vortrag: Konferenz zu Coherence & Truth-In memoriam Franco Montagna,
Pontignano (eingeladen);
16.12.2015
- 18.12.2015.
A. Ciabattoni:
"Proof theory meets semantics: the case of substructural logics";
Hauptvortrag: Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015),
Denton, Texas (eingeladen);
08.06.2015
- 12.06.2015.
A. Ciabattoni:
"Proof theory of fuzzy logics based on t-norms - an overview";
Vortrag: 2nd Insternational Workshop on Analytic Proof Systems (im Rahmen von LPAR2006),
Phnom Penh, Cambodia;
04.11.2006
- 20.11.2006.
A. Ciabattoni:
"Proof-Theory for Non-Classical Logics: Sequent calculi and beyond";
Vortrag: International Summer School for Proof Theory,
Funchal;
22.08.2017
- 27.08.2017.
A. Ciabattoni:
"Semantic characterization of cut-elimination";
Vortrag: International Conference Logic, Model and Computer Science,
Camerino, Italy;
20.04.2006
- 22.04.2006.
A. Ciabattoni:
"Systematic (and algebraic) proof theory for substructural logics";
Vortrag: International Workshop PCC-Proof, Computation, Complexity,
Bern (eingeladen);
18.06.2010
- 19.06.2010.
A. Ciabattoni:
"Systematic (and algebraic) proof theory for substructural logics";
Vortrag: Truth, Proof and Consequence. Perspectives on Logic,
Pisa, Italien;
28.02.2011.
A. Ciabattoni:
"Systematic proof theory for Many-valued logics";
Vortrag: ManyVal´12 (In honor of Antonio Di Nola´s 65th birthday),
Salerno, Italy;
04.07.2012
- 07.07.2012.
A. Ciabattoni:
"Systematic proof theory for substructural logics and applications";
Vortrag: Mathematics for Computation,
Niederaltaich;
08.05.2016
- 13.05.2016.
A. Ciabattoni:
"Tools for the investigation of substructural and paraconsistent logics";
Hauptvortrag: XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni,
Pisa (eingeladen);
14.04.2014
- 17.04.2014.
A. Ciabattoni:
"Towards a semantic characterization of cut elimination";
Vortrag: Second Florence - Vienna Workshop on Logic and Computation,
Florenz, Italy;
01.11.2005
- 04.11.2005.
A. Ciabattoni:
"Towards a semantic characterization of cut-elimination";
Vortrag: 5th Workshop on Structural Proof Theory,
Bern, Switzerland;
10.11.2005
- 11.11.2005.
A. Ciabattoni:
"Towards a semantic characterization of cut-elimination";
Vortrag: Workshop on Logic and Computation,
Paris, France;
19.12.2005.
A. Ciabattoni:
"Towards a semantic characterzation of cut-elemination";
Vortrag: Seminar house,
Kusatsu Onsen, Japan;
02.03.2006
- 16.03.2006.
A. Ciabattoni:
"Uniform standard completeness proofs";
Vortrag: Collegium Logicum 2007,
Wien, TU Wien;
24.10.2007
- 25.10.2007.
A. Ciabattoni, M. Baaz:
"Proof theory for non-classical logics: a negative result";
Vortrag: Pisa Summer Workshop on Proof Theory,
Pisa, Italy;
12.06.2012
- 15.06.2012.
A. Ciabattoni, F. Genco:
"Hypersequents and Systems of Rules: An Embedding";
Vortrag: Syntax Meets Semantics 2016,
Barcelona;
05.09.2016
- 09.09.2016.
A. Ciabattoni, F. Genco, F. Aschieri:
"Intermediate Logic Proofs as Concurrent Programs";
Vortrag: Conference: Syntax meets Semantics (SYSMICS) 2019,
Amsterdam;
21.01.2019
- 25.01.2019.
A. Ciabattoni, A. Zamansky:
"Basic contructive connectives, determinism and matric-based semanticst";
Vortrag: TABLEAUX 2011,
Bern, Switzerland;
04.07.2011
- 08.07.2011.
Dissertationen (eigene und begutachtete)
P. Baldi:
"Standard completeness: Proof-theoretic and algebraic methods";
Betreuer/in(nen), Begutachter/in(nen): A. Ciabattoni, G Metcalfe;
Institut für Computersprachen,
2015;
Rigorosum: 12.08.2015.
F. Genco:
"Intermediate logics and concurrent lambda-calculi: a proof theoretic approach";
Betreuer/in(nen), Begutachter/in(nen): A. Ciabattoni, E. Bartocci;
Institut für Logic und Computation,
2019;
Rigorosum: 08.05.2019.
T. Lyon:
"Refining Labelled Systems for Modal and Constructive Logics with Applications";
Betreuer/in(nen), Begutachter/in(nen): A. Ciabattoni, R. Ramanayake;
Logic and Computation,
2021;
Rigorosum: 29.07.2021.
L. Spendier:
"Tools for the investigation of non-classical logics";
Betreuer/in(nen), Begutachter/in(nen): A. Ciabattoni, E. Pimentel;
Institut für Computersprachen,
2015;
Rigorosum: 18.06.2015.
Diplom- und Master-Arbeiten (eigene und betreute)
P. Geisler:
"The GUHA-Method and its applications";
Betreuer/in(nen): A. Ciabattoni;
Logic and Computation,
2021.
K. Kueffner:
"A comprehensive Survey of the Actual Causality Literature";
Betreuer/in(nen): A. Ciabattoni;
Logic and Computation,
2021;
Abschlussprüfung: 15.11.2021.
S. Pavlovic:
"Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules";
Betreuer/in(nen): A. Ciabattoni;
Institut für Logic and Computation,
2018;
Abschlussprüfung: 15.10.2018.
B. Schiehl:
"A fuzzy extension of the unruptured intracranial aneurysm treatment score";
Betreuer/in(nen): A. Ciabattoni;
Logic and Computation,
2021.
D. Sommer:
"Feedback on Oral Exams -- a new Approach Supported by Speech Recognition";
Betreuer/in(nen): A. Ciabattoni;
Logic and Computation,
2021.