Christian Fermüller
Ao.Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Logic and Computation: 100%
Research Areas
- Fuzzy Logic, Automated Deduction, Proof Theory, Computational Logic, Artificial Intelligence
About
1) Theoretical Computer Science 2) Artificial Intelligence 3) Automated Deduction 4) Natural Language Processing 5) Logic and Foundations of Mathematics 6) Mathematical Fuzzy Logic 7) Computational Intelligence 8) Formal Models of Reasoning Under Vagueness 9) Proof Theory and Proof Search in Non-Classical Logics
Role
-
Associate Professor
Theory and Logic, E192-05
Courses
2022W
- Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
- Fundamentals of Digital Systems / 192.134 / VU
- 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
- Theoretical Computer Science and Logics / 185.278 / VU
2023S
- Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Non-classical Logics / 192.085 / 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
- Seminar in Logic / 185.316 / SE
Projects
-
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 Logical Framework for Dialogue Games
2013 – 2017 / Austrian Science Fund (FWF) -
A novel decision support system for training and diagnosis in dermatology
2013 – 2015 / Austrian Research Promotion Agency (FFG) -
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
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
- Revisting Brandom's Incompatibility Semantics / C. Fermüller / Keynote Lecture: Logica 2021, Hejnice, Czech Republic; 2021-09-28 - 2021-10-01
- Fuzzy Logic / P. Cintula, C. Fermüller, C. Noguera / in: "The Stanford Encyclopedia of Philosophy", E. Zalta (ed.); issued by: Metaphysics Research Lab, Stanford University; Stanford University, 2021, (invited)
2020
- Interpreting Propositional Fuzzy Logics via Imperfect Information Games / C. Fermüller, O. Majer / Talk: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki; 2020-11-09 - 2020-11-11; in: "2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)", IEEE Computer Society, (2020), ISBN: 978-1-7281-5406-0; 237 - 242
- On fuzzification mechanisms for unary quantification / P. Baldi, C. Fermüller, M. Hofer / Fuzzy Sets and Systems, 388 (2020), 90 - 123
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic / C. Fermüller, T Lang, A Pavlova / in: "IPMU 2020: Information Processing and Management of Uncertainty in Knowledge-Based SystemsI", 978-3-030-50146-4; Springer, 2020, 257 - 270
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
- 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
- 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
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
- 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 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)
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
- 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
- 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
- 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
- A logical perspective on argumentation / C. Fermüller / Keynote Lecture: Metaphor and Argumentation, Cagliari, Italy (invited); 2017-05-25 - 2017-05-27
- 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
- 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
- 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
- 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
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
- 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
- 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
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
- 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
- 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
- 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
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
- 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
- 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
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
- 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
- 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
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 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
- 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 / 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
- 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
2006
- 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
- 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
- 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
- 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
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
- 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
- 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
- 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
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
- 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
- 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
- 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
- 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
- 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
- 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
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
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.
- 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
- 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
- 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
- Analyzing fuzzy and contextual approaches to vagueness by semantic games / Doctoral 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