2019W

• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A26
• Introduction to Logical Methods in Computer Science / VO / 184.766
• Logic and Computability / VU / 185.A45
• Project in Computational Logic / PR / 185.302
• Project in Computer Science 1 / PR / 185.A36
• Project in Computer Science 2 / PR / 185.A37
• Project in Software Engineering & Internet Computing / PR / 185.A38
• Research Seminar for Master and PhD students / SE / 185.A39
• Research Seminar LogiCS / SE / 184.767
• Theoretical Computer Science and Logics / VU / 185.278

2020S

• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A26
• Formal Modelling / VU / 185.A06
• Introduction to Logical Methods in Computer Science / VO / 184.766
• Non-classical Logics / VU / 192.085
• Project in Computer Science 1 / PR / 185.A36
• Project in Computer Science 2 / PR / 185.A37
• Research Seminar for Master and PhD students / SE / 185.A39
• Research Seminar LogiCS / SE / 184.767
• Seminar in Artificial Intelligence / SE / 192.086
• Seminar in Logic / SE / 185.316

 

• From Semantic Games to Analytic Calculi – and Back
  2019 – 2023 / Austrian Science Fund (FWF)
• Modeling vague quantifiers in mathematical fuzzy logic
  2015 – 2018 / Austrian Science Fund (FWF)
• A novel decision support system for training and diagnosis in dermatology
  2013 – 2015 / Austrian Research Promotion Agency (FFG)
• A Logical Framework for Dialogue Games
  2013 – 2017 / Austrian Science Fund (FWF)
• LogICCC - Contextualism, supervaluation, and fuzzy logic
  2008 – 2013 / Austrian Science Fund (FWF)
• Dialogue Game Semantics for Fuzzy Logics
  2006 – 2008 / Austrian Science Fund (FWF)
• Decision Procedures and Model Building for Fuzzy Logics
  2003 – 2005 / FWF, Der Wissenschaftsfonds

2019

• Judgment Aggregation From a Many-valued Logic Perspective / C. Fermüller / Keynote Lecture: Nonclassical Logics and Judgment Aggregation, Prag; 2019-11-07 - 2019-11-10
• Modalities as prices: a game model of intuitionistic linear logic with subexponentials / C. Fermüller / Talk: GaLoP 2019 14th Workshop on Games for Logic and Programming Languages, Prag; 2019-04-06 - 2019-04-07
• Argumentation Based Semantics for Nonclassical Logics / C. Fermüller / Keynote Lecture: A primer of formal argumentation, Milano; 2019-01-29 - 2019-01-31
• Connecting fuzzy logic and argumentation frames via logical attack principles / E Corsi, C. Fermüller / Soft Computing, 23 (2019), 7; 2255 - 2270
• A Game Model for Proofs with Costs / T Lang, C. Olarte, E. Pimentel, C. Fermüller / Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 241 - 258

2018

• A cost conscious game model for intutionistic linear logic with subexponentials / C. Fermüller / Talk: FISP Workshop (3rd FISP Meeting), Vienna; 2018-12-07 - 2018-12-08
• Substructural Calculi and Games of Information Extraction / C. Fermüller / Talk: Forschungsseminar Informatik, Uni Bamberg, Bamberg; 2018-07-09
• Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning / C. Fermüller / Keynote Lecture: Models of Bounded Reasoning in Individuals and Groups, Leiden, Netherlands; 2018-07-02 - 2018-07-05
• Exploring Argumentation Based Semantics for Relevance Logic / C. Fermüller / Talk: AsubL (Algebra & Substructural Logics- Take 6), Cagliari, Italy; 2018-06-11 - 2018-06-13
• Games and analytic proof systems / C. Fermüller / Keynote Lecture: PhDs in Logic X, Prague; 2018-05-01 - 2018-05-04
• Interpretpreting Substructural Logics by Games of Information Extraction / C. Fermüller, T Lang / Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15
• On the Expressivity of the Propositional Fragment of Independence Friendly Logic / O. Majer, C. Fermüller / Talk: Games for Logic and Programming Languages XIII, Thessaloniki, Greece; 2018-04-14 - 2018-04-15
• From Lorenzen´s dialogue game to game semantics for substructural logics / C. Fermüller / Talk: Paul Lorenzen: Mathematician and Logician, Konstanz; 2018-03-08 - 2018-03-09
• On Semantic Games for Łukasiewicz Logic / C. Fermüller, O. Majer / in: "Jaakko Hintikka on Knowledge and Game-Theoretical Semantics", H. van Ditmarsch, G. Sandu (ed.); Springer, 2018, ISBN: 978-3-319-62863-9, 263 - 278
• Connecting fuzzy logic and argumentation frames via logical attack principles / E Corsi, C. Fermüller / Soft Computing, (online first) (2018), 1 - 16
• Probabilistic interpretations of argumentative attacks: logical and experimental foundations / N. Pfeifer, C. Fermüller / in: "Proceedings of the 11th Workshop on Uncertainty Processing (WUPES´18) Trebon, Czech Republic", V. Kratochvil, J. Vejnarova (ed.); MatfyzPress, Publishing House of the Faculty of Mathematics and Physics Charles University, Prague, Czech Republic, 2018, ISBN: 978-80-7378-361-7, 141 - 152
• Review of "Fuzzy Logic and Mathematics: A Historical Perspective" / C. Fermüller / Notre Dame Philosophical Reviews (invited), (online) (2018)
• A Granularity Approach to Vague Quantification / C. Fermüller / Talk: IUKM 2018, International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, Hanoi; 2018-03-15 - 2018-03-17; in: "IUKM 2018. International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making", V. Hunyh et al. (ed.); International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, LNCS 10758 (2018), ISBN: 978-3-319-75428-4; 3 - 14
• From semi-abstract argumentation to logical consequence / E Corsi, C. Fermüller / Talk: Argumentation and Inference - 2nd European Conference on Argumentation, Fribourg, Schweiz; 2017-06-20 - 2017-06-23; in: "Argumentation and Inference, Proceedings of the 2 nd European Conference on Argumentation", S. Oswald, D. Mailat (ed.); College Publications, Studies in Logic, Volume 77 (2018), ISBN: 978-1-84890-284-8; 151 - 164

2017

• Connecting fuzzy logic and argumentation frames via logical attack principles / C. Fermüller / Talk: ManyVal 2017, Toulouse, Frankreich; 2017-11-14 - 2017-11-17
• Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics / C. Fermüller / Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17
• A logical perspective on argumentation / C. Fermüller / Keynote Lecture: Metaphor and Argumentation, Cagliari, Italy (invited); 2017-05-25 - 2017-05-27
• Querying with Vague Quantifiers Using Probabilistic Semantics / C. Fermüller, M. Hofer, M. Ortiz de la Fuente / Talk: 12th International Conference on Flexible Query Answering Systems, London, UK, June 21-22, 2017, London; 2017-06-21 - 2017-06-22; in: "Proceedings of Flexible Query Answering Systems 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017", H. Christiansen et al. (ed.); Springer, (2017), ISBN: 978-3-319-59692-1; 15 - 27
• Interpreting Sequent Calculi as Client-Server Games / C. Fermüller, T Lang / Talk: TABLEAUX 2017, Brasilia; 2017-09-25 - 2017-09-28; in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017", R. Schmidt et al. (ed.); Springer, LNCS 10501 (2017), ISBN: 978-3-319-66901-4; 98 - 113
• From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games / P. Baldi, C. Fermüller / Talk: EUSFLAT-2017 and IWIFSGN'2017, Warschau; 2017-09-11 - 2017-09-15; in: "Proceedings of: EUSFLAT-2017", 641 (2017), ISBN: 978-3-319-66829-1; 112 - 124
• Logical Argumentation Principles, Sequents, and Nondeterministic Matrices / E Corsi, C. Fermüller / Talk: Logic, Rationality, and Interaction - LORI VI, Sapporo, Japan; 2017-09-11 - 2017-09-14; in: "Logic, Rationality, and Interaction. LORI 2017", A Baltag et al. (ed.); Springer, LNCS 10455 (2017), ISBN: 978-3-662-55664-1; 422 - 437
• Hintikka Style Game Rules for Semi-Fuzzy Quantifiers / C. Fermüller, M. Hofer / Talk: 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), Novi Sad; 2017-05-22 - 2017-05-24; in: "Proceedings of IEEE International Symposium on Multiple-Valued Logic, Novi Sad, Serbia", J. Pantovic (ed.); (2017), ISBN: 978-1-5090-5496-1; 106 - 111

2016

• Giles' Game - Recent Developments and Challenges / C. Fermüller / Talk: Magica 16, Mailand (invited); 2016-09-26 - 2016-09-27
• Interpreting Sequent Calculi as Client-Server Games / C. Fermüller / Talk: Syntax Meets Semantics 2016, Barcelona (invited); 2016-09-05 - 2016-09-09
• The future of MFL: pure math or seriously interdisciplinary? / C. Fermüller / Talk: The Future of Mathematical Fuzzy Logic, Prague; 2016-06-16 - 2016-06-18
• Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation / C. Fermüller / Talk: Workshop on New Trends in Belief Change, Vienna; 2016-05-10
• Game semantics for vague quantification / C. Fermüller / in: "The Logica Yearbook 2015", issued by: Pavel Arazim, Michal Dancak; College Publications, 2016, (invited), ISBN: 978-1-84890-213-8, 71 - 86
• On matrices, Nmatrices and games / C. Fermüller / Journal of Logic and Computation, 26 (2016), 1; 189 - 211
• Representing strategic games and their equilibria in many-valued logics / L. Behounek, P. Cintula, C. Fermüller, T. Kroupa / Logic Journal of the IGPL, 24 (2016), 3; 238 - 267
• Semantic Games with Backtracking for T-norm Based Fuzzy Logics / C. Fermüller / Journal of Multiple-Valued Logic and Soft Computing, 26 (2016), 1-2; 157 - 173

2015

• Lorenzen-style Dialogues and Substructural Sequent Systems / C. Fermüller / Talk: Workshop on Logica Dialogue Games, Wien; 2015-09-21 - 2015-09-26
• Equilibrium Semantics for IF-Logic and Many-Valued Connectives / C. Fermüller / Talk: TbiLLC 2015: 11th International Tbilisi Symposium on Language, Logic and Computation, Tiflis; 2015-09-21 - 2015-09-26
• Connecting Lorenzen style games and Gentzen style calculi / C. Fermüller / Keynote Lecture: CiE 2015 - Evolving Computability, Bucharest (invited); 2015-06-29 - 2015-07-03
• Game Semantics for Vague Quantifiers / C. Fermüller / Talk: Logica 2015, Hejnice; 2015-06-15 - 2015-06-19
• Hintikka-style semantic games for many-valued logics / C. Fermüller / Talk: Seminar of Logic Group at University of Milano, Mailand (invited); 2015-05-28
• Handbook of Mathematical Fuzzy Logic, Volume 3 / P. Cintula, C. Fermüller, C. Noguera / in series "Mathematical Logic and Foundations", series editor: S. Artemov et al.; College Publications, 2015, ISBN: 978-1-84890-193-3
• Equilibrium Semantics for IF Logic and Many-Valued Connectives / C. Fermüller, O. Majer / in: "Logic, Language, and Computation. TbiLLC 2015", H Hansen et al. (ed.); Springer, LNCS 10148, 2015, ISBN: 978-3-662-54331-3, 290 - 312
• Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic / M. Baaz, C. Fermüller / Talk: Annual Conference of the European Association for Computer Science Logic (CSL), Berlin; 2015-10-07 - 2015-10-10; in: "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)", S. Kreutzer (ed.); LIPIcs 41 (2015), ISBN: 978-3-939897-90-3; 14 pages
• Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification / C. Fermüller / Talk: IUKM 2015, Nha Trang, Vietnam; 2015-10-15 - 2015-10-17; in: "IUKM 2015", V.-N. Huynh, M. Inuiguchi, T. Denoeux (ed.); Springer, LNCS 9376 (2015), ISBN: 978-3-319-25134-9; 19 - 31

2014

• Vagueness and logical dialogue games / C. Fermüller / Talk: Workshop on Vagueness via Nonclassical Logics, Sydbey, Australien; 2014-12-17 - 2014-12-20
• From truth-functional to substructural logics via semantic games / C. Fermüller / Talk: AsubL take 5, Mrlbourne, Australien; 2014-12-13 - 2014-12-15
• n Equilibrium Semantics for IF-Logic and Many-Valued Connectives / C. Fermüller / Talk: ISRALOG 2014, Haifa, Israel; 2014-09-29 - 2014-10-01
• Parallel Dialogue Games and Hypersequents / C. Fermüller / Talk: Workshop on Proofs as Processes, Kanazawa, Japan; 2014-01-20 - 2014-01-21
• Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic / C. Fermüller, Ch Roschger / in: "Petr Hajek on Mathematical Fuzzy Logic", F. Montagna (ed.); Springer, Heidelberg, 2014, ISBN: 978-3-319-06232-7, 91 - 116
• Randomized game semantics for semi-fuzzy quantifiers / C. Fermüller, Ch Roschger / Logic Journal of the IGPL, 22 (2014), 3; 413 - 439
• From Games to Truth Functions: A Generalization of Giles's Game / C. Fermüller, Ch Roschger / Studia Logica, 102 (2014), 2; 389 - 410
• Semantic Games with Backtracking for Fuzzy Logics / C. Fermüller / Talk: ISMVL 2014, Bremen; 2014-05-19 - 2014-05-21; in: "Proceedings of 44th International Symposium on Multiple-Valued Logic, {ISMVL}", (2014), 38 - 43
• Hintikka-Style Semantic Games for Fuzzy Logics / C. Fermüller / Talk: 8th International Symposium, FoIKS 2014, Bordeaux, Frankreich; 2014-03-03 - 2014-03-07; in: "Foundations of Information and Knowledge Systems-- 8th International Symposium, FoIKS 2014, Bordeaux", C. Beierle et al. (ed.); LNCS/Springer, Heidelberg (2014), ISBN: 978-3-319-04939-7; 193 - 210

2013

• Game Based Interpretations of Mathematical Fuzzy Logics / C. Fermüller / Talk: 2nd Workshop on Algebraic Logics and Mathematical Fuzzy Logic, Prag; 2013-11-29
• Many Values in Semantic Games / C. Fermüller / Talk: Logica, Hejnice, Czech Republic; 2013-09-13
• Semantic games and hypersequents - a case study in many valued reasoning / C. Fermüller / Talk: Seminar of the Munich Center for Mathematical Philosophy, München, Deutschland; 2013-05-02
• Games semantics for deterministic and nondeterministic many-valued logics / C. Fermüller / Talk: UniLog 2013, Rio de Janeiro; 2013-03-29 - 2013-04-07
• LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. / A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller / in series "EasyChair Proceedings in Computing", series editor: A. Voronkov, G. Sutcliffe, M. Baaz, C. Fermüller; EasyChair, 2013, ISSN: 2040-557x, 63 pages
• On matrices, Nmatrices and games / C. Fermüller / Journal of Logic and Computation, 1 (2013), 1 - 23

2012

• From Giles's game for reasoning in physics to analytic proof systems for fuzzy logics / C. Fermüller / Talk: OASIS: The Oxford Advanced Seminar on Informatic Structures, Oxford, UK; 2012-11-23
• On Matrices, Nmatrices, and Games / C. Fermüller / Talk: Logic: Between Semantics and Proof Theory, Tel-Aviv (invited); 2012-11-01 - 2012-11-02
• Randomizing Giles´s Game for Fuzzy Quantification / C. Fermüller / Talk: Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives, Riga, Latvia; 2012-05-18 - 2012-05-20
• 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
• On the Algorithmic Complexity of Vague Descriptions / C. Fermüller / in: "Int. Proceedings of Computer Science and Information Technology", F. Hong (ed.); IACSIT Press, Singapore, 2012, ISBN: 978-981-07-1883-1, 39 - 44
• Randomized Game Semantics for Semi-fuzzy Quantifiers / C. Fermüller, Ch Roschger / Talk: 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy; 2012-07-09 - 2012-07-13; in: "Advances in Computational Intelligence. Part IV", Springer, 300 (2012), ISBN: 978-3-642-31714-9; 632 - 641
• Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification / C. Fermüller, Ch Roschger / Talk: Konference on Logic, Algebra and Truth Degrees 2012, Kanazawa, Ishikawa, Japan; 2012-09-10 - 2012-09-14; in: "Logic, Algebra and Truth Degrees 2012 - Book of Abstracts", N Preining, K. Terui (ed.); Jaist, (2012), 71 - 75

2011

• Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: Logikseminar des Instituts für Mathematik, Bern, Schweiz (invited); 2011-11-26
• Logical Models of Reasoning with Vague Information / C. Fermüller / Talk: LogICCC Final Conference, Berlin, Germany (invited); 2011-09-15 - 2011-09-18
• How to justify your favorite logical system? - A case study / C. Fermüller / Talk: Workshop STRUCTURAL, Paris, France (invited); 2011-06-15 - 2011-06-17
• Vague and Uncertain Entailment - Some Conceptual Clarifications / C. Fermüller / Talk: Workshop: Conditionals, Counterfactuals and Causes in Uncertain Environments, Düsseldorf, Germany (invited); 2011-05-19 - 2011-05-22
• Parallel dialogue games and hypersequents / C. Fermüller / Talk: Proof and Dialogues (ProDi), Tübingen, Deutschland (invited); 2011-02-25 - 2011-02-27
• Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09
• Logic and Vagueness. Report from an Interdisciplinary Battle Ground / C. Fermüller / Talk: LogICCC Meets India, New Dehli (invited); 2011-01-07 - 2011-01-08
• Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland / C. Fermüller / in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 199 - 202
• A Conversation About Fuzzy Logic and Vagueness / C. Fermüller, P. Hajek / in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 405 - 416
• Comments on Vagueness: A Mathematicians's Perspective by Thomas Vetterlein / C. Fermüller / in: "Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives", P. Cintula, C. Fermüller et al. (ed.); College Publications, London, 2011, ISBN: 978-1-84890-037-0, 87 - 90
• Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives / P. Cintula, C. Fermüller, L. Godo, P. Hajek / College Publications, London, 2011, ISBN: 978-1-84890-037-0
• A Game Based Approach to Quantification in Lukasiewicz Logic / C. Fermüller / Talk: NCMPL 2011, Guangzhou; 2011-09-05 - 2011-09-09; in: "Non-classical Modal and Predicate Logics 2011", P. Cintula, S. Ju et al. (ed.); F-Solutions, Prag (2011), 58 - 63

2010

• Is there a role for fuzzy logic in linguistics? / C. Fermüller / Talk: Workshop on 'Vague Quantities and Vague Quantifiers (VQ2)', Berlin (invited); 2010-12-08 - 2010-12-09
• Formal Rationality Principles in Logical Dialogue Games / C. Fermüller / Talk: Logic, Reasoning and Rationality - LRR10, Gent, Belgien; 2010-10-20 - 2010-10-22
• On Dialogue Games for Multi-Valued Logics / C. Fermüller / Talk: Logic, Algebra and Truth Degrees - LATD 2010, Prag, Tschechische Republik; 2010-09-07 - 2010-09-11
• Relations between Medieval and Modern Logical Dialogue Games / C. Fermüller / Talk: International Medieval Congress 2010, Leeds, UK (invited); 2010-07-12 - 2010-07-15
• A Generalization of Giles's Game / C. Fermüller / Talk: Algebra and Substructural Logics - AsubL4, Kanazawa, Japan; 2010-06-08 - 2010-06-10
• From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic / Ch Roschger, C. Fermüller / Talk: ManyVal 2010, Varese, Italien (invited); 2010-05-03 - 2010-05-05
• Some Critical Remarks on Incompatibility Semantics / C. Fermüller / in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2010, ISBN: 978-1-848900097, 81 - 96
• On Giles style dialoques games and hypersequent systems / C. Fermüller / in: "Probability, Uncertainty and Rationality", H. Hosni, F. Montagna (ed.); issued by: Fondazione Monte dei paschi di Siena; Editioni Della Normale, Pisa, 2010, ISBN: 978-88-7642-347-5, 169 - 197
• Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17 / C. Fermüller, A. Voronkov / in series "LNCS", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2010, ISBN: 978-3-642-16241-1, 656 pages
• Review: Vagueness and Degrees of Truth / C. Fermüller / Australasian Journal of Logic, 9 (2010), 1 - 9
• A resolution mechanism for Prenex Gödel logic / M. Baaz, C. Fermüller / in: "Computer Science Logic (LNCS 6247/2010)", A. Dawar, H. Veith (ed.); Springer, 2010, 67 - 79

2009

• Giles's Game and the Proof Theory of Lukasiewicz Logic / C. Fermüller / Keynote Lecture: Probability, Uncertainty and Rationality, Pontignano, Italy; 2009-11-01 - 2009-11-03
• Vagueness at the interface between logic, philosophy, and linguistics / C. Fermüller / Talk: Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic (invited); 2009-09-14 - 2009-09-17
• Linguistics, Logic, and Vagueness / C. Fermüller / Talk: Moscow-Vienna Workshop on Logic and Computation, Vienna; 2009-06-29 - 2009-07-02
• Some Critical Remarks on Incompatibility Semantics / C. Fermüller / Talk: Logica 2009, Hejnice, Czech Republic; 2009-06-22 - 2009-06-26
• Fuzzy logic and vagueness: can philosophers learn from Petr Hajek? / C. Fermüller / in: "Witnessed Years. Esseays in Honour of Petr Hajek", P. Cintula, Z. Hanikova, V. Svejdar (ed.); College Publications, 2009, ISBN: 978-1-904987-63-5, 373 - 386
• Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation / C. Fermüller / in: "Games: Unifying Logic, Language, and Philosophy", O. Majer, T. Tulenheimo, A. Pietarinen (ed.); Springer Science, 2009, ISBN: 978-1-4020-9373-9, 209 - 227
• Dialogue Games as Foundation of Fuzzy Logics / C. Fermüller / in: "Studies in Fuzziness and Soft Computing, Vol 243", R. Seising, J. Kacprzyk (ed.); Springer, 2009, ISBN: 978-3-540-93801-9, 229 - 247
• Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / in: "The Logica Yearbook 2008", M. Pelis (ed.); College Publications, 2009, ISBN: 978-1-904987-46-8, 43 - 57
• Giles's Game and the Proof Theory of Lukasiewicz Logic / C. Fermüller, G Metcalfe / Studia Logica, 92 (2009), 27 - 81
• Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic / C. Fermüller, Ch Roschger / in: "Proceedings of the 8th Workshop on Uncertainty Processing", T. Kroupa, J. Vejnarova (ed.); issued by: European Science Foundation; Universtiy of Economics, Prague, 2009, ISBN: 978-80-245-1543-4, 71 - 79
• Dialogue games and the proof theory of fuzzy logics - a review and outlook / C. Fermüller / Talk: Linz 2009, Linz; 2009-02-03 - 2009-02-07; in: "The Legacy of 30 Seminars - Where do we stand and where do we go?", U. De Baets, U Bodenhofer et al. (ed.); (2009), 42 - 45

2008

• Brandom's 'incompatibilty semantics' / C. Fermüller / Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2008-11-20
• LoMoReVI -- Logical Models of Reasoning with Vague Information / C. Fermüller / Talk: LogICCC Launch Conference of the European Science Foundation, Prag (invited); 2008-10
• On the interpretation of t-norm based fuzzy logics / C. Fermüller / Keynote Lecture: LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena; 2008-09
• Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / Talk: LOFT 2008, 8th Conference on Logic and the Foundations of Game and Decision Theory, Amsterdam; 2008-07
• Truth Value Intervals, Bets, and Dialogue Games / C. Fermüller / Talk: Logica 2008, Hejnice; 2008-06
• Dialogue games as foundations of non-classical logics / C. Fermüller / Keynote Lecture: Non-classical Logics: from Foundations to Applications, Pisa (invited); 2008-04
• Dialoque Games for Many-Valued Logics - an Overwiew / C. Fermüller / Studia Logica, 90 (2008), 43 - 68
• 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

• Some Remarks on Imprecise Truth Values / C. Fermüller / Talk: "Two and beyond", KGS Workshop on Fuzzy Logic and Proof Theory, Barcelona, Spain (invited); 2007-11
• 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
• Interpreting interval based fuzzy logics / C. Fermüller / Talk: Analytic Proof Systems 3, 3rd International Workshop on Analytic Proof Systems, Yerevan, Armenia (invited); 2007-10
• Fuzzy Logic and Theories of Vagueness / C. Fermüller / Talk: Fuzzy Logic Seminar of the CAS, Institute of Computer Science, Prague, Czech Republic (invited); 2007-09
• Games in logic and logic in games / C. Fermüller / Talk: Institute Vienna Circle, Wien (invited); 2007-09
• Dialogue games as foundations of fuzzy logics / C. Fermüller / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Wien; 2007-07
• Logische Dialogspiele als formale Semantik / C. Fermüller / Talk: Institute Vienna Circle, Wien (invited); 2007-04
• Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic / C. Fermüller / Talk: Fuzzy Sets, Probability, and Statistics -- Gaps and Bridges, 28th Linz Seminar on Fuzzy Sets, Linz (invited); 2007-02
• 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
• Model Representation over Finite and Infinite Signatures / C. Fermüller, R. Pichler / Journal of Logic and Computation, 17 (2007), 3; 453 - 477
• Fuzzy Logic and Theories of Vagueness / C. Fermüller / Keynote Lecture: 5th EUSFLAT Conference, Ostrava, Czech Republic (invited); 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", (2007), ISBN: 978-80-7368-386-3; 17
• Exploring Dialogue Games as Foundation of Fuzzy Logic / C. Fermüller / Talk: 5th EUSFLAT Conference, Ostrava, Czech Republic; 2007-09-11 - 2007-09-14; in: "New Dimensions in Fuzzy Logic and Related Technologies", M Stepnicka, V Novak, U Bodenhofer (ed.); 1 (2007), ISBN: 978-80-7368-386-3; 437 - 444
• 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

2006

• Theorien der Vagheit und Fuzzy Logic / C. Fermüller / Talk: Kolloquium Institut Wiener Kreis (IVC), Wien (invited); 2006-10-12
• Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth / C. Fermüller / Talk: Uncertainty: Reasoning about probability and vagueness, Prague International Colloquium, Prague, Cech Republic; 2006-09-30
• Game based semantics for Lukasiewicz logic: acquainting Giles's gamblers with Mundici's Pinocchio / C. Fermüller / Talk: Studia Logica International Conference `Towards Mathematical Philosophy -- Trends in Logic IV', Turun, Poland; 2006-09-26
• Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents / C. Fermüller / Talk: Universita degli Studi di Siena, Siena, Italy (invited); 2006-05-31
• Combining Supervaluation and Degree Based Reasoning Under Vagueness / C. Fermüller, R Kosik / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Phnom Penh, Cambodia; 2006-11-13 - 2006-11-17; in: "Logic for Programming, Artificial Intelligence, and Reasoning", Springer, LNAI 4246 (2006), ISBN: 978-3-540-48281-9; 212 - 226
• Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 10th European Conference, JELIA 2006, Liverpool, UK; 2006-09-13 - 2006-09-15; in: "Logics in Artificial Intelligence (LNAI)", Springer-Verlag, LNAI 4160 (2006), ISBN: 3-540-39625-x; 164 - 176

2005

• From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Dpt. of Computer Sciences, Czech Academy of Sciences, Prague, Cech Republic; 2005-12-05
• From classical to many-valued reasoning via dialogue games / C. Fermüller / Talk: Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2005-11-02 - 2005-11-05
• The Enigma of Quantifying Vague Information / C. Fermüller / Talk: The Logic of Soft Computing~IV and 4th ERCIM, Ostrava, Czech Republic; 2005-10-05 - 2005-10-07
• Decision Procedure and Model Building Based on Hypersequent Calculi / C. Fermüller / Talk: LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay; 2005-03-13
• The Resolution Principle / A. Leitsch, C. Fermüller / in: "Handbook of Philosophical Logic, 2nd ed., Volume 12", D.M. Gabbay, F. Guenthner (ed.); Springer, Dordrecht, Netherlands, 2005, 87 - 173
• 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
• Analytic Systems and Dialogue Games / C. Fermüller / Talk: TABLEAUX 2005, 14th Intl Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Koblenz, Germany (invited); 2005-09-14 - 2005-09-17; in: "TABLEAUX 2005, Position Papers and Tutorial Descriptions", B Beckert (ed.); Fachberichte Informatik, Universität Koblenz-Landau (2005), ISSN: 1860-4471; 43 - 52
• Model Representation via Contexts and Implicit Generalizations / C. Fermüller, R. Pichler / Talk: 20th International Conference on Automated Deduction, Tallinn, Estland; 2005-07-22 - 2005-07-27; in: "Automated Deduction - CADE-20", Springer Science + Business Media, LNAI 3632 (2005), ISBN: 3-540-28005-7; 409 - 423

2004

• Fuzzy Logics from First Principles / C. Fermüller / Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris (invited); 2004-12-13 - 2004-12-14
• Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics / C. Fermüller / Talk: Logic, Games and Philosophy - Foundational Perspectives, Prague, Czech Republic; 2004-09-28 - 2004-10-01
• Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents / C. Fermüller / Talk: COS - ESF Exploratory Workshop ``The Challenge of Semantics', Vienna (invited); 2004-07-12 - 2004-07-17
• Dialogue games as foundation of fuzzy logics / C. Fermüller / Talk: 3rd Moscow-Vienna Workshop on Logic and Computation, Moscow (invited); 2004-05-31 - 2004-06-01
• A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / C. Fermüller / Talk: First Florence-Vienna Workshop on Logic and Computation, Florence, Italy; 2004-01-27 - 2004-01-30

2003

• 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
• Theories of Vagueness Versus Fuzzy Logic: Can Logicians Learn from Philosophers? / C. Fermüller / Neural Network World (invited), 13 (2003), 5; 455 - 466
• 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
• A dialogue game for intuitionistic fuzzy logic based on comparisons of degrees of truth / C. Fermüller, N. Preining / in: "Proceedings of the International Conference on Intelligent Technologies 2003", Institute for Science and Technology Research and Development, Chiang Mai University, Thailand, 2003, ISBN: 974-658-151-1, 142 - 151
• MUltlog and MUltseq reanimated and married / M. Baaz, C. Fermüller, A. Gil, G. Salzer, N. Preining / in: "Proceedings of the 4th Workshop on the Implementation of Logics", B. Konev, R. Schmidt (ed.); University of Liverpool, 2003, 5 pages
• A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / C. Fermüller, N Preining / Talk: InTech`03, Fourth International Conference on Intelligent Technologies, Chiang Mai, Thailand; 2003-12-17 - 2003-12-19; in: "InTech`03", (2003), ISBN: 974-658-151-1; 8 pages
• A translation characterizing the constructive content of classical theories / M. Baaz, C. Fermüller / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Almaty, Kazakhstan; 2003-09-22 - 2003-09-26; in: " Logic for Programming, Artificial Intelligence and Reasoning", Springer, LNAI 2850 (2003), ISBN: 3-540-20101-7; 107 - 121
• Parallel Dialogue Games and Hypersequents for Intermediate Logics / C. Fermüller / Talk: TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods, Rome, Italy; 2003-09-09 - 2003-09-12; in: "Automated Reasoning with Analytic Tableaux and Related Methods", Springer, LNAI 2796 (2003), ISBN: 3-540-40787-1; 48 - 64
• MUltlog and MUltseq Reanimated and Married / M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer / Talk: 4th International Workshop on the Implementation of Logics, Almaty, Kazakhstan; 2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics", (2003), 13 - 17
• 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
• Dialogue Games for Modelling Proof Search in Nonclassical Logic / C. Fermüller / Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "FTP'2003", Universidad de Politecnica de Valencia, (2003), DISC-II/10/03; 187 - 190

2002

• Parallel Dialogue Games for Gödel Logic / C. Fermüller / Talk: Amadee-Meeting, Universite Paris VII, Paris, France; 2002-11-20
• Parallel Dialogue Games for Intermediate Logics / C. Fermüller / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Tblilisi, Georgia (invited); 2002-10-14 - 2002-10-18
• Characterizing Gödel logic by parallellizing Lorenzen's dialogue semantics / C. Fermüller / Talk: Accion Integrada Meeting, Bellaterra, Spain; 2002-05-20
• A Natural Deduction System for Intuitionistic Fuzzy Logic / C. Fermüller / Talk: Moscow-Vienna Workshop on Logic and Computation, Moscow; 2002-04-28
• Proceedings of the Eleventh Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-02) / U. Egly, C. Fermüller / Springer, 2002, ISBN: 3-540-43929-3; 340 pages

 

• Connecting Formal Logics and Argumentation Systems / Master Thesis by A. Rapberger / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-07-13
• Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen / Master Thesis by C. Okulmus / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-04
• Formal Reasoning about Fuzzy Evaluation Games / Master Thesis by S. Ivanov / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-06-05
• Puzzling Ignorance: A Modal Epistemic Tour / Master Thesis by A. Da Costa Oliveira / Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-04-09
• Analyzing fuzzy and contextual approaches to vagueness by semantic games / PhD Thesis by Ch Roschger / Supervisor, Reviewer: C. Fermüller, O. Majer; Institut für Computersprachen, 2014; oral examination: 2014-11-27
• Dialogue Games for Fuzzy Logics / Master Thesis by Ch Roschger / Supervisor: C. Fermüller; Institut für Computersprachen, 2008; final examination: 2008-10-21