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
2024W
- Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Introduction to Quantum Computing, Complexity Theory, and Algorithmics / 192.042 / VU
- Logic and Computability / 185.A45 / VU
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / PR
- Quantum Computing, Complexity Theory, and Algorithmics / 192.043 / VU
- 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 / 192.017 / VU
2025S
- Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
- Introduction to Logical Methods in Computer Science / 184.766 / VO
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / 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)
Publications: 150302 / 153672 / 175611 / 154215 / 190642 / 190651 / 190379 / 191020 / 191308 / 191575 / 150211 / 135851 -
Modeling vague quantifiers in mathematical fuzzy logic
2015 – 2018 / Austrian Science Fund (FWF)
Publication: 896 -
A Logical Framework for Dialogue Games
2013 – 2017 / Austrian Science Fund (FWF)
Publication: 135853 -
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)
Publication: 26788 -
Dialogue Game Semantics for Fuzzy Logics
2006 – 2008 / Austrian Science Fund (FWF)
Publications: 169719 / 169720 / 169721 / 169722 / 170245 / 170246 / 51487 / 84521 / 84522 / 84523 -
Decision Procedures and Model Building for Fuzzy Logics
2003 – 2005 / FWF, Der Wissenschaftsfonds
Publications
2024
-
Games in Logic
/
Fermüller, C. (2024, January 15). Games in Logic [Conference Presentation]. World logic day 2024, Wien, Austria.
Project: LoDEx (2024–2026)
2023
- Judgment Aggregation with Graded Deontic Logics / Fermüller, C. (2023, October 28). Judgment Aggregation with Graded Deontic Logics [Conference Presentation]. Reasoning with Imperfect Information in Social Settings 2023, Pisa, Italy.
-
Game Models of Producer-Consumer Interactions and Substructural Sequent Systems
/
Fermüller, C., Freiman, R., & Lang, T. A. (2023, September 27). Game Models of Producer-Consumer Interactions and Substructural Sequent Systems [Conference Presentation]. Mosaic Workshop 2023, Wien, Austria.
Project: SEGACAB (2019–2023) - Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5 / Fermüller, C. G. (2023). Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5 [Review of Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, by Petr Cintula & Carles Noguera]. Fuzzy Sets and Systems, 465. Springer. https://doi.org/10.1016/j.fss.2023.108532
-
From Producer-Consumer Games to Substructural Calculi
/
Fermüller, C. (2023, May 24). From Producer-Consumer Games to Substructural Calculi [Conference Presentation]. Plexus Inaugural Conference, Lisbon, Portugal.
Download: Vortragsfolien (193 KB) -
Many-Valued Judgment Aggregation - Some New Possibility Results
/
Uhl, S., & Fermüller, C. (2023). Many-Valued Judgment Aggregation - Some New Possibility Results. In V.-N. Huynh, B. Le, & K. Honda (Eds.), Integrated Uncertainty in Knowledge Modelling and Decision Making : 10th International Symposium, IUKM 2023, Kanazawa, Japan, November2-4, 2023, Proceedings, Part I (pp. 3–14). Springer. https://doi.org/10.1007/978-3-031-46775-2_1
Project: SEGACAB (2019–2023) -
Some Consistency Criteria for Many-Valued Judgment Aggregation
/
Fermüller, C. (2023). Some Consistency Criteria for Many-Valued Judgment Aggregation. In 2023 IEEE 53rd International Symposium on Multiple-Valued Logic: ISMVL 2023: proceedings (pp. 215–220). https://doi.org/10.1109/ISMVL57333.2023.00048
Project: SEGACAB (2019–2023)
2022
- Finite model theory for many-valued logics - Some challenges and open problems / Fermüller, C. (2022, November 10). Finite model theory for many-valued logics - Some challenges and open problems [Conference Presentation]. Finite Model Theory and Many-Valued Logic: Challenges and Interactions, Australia.
-
Re-visiting Giles's game
/
Fermüller, C. (2022, August 9). Re-visiting Giles’s game [Conference Presentation]. Reasoning and uncertainty: probabilistic, logical, and psychological perspectives, Regensburg, Germany.
Project: SEGACAB (2019–2023) -
Revisiting Brandom’s Incompatibility Semantics
/
Fermüller, C. G., & Hafner, J. (2022). Revisiting Brandom’s Incompatibility Semantics. In I. Sedlar (Ed.), The Logica Yearbook 2021 (pp. 77–98). College Publications. https://doi.org/10.34726/6199
Download: Endversion des Artikels (325 KB)
Project: SEGACAB (2019–2023) -
From Semantic Games to Analytic Calculi
/
Fermüller, C. (2022, June 16). From Semantic Games to Analytic Calculi [Conference Presentation]. Czech Gathering of Logicians, Prag, Czechia.
Project: SEGACAB (2019–2023) - Fuzzy judgment aggregation – background, observations, ideas / Fermüller, C. (2022, June 9). Fuzzy judgment aggregation – background, observations, ideas [Keynote Presentation]. 39th Linz Seminar on Fuzzy Set Theory, Linz, Austria. http://hdl.handle.net/20.500.12708/153677
-
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
/
Fermüller, C., Lang, T. A., & Pavlova, A. (2022). From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. Logica Universalis, 16(1–2), 221–235. https://doi.org/10.1007/s11787-022-00300-0
Download: PDF (409 KB)
Project: SEGACAB (2019–2023) -
Probabilistic interpretations of argumentative attacks: Logical and experimental results
/
Pfeifer, N., & Fermüller, C. G. (2022). Probabilistic interpretations of argumentative attacks: Logical and experimental results. Argument & Computation, 1–33. https://doi.org/10.34726/3521
Download: Online-Version des Verlags (472 KB)
2021
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games / Fermüller, C. (2021). Connecting Sequent Calculi with Lorenzen-Style Dialogue Games. In G. Heinzmann & G. Wolters (Eds.), Paul Lorenzen -- Mathematician and Logician (Vol. 51, pp. 115–141). https://doi.org/10.1007/978-3-030-65824-3_8
- Revisting Brandom's Incompatibility Semantics / Fermüller, C. (2021). Revisting Brandom’s Incompatibility Semantics. Logica 2021, Hejnice, Czechia. http://hdl.handle.net/20.500.12708/87232
2020
- Interpreting Propositional Fuzzy Logics via Imperfect Information Games / Fermüller, C., & Majer, O. (2020). Interpreting Propositional Fuzzy Logics via Imperfect Information Games. In 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki, Japan. IEEE Computer Society. https://doi.org/10.1109/ismvl49045.2020.00006
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic / Fermüller, C., Lang, T., & Pavlova, A. (2020). From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. In Information Processing and Management of Uncertainty in Knowledge-Based Systems (pp. 257–270). Springer. https://doi.org/10.1007/978-3-030-50146-4_20
- On fuzzification mechanisms for unary quantification / Baldi, P., Fermüller, C. G., & Hofer, M. F. J. (2020). On fuzzification mechanisms for unary quantification. Fuzzy Sets and Systems, 388, 90–123. https://doi.org/10.1016/j.fss.2019.12.009
2019
-
Connecting fuzzy logic and argumentation frames via logical attack principles
/
Corsi, E. A., & Fermüller, C. G. (2019). Connecting fuzzy logic and argumentation frames via logical attack principles. Soft Computing. https://doi.org/10.1007/s00500-018-3513-2
Download: PDF (528 KB) - A Game Model for Proofs with Costs / Lang, T., Olarte, C., Pimentel, E., & Fermüller, C. (2019). A Game Model for Proofs with Costs. In Automated Reasoning with Analytic Tableaux and Related Methods (pp. 241–258). Springer. http://hdl.handle.net/20.500.12708/58036
- Modalities as prices: a game model of intuitionistic linear logic with subexponentials / Fermüller, C. (2019). Modalities as prices: a game model of intuitionistic linear logic with subexponentials. GaLoP 2019 14th Workshop on Games for Logic and Programming Languages, Prag, Czechia. http://hdl.handle.net/20.500.12708/86977
- Judgment Aggregation From a Many-valued Logic Perspective / Fermüller, C. (2019). Judgment Aggregation From a Many-valued Logic Perspective. Nonclassical Logics and Judgment Aggregation, Prag, Czechia. http://hdl.handle.net/20.500.12708/86973
- Argumentation Based Semantics for Nonclassical Logics / Fermüller, C. (2019). Argumentation Based Semantics for Nonclassical Logics. A primer of formal argumentation, Milano, Italy. http://hdl.handle.net/20.500.12708/86972
2018
- On Semantic Games for Łukasiewicz Logic / Fermüller, C., & Majer, O. (2018). On Semantic Games for Łukasiewicz Logic. In H. van Ditmarsch & G. Sandu (Eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (pp. 263–278). Springer. http://hdl.handle.net/20.500.12708/29877
- Review of "Fuzzy Logic and Mathematics: A Historical Perspective" / Fermüller, C. (2018). Review of “Fuzzy Logic and Mathematics: A Historical Perspective.” Notre Dame Philosophical Reviews, (ONLINE). http://hdl.handle.net/20.500.12708/144564
- Substructural Calculi and Games of Information Extraction / Fermüller, C. (2018). Substructural Calculi and Games of Information Extraction. Forschungsseminar Informatik, Uni Bamberg, Bamberg, EU. http://hdl.handle.net/20.500.12708/86796
- A cost conscious game model for intutionistic linear logic with subexponentials / Fermüller, C. (2018). A cost conscious game model for intutionistic linear logic with subexponentials. FISP Workshop (3rd FISP Meeting), Vienna, Austria. http://hdl.handle.net/20.500.12708/86795
- Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning / Fermüller, C. (2018). Automated Deduction in Classical and Nonclassical Logic: A bird’s eyes view with hints on bounded reasoning. Models of Bounded Reasoning in Individuals and Groups, Leiden, Netherlands, EU. http://hdl.handle.net/20.500.12708/86794
- Exploring Argumentation Based Semantics for Relevance Logic / Fermüller, C. (2018). Exploring Argumentation Based Semantics for Relevance Logic. AsubL (Algebra & Substructural Logics- Take 6), Cagliari, Italy, EU. http://hdl.handle.net/20.500.12708/86793
- From Lorenzen's dialogue game to game semantics for substructural logics / Fermüller, C. (2018). From Lorenzen’s dialogue game to game semantics for substructural logics. Paul Lorenzen: Mathematician and Logician, Konstanz, EU. http://hdl.handle.net/20.500.12708/86792
- Games and analytic proof systems / Fermüller, C. (2018). Games and analytic proof systems. PhDs in Logic X, Prague, EU. http://hdl.handle.net/20.500.12708/86791
- Interpretpreting Substructural Logics by Games of Information Extraction / Fermüller, C., & Lang, T. (2018). Interpretpreting Substructural Logics by Games of Information Extraction. Games for Logic and Programming Languages XIII, Thessaloniki, Greece, EU. http://hdl.handle.net/20.500.12708/86790
- On the Expressivity of the Propositional Fragment of Independence Friendly Logic / Majer, O., & Fermüller, C. (2018). On the Expressivity of the Propositional Fragment of Independence Friendly Logic. Games for Logic and Programming Languages XIII, Thessaloniki, Greece, EU. http://hdl.handle.net/20.500.12708/86789
- From semi-abstract argumentation to logical consequence / Corsi, E. A., & Fermüller, C. (2018). From semi-abstract argumentation to logical consequence. In S. Oswald & D. Mailat (Eds.), Argumentation and Inference, Proceedings of the 2 nd European Conference on Argumentation (pp. 151–164). College Publications. http://hdl.handle.net/20.500.12708/57667
- Probabilistic interpretations of argumentative attacks: logical and experimental foundations / Pfeifer, N., & Fermüller, C. (2018). Probabilistic interpretations of argumentative attacks: logical and experimental foundations. In V. Kratochvil & J. Vejnarova (Eds.), Proceedings of the 11th Workshop on Uncertainty Processing (WUPES´18) Trebon, Czech Republic (pp. 141–152). MatfyzPress, Publishing House of the Faculty of Mathematics and Physics Charles University. http://hdl.handle.net/20.500.12708/56714
- A Granularity Approach to Vague Quantification / Fermüller, C. (2018). A Granularity Approach to Vague Quantification. In V.-N. Hunyh (Ed.), IUKM 2018. International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making (pp. 3–14). International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making. http://hdl.handle.net/20.500.12708/56708
2017
-
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers
/
Fermüller, C. G., & Hofer, M. (2017). Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. In 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017), Novi Sad, Serbia, May 22-24, 2017. IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) 2017, Novi Sad, Serbia. IEEE. https://doi.org/10.1109/ISMVL.2017.57
Download: PDF (282 KB) -
Querying with Vague Quantifiers Using Probabilistic Semantics
/
Fermüller, C., Hofer, M., & Ortiz, M. (2017). Querying with Vague Quantifiers Using Probabilistic Semantics. In H. Christiansen, H. Jaudoin, P. Chountas, T. Andreasen, & H. L. Larsen (Eds.), Flexible Query Answering Systems : 12th International Conference, FQAS 2017, London, UK, June 21–22, 2017, Proceedings. Springer Cham. https://doi.org/10.1007/978-3-319-59692-1_2
Download: PDF (573 KB) - Interpreting Sequent Calculi as Client-Server Games / Fermüller, C. G., & Lang, T. (2017). Interpreting Sequent Calculi as Client-Server Games. In R. Schmidt (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings (pp. 98–113). Springer. https://doi.org/10.1007/978-3-319-66902-1_6
- Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics / Fermüller, C. (2017). Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics. ISRALOG 2017, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/86560
- Connecting fuzzy logic and argumentation frames via logical attack principles / Fermüller, C. (2017). Connecting fuzzy logic and argumentation frames via logical attack principles. ManyVal 2017, Toulouse, Frankreich, EU. http://hdl.handle.net/20.500.12708/86559
- A logical perspective on argumentation / Fermüller, C. (2017). A logical perspective on argumentation. Metaphor and Argumentation, Cagliari, Italy, EU. http://hdl.handle.net/20.500.12708/86535
- From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games / Baldi, P., & Fermüller, C. (2017). From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games. In Proceedings of: EUSFLAT-2017 (pp. 112–124). http://hdl.handle.net/20.500.12708/57214
- Logical Argumentation Principles, Sequents, and Nondeterministic Matrices / Corsi, E. A., & Fermüller, C. G. (2017). Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. In A. Baltag (Ed.), Logic, Rationality, and Interaction (pp. 422–437). Springer. https://doi.org/10.1007/978-3-662-55665-8_29
2016
- Representing strategic games and their equilibria in many-valued logics / Běhounek, L., Cintula, P., Fermüller, C., & Kroupa, T. (2016). Representing strategic games and their equilibria in many-valued logics. Logic Journal of the IGPL, 24(3), 238–267. https://doi.org/10.1093/jigpal/jzw004
- On matrices, Nmatrices and games / Fermüller, C. G. (2016). On matrices, Nmatrices and games. Journal of Logic and Computation, 26(1), 189–211. https://doi.org/10.1093/logcom/ext024
- Semantic Games with Backtracking for T-norm Based Fuzzy Logics / Fermüller, C. (2016). Semantic Games with Backtracking for T-norm Based Fuzzy Logics. Journal of Multiple-Valued Logic and Soft Computing, 26(1–2), 157–173. http://hdl.handle.net/20.500.12708/148622
- Interpreting Sequent Calculi as Client-Server Games / Fermüller, C. (2016). Interpreting Sequent Calculi as Client-Server Games. Syntax Meets Semantics 2016, Barcelona, EU. http://hdl.handle.net/20.500.12708/86315
- Giles' Game - Recent Developments and Challenges / Fermüller, C. (2016). Giles’ Game - Recent Developments and Challenges. Magica 16, Mailand, EU. http://hdl.handle.net/20.500.12708/86313
- Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation / Fermüller, C. (2016). Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation. Workshop on New Trends in Belief Change, Vienna, Austria. http://hdl.handle.net/20.500.12708/86298
- The future of MFL: pure math or seriously interdisciplinary? / Fermüller, C. (2016). The future of MFL: pure math or seriously interdisciplinary? The Future of Mathematical Fuzzy Logic, Prague, EU. http://hdl.handle.net/20.500.12708/86297
2015
- Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification / Fermüller, C. G. (2015). Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification. In V.-N. Huynh, M. Inuiguchi, & T. Denoeux (Eds.), Integrated Uncertainty in Knowledge Modelling and Decision Making : 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings (pp. 19–31). Springer. https://doi.org/10.1007/978-3-319-25135-6_4
- Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic / Baaz, M., & Fermüller, C. (2015). Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. In S. Kreutzer (Ed.), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (pp. 94–109). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2015.94
- Lorenzen-style Dialogues and Substructural Sequent Systems / Fermüller, C. (2015). Lorenzen-style Dialogues and Substructural Sequent Systems. Workshop on Logica Dialogue Games, Wien, Austria. http://hdl.handle.net/20.500.12708/86098
- Equilibrium Semantics for IF-Logic and Many-Valued Connectives / Fermüller, C. (2015). Equilibrium Semantics for IF-Logic and Many-Valued Connectives. TbiLLC 2015: 11th International Tbilisi Symposium on Language, Logic and Computation, Tiflis, Non-EU. http://hdl.handle.net/20.500.12708/86097
- Connecting Lorenzen style games and Gentzen style calculi / Fermüller, C. (2015). Connecting Lorenzen style games and Gentzen style calculi. CiE 2015 - Evolving Computability, Bucharest, EU. http://hdl.handle.net/20.500.12708/86096
- Game Semantics for Vague Quantifiers / Fermüller, C. (2015). Game Semantics for Vague Quantifiers. Logica 2015, Hejnice, EU. http://hdl.handle.net/20.500.12708/86095
- Hintikka-style semantic games for many-valued logics / Fermüller, C. (2015). Hintikka-style semantic games for many-valued logics. Seminar of Logic Group at University of Milano, Mailand, EU. http://hdl.handle.net/20.500.12708/86094
- Equilibrium Semantics for IF Logic and Many-Valued Connectives / Fermüller, C., & Majer, O. (2015). Equilibrium Semantics for IF Logic and Many-Valued Connectives. In H. H. Hansen (Ed.), Logic, Language, and Computation. TbiLLC 2015 (pp. 290–312). Springer. http://hdl.handle.net/20.500.12708/57243
2014
- Hintikka-Style Semantic Games for Fuzzy Logics / Fermüller, C. G. (2014). Hintikka-Style Semantic Games for Fuzzy Logics. In C. Beierle (Ed.), Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings (pp. 193–210). LNCS/Springer. https://doi.org/10.1007/978-3-319-04939-7_9
- Randomized game semantics for semi-fuzzy quantifiers / Fermüller, C., & Roschger, C. (2014). Randomized game semantics for semi-fuzzy quantifiers. Logic Journal of the IGPL, 22(3), 413–439. http://hdl.handle.net/20.500.12708/157224
- From Games to Truth Functions: A Generalization of Giles's Game / Fermüller, C. G., & Roschger, C. (2014). From Games to Truth Functions: A Generalization of Giles’s Game. Studia Logica, 102(2), 389–410. https://doi.org/10.1007/s11225-014-9550-7
- Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic / Fermüller, C., & Roschger, C. (2014). Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic. In F. Montagna (Ed.), Petr Hajek on Mathematical Fuzzy Logic (pp. 91–116). Springer. http://hdl.handle.net/20.500.12708/28400
- From truth-functional to substructural logics via semantic games / Fermüller, C. (2014). From truth-functional to substructural logics via semantic games. AsubL take 5, Mrlbourne, Australien, Non-EU. http://hdl.handle.net/20.500.12708/85961
- Vagueness and logical dialogue games / Fermüller, C. (2014). Vagueness and logical dialogue games. Workshop on Vagueness via Nonclassical Logics, Sydbey, Australien, Non-EU. http://hdl.handle.net/20.500.12708/85962
- n Equilibrium Semantics for IF-Logic and Many-Valued Connectives / Fermüller, C. (2014). n Equilibrium Semantics for IF-Logic and Many-Valued Connectives. ISRALOG 2014, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/85960
- Parallel Dialogue Games and Hypersequents / Fermüller, C. (2014). Parallel Dialogue Games and Hypersequents. Workshop on Proofs as Processes, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/85959
- Semantic Games with Backtracking for Fuzzy Logics / Fermüller, C. (2014). Semantic Games with Backtracking for Fuzzy Logics. In 2014 IEEE 44th International Symposium on Multiple-Valued Logic. ISMVL 2014, Bremen, EU. https://doi.org/10.1109/ismvl.2014.15
2013
- On matrices, Nmatrices and games / Fermüller, C. G. (2013). On matrices, Nmatrices and games. Journal of Logic and Computation, 26(1), 189–211. https://doi.org/10.1093/logcom/ext024
- Game Based Interpretations of Mathematical Fuzzy Logics / Fermüller, C. (2013). Game Based Interpretations of Mathematical Fuzzy Logics. 2nd Workshop on Algebraic Logics and Mathematical Fuzzy Logic, Prag, EU. http://hdl.handle.net/20.500.12708/85675
- Many Values in Semantic Games / Fermüller, C. (2013). Many Values in Semantic Games. Logica, Hejnice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/85578
- Semantic games and hypersequents - a case study in many valued reasoning / Fermüller, C. (2013). Semantic games and hypersequents - a case study in many valued reasoning. Seminar of the Munich Center for Mathematical Philosophy, München, Deutschland, EU. http://hdl.handle.net/20.500.12708/85579
- Games semantics for deterministic and nondeterministic many-valued logics / Fermüller, C. (2013). Games semantics for deterministic and nondeterministic many-valued logics. UniLog 2013, Rio de Janeiro, Non-EU. http://hdl.handle.net/20.500.12708/85553
2012
- Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability / Baaz, M., Ciabattoni, A., & Fermüller, C. (2012). Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability. Logical Methods in Computer Science, 8(1). https://doi.org/10.2168/lmcs-8(1:20)2012
- Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification / Fermüller, C., & Roschger, C. (2012). Extending Giles’s Game for Lukasiewicz Logic to Fuzzy Quantification. In N. Preining & K. Terui (Eds.), Logic, Algebra and Truth Degrees 2012 - Book of Abstracts (pp. 71–75). Jaist. http://hdl.handle.net/20.500.12708/54239
- From Giles's game for reasoning in physics to analytic proof systems for fuzzy logics / Fermüller, C. (2012). From Giles’s game for reasoning in physics to analytic proof systems for fuzzy logics. OASIS: The Oxford Advanced Seminar on Informatic Structures, Oxford, UK, EU. http://hdl.handle.net/20.500.12708/85427
- On Matrices, Nmatrices, and Games / Fermüller, C. (2012). On Matrices, Nmatrices, and Games. Logic: Between Semantics and Proof Theory, Tel-Aviv, Non-EU. http://hdl.handle.net/20.500.12708/85428
- Randomizing Giles's Game for Fuzzy Quantification / Fermüller, C. (2012). Randomizing Giles’s Game for Fuzzy Quantification. Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives, Riga, Latvia, EU. http://hdl.handle.net/20.500.12708/85426
- Randomized Game Semantics for Semi-fuzzy Quantifiers / Fermüller, C., & Roschger, C. (2012). Randomized Game Semantics for Semi-fuzzy Quantifiers. In Advances in Computational Intelligence. Part IV (pp. 632–641). Springer. http://hdl.handle.net/20.500.12708/54326
- On the Algorithmic Complexity of Vague Descriptions / Fermüller, C. (2012). On the Algorithmic Complexity of Vague Descriptions. In F. Hong (Ed.), Int. Proceedings of Computer Science and Information Technology (pp. 39–44). IACSIT Press. http://hdl.handle.net/20.500.12708/54128
2011
- A Game Based Approach to Quantification in Lukasiewicz Logic / Fermüller, C. (2011). A Game Based Approach to Quantification in Lukasiewicz Logic. In P. Cintula & S. Ju (Eds.), Non-classical Modal and Predicate Logics 2011 (pp. 58–63). F-Solutions. http://hdl.handle.net/20.500.12708/54041
- A Conversation About Fuzzy Logic and Vagueness / Fermüller, C., & Hajek, P. (2011). A Conversation About Fuzzy Logic and Vagueness. In P. Cintula & C. Fermüller (Eds.), Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives (pp. 405–416). College Publications. http://hdl.handle.net/20.500.12708/27521
- Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland / Fermüller, C. (2011). Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland. In P. Cintula & C. Fermüller (Eds.), Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives (pp. 199–202). College Publications. http://hdl.handle.net/20.500.12708/27520
- Parallel Dialogue Games and Hypersequents for Intermediate Logics / Fermüller, C. (2011). Parallel Dialogue Games and Hypersequents for Intermediate Logics. Logikseminar des Instituts für Mathematik, Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/85291
- Logical Models of Reasoning with Vague Information / Fermüller, C. (2011). Logical Models of Reasoning with Vague Information. LogICCC Final Conference, Berlin, Germany, EU. http://hdl.handle.net/20.500.12708/85157
- How to justify your favorite logical system? - A case study / Fermüller, C. (2011). How to justify your favorite logical system? - A case study. Workshop STRUCTURAL, Paris, France, EU. http://hdl.handle.net/20.500.12708/85156
- Vague and Uncertain Entailment - Some Conceptual Clarifications / Fermüller, C. (2011). Vague and Uncertain Entailment - Some Conceptual Clarifications. Workshop: Conditionals, Counterfactuals and Causes in Uncertain Environments, Düsseldorf, Germany, EU. http://hdl.handle.net/20.500.12708/85155
- Parallel Dialogue Games and Hypersequents for Intermediate Logics / Fermüller, C. (2011). Parallel Dialogue Games and Hypersequents for Intermediate Logics. Workshop on Logic and Computation, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/85154
- Parallel dialogue games and hypersequents / Fermüller, C. (2011). Parallel dialogue games and hypersequents. Proof and Dialogues (ProDi), Tübingen, Deutschland, EU. http://hdl.handle.net/20.500.12708/85153
- Logic and Vagueness. Report from an Interdisciplinary Battle Ground / Fermüller, C. (2011). Logic and Vagueness. Report from an Interdisciplinary Battle Ground. LogICCC Meets India, New Dehli, Non-EU. http://hdl.handle.net/20.500.12708/85152
- Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives / Cintula, P., Fermüller, C., Godo, L., & Hajek, P. (Eds.). (2011). Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives. College Publications. http://hdl.handle.net/20.500.12708/23457
2010
- A resolution mechanism for Prenex Gödel logic / Baaz, M., & Fermüller, C. (2010). A resolution mechanism for Prenex Gödel logic. In A. Dawar & H. Veith (Eds.), Computer Science Logic (LNCS 6247/2010) (pp. 67–79). Springer. http://hdl.handle.net/20.500.12708/40997
-
On Giles style dialoques games and hypersequent systems
/
Fermüller, C. (2010). On Giles style dialoques games and hypersequent systems. In H. Hosni & F. Montagna (Eds.), Probability, Uncertainty and Rationality (pp. 169–197). Editioni Della Normale. http://hdl.handle.net/20.500.12708/26788
Project: LogICCC - fuzzy logic (2008–2013) - Some Critical Remarks on Incompatibility Semantics / Fermüller, C. (2010). Some Critical Remarks on Incompatibility Semantics. In M. Pelis (Ed.), The Logica Yearbook 2008 (pp. 81–96). College Publications. http://hdl.handle.net/20.500.12708/27029
- Review: Vagueness and Degrees of Truth / Fermüller, C. (2010). Review: Vagueness and Degrees of Truth. Australasian Journal of Logic, 9, 1–9. http://hdl.handle.net/20.500.12708/167396
- The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach / Klinov, P., Parsia, B., & Picado Muino, D. (2010). The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. In C. Fermüller & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (pp. 432–446). Springer Verlag. https://doi.org/10.1007/978-3-642-16242-8_31
- A Generalization of Giles's Game / Fermüller, C. (2010). A Generalization of Giles’s Game. Algebra and Substructural Logics - AsubL4, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/85107
- Relations between Medieval and Modern Logical Dialogue Games / Fermüller, C. (2010). Relations between Medieval and Modern Logical Dialogue Games. International Medieval Congress 2010, Leeds, UK, EU. http://hdl.handle.net/20.500.12708/85106
- Is there a role for fuzzy logic in linguistics? / Fermüller, C. (2010). Is there a role for fuzzy logic in linguistics? Workshop on “Vague Quantities and Vague Quantifiers (VQ2),” Berlin, EU. http://hdl.handle.net/20.500.12708/85105
- On Dialogue Games for Multi-Valued Logics / Fermüller, C. (2010). On Dialogue Games for Multi-Valued Logics. Logic, Algebra and Truth Degrees - LATD 2010, Prag, Tschechische Republik, EU. http://hdl.handle.net/20.500.12708/85104
- Formal Rationality Principles in Logical Dialogue Games / Fermüller, C. (2010). Formal Rationality Principles in Logical Dialogue Games. Logic, Reasoning and Rationality - LRR10, Gent, Belgien, EU. http://hdl.handle.net/20.500.12708/85103
- From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic / Roschger, C., & Fermüller, C. (2010). From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic. ManyVal 2010, Varese, Italien, EU. http://hdl.handle.net/20.500.12708/85095
- Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17 / Fermüller, C., & Voronkov, A. (Eds.). (2010). Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17. Springer. http://hdl.handle.net/20.500.12708/23275
2009
- Giles's Game and the Proof Theory of Lukasiewicz Logic / Fermüller, C. (2009). Giles’s Game and the Proof Theory of Lukasiewicz Logic. Probability, Uncertainty and Rationality 2009, Pontignano, Italy. http://hdl.handle.net/20.500.12708/84912
- Giles's Game and the Proof Theory of Lukasiewicz Logic / Fermüller, C. G., & Metcalfe, G. (2009). Giles’s Game and the Proof Theory of Lukasiewicz Logic. Studia Logica, 92(1), 27–61. https://doi.org/10.1007/s11225-009-9185-2
- Fuzzy logic and vagueness: can philosophers learn from Petr Hajek? / Fermüller, C. (2009). Fuzzy logic and vagueness: can philosophers learn from Petr Hajek? In P. Cintula, Z. Hanikova, & V. Svejdar (Eds.), Witnessed Years. Esseays in Honour of Petr Hajek (pp. 373–386). College Publications. http://hdl.handle.net/20.500.12708/26809
- Truth Value Intervals, Bets, and Dialogue Games / Fermüller, C. (2009). Truth Value Intervals, Bets, and Dialogue Games. In M. Pelis (Ed.), The Logica Yearbook 2008 (pp. 43–57). College Publications. http://hdl.handle.net/20.500.12708/26415
- Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation / Fermüller, C. (2009). Revisiting Giles’s Game - Reconciling Fuzzy Logic and Supervaluation. In O. Majer, T. Tulenheimo, & A.-V. Pietarinen (Eds.), Games: Unifying Logic, Language, and Philosophy (pp. 209–227). Springer Science. http://hdl.handle.net/20.500.12708/26510
- Dialogue Games as Foundation of Fuzzy Logics / Fermüller, C. (2009). Dialogue Games as Foundation of Fuzzy Logics. In R. Seising & J. Kacprzyk (Eds.), Views on Fuzzy Sets and Systems from Different Perspectives (Vol. 243, pp. 229–245). Springer. https://doi.org/10.1007/978-3-540-93802-6_11
- Linguistics, Logic, and Vagueness / Fermüller, C. (2009). Linguistics, Logic, and Vagueness. Moscow-Vienna Workshop on Logic and Computation, Moscow, Austria. http://hdl.handle.net/20.500.12708/84914
- Some Critical Remarks on Incompatibility Semantics / Fermüller, C. (2009). Some Critical Remarks on Incompatibility Semantics. Logica 2009, Hejnice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84913
- Vagueness at the interface between logic, philosophy, and linguistics / Fermüller, C. (2009). Vagueness at the interface between logic, philosophy, and linguistics. Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84911
- Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic / Fermüller, C., & Roschger, C. (2009). Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic. In T. Kroupa & J. Vejnarova (Eds.), Proceedings of the 8th Workshop on Uncertainty Processing (pp. 71–79). Universtiy of Economics. http://hdl.handle.net/20.500.12708/52813
2008
- Cut elimination for first order Gödel logic by hyperclause resolution / Baaz, M., Ciabattoni, A., & Fermüller, C. (2008). Cut elimination for first order Gödel logic by hyperclause resolution. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330) (pp. 451–466). Springer. http://hdl.handle.net/20.500.12708/40803
- Dialoque Games for Many-Valued Logics - an Overwiew / Fermüller, C. G. (2008). Dialoque Games for Many-Valued Logics - an Overwiew. Studia Logica, 90(1), 43–68. https://doi.org/10.1007/s11225-008-9143-4
- Brandom's 'incompatibilty semantics' / Fermüller, C. (2008). Brandom’s “incompatibilty semantics.” Kolloquium Institut Wiener Kreis (IVC), Wien, Austria. http://hdl.handle.net/20.500.12708/84827
- Dialogue games as foundations of non-classical logics / Fermüller, C. (2008). Dialogue games as foundations of non-classical logics. Non-classical Logics: from Foundations to Applications, Pisa, EU. http://hdl.handle.net/20.500.12708/84753
- Truth Value Intervals, Bets, and Dialogue Games / Fermüller, C. (2008). Truth Value Intervals, Bets, and Dialogue Games. Logica 2008, Hejnice, EU. http://hdl.handle.net/20.500.12708/84752
- Truth Value Intervals, Bets, and Dialogue Games / Fermüller, C. (2008). Truth Value Intervals, Bets, and Dialogue Games. LOFT 2008, 8th Conference on Logic and the Foundations of Game and Decision Theory, Amsterdam, EU. http://hdl.handle.net/20.500.12708/84751
- On the interpretation of t-norm based fuzzy logics / Fermüller, C. (2008). On the interpretation of t-norm based fuzzy logics. LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena, EU. http://hdl.handle.net/20.500.12708/84750
- LoMoReVI -- Logical Models of Reasoning with Vague Information / Fermüller, C. (2008). LoMoReVI -- Logical Models of Reasoning with Vague Information. LogICCC Launch Conference of the European Science Foundation, Prag, EU. http://hdl.handle.net/20.500.12708/84749
2007
- Model Representation over Finite and Infinite Signatures / Fermüller, C., & Pichler, R. (2007). Model Representation over Finite and Infinite Signatures. Journal of Logic and Computation, 17(3), 453–477. https://doi.org/10.1093/logcom/exm008
- Monadic fragments of Gödel logics: decidability and undecidability / Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic fragments of Gödel logics: decidability and undecidability. Lecture Notes in Computer Science, 4790, 77–91. http://hdl.handle.net/20.500.12708/168724
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results / Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. In N. Dershowitz & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 4790) (pp. 77–91). Springer. https://doi.org/10.1007/978-3-540-75560-9_8
- Monadic fragments of Gödel logics: decidability and undecability results / Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic fragments of Gödel logics: decidability and undecability results. 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Erivan, Armenia, Non-EU. http://hdl.handle.net/20.500.12708/118584
- Logische Dialogspiele als formale Semantik / Fermüller, C. (2007). Logische Dialogspiele als formale Semantik. Institute Vienna Circle, Wien, Austria. http://hdl.handle.net/20.500.12708/84623
- Games in logic and logic in games / Fermüller, C. (2007). Games in logic and logic in games. Institute Vienna Circle, Wien, Austria. http://hdl.handle.net/20.500.12708/84622
- Some Remarks on Imprecise Truth Values / Fermüller, C. (2007). Some Remarks on Imprecise Truth Values. “Two and beyond”, KGS Workshop on Fuzzy Logic and Proof Theory, Barcelona, Spain, EU. http://hdl.handle.net/20.500.12708/84621
- Interpreting interval based fuzzy logics / Fermüller, C. (2007). Interpreting interval based fuzzy logics. Analytic Proof Systems 3, 3rd International Workshop on Analytic Proof Systems, Yerevan, Armenia, Non-EU. http://hdl.handle.net/20.500.12708/84620
- Fuzzy Logic and Theories of Vagueness / Fermüller, C. (2007). Fuzzy Logic and Theories of Vagueness. Fuzzy Logic Seminar of the CAS, Institute of Computer Science, Prague, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84619
- Dialogue games as foundations of fuzzy logics / Fermüller, C. (2007). Dialogue games as foundations of fuzzy logics. 3rd Moscow-Vienna Workshop on Logic and Computation, Moskow, Austria. http://hdl.handle.net/20.500.12708/84618
- Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic / Fermüller, C. (2007). Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic. Fuzzy Sets, Probability, and Statistics -- Gaps and Bridges, 28th Linz Seminar on Fuzzy Sets, Linz, Austria. http://hdl.handle.net/20.500.12708/84611
- Exploring Dialogue Games as Foundation of Fuzzy Logic / Fermüller, C. (2007). Exploring Dialogue Games as Foundation of Fuzzy Logic. In M. Stepnicka, V. Novak, & U. Bodenhofer (Eds.), New Dimensions in Fuzzy Logic and Related Technologies (pp. 437–444). http://hdl.handle.net/20.500.12708/51903
- Fuzzy Logic and Theories of Vagueness / Fermüller, C. (2007). Fuzzy Logic and Theories of Vagueness. In New Dimensions in Fuzzy Logic and Related Technologies (p. 17). http://hdl.handle.net/20.500.12708/51893
2006
- Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents / Fermüller, C. (2006). Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents. Universita degli Studi di Siena, Siena, Italy, EU. http://hdl.handle.net/20.500.12708/84524
-
Game based semantics for Lukasiewicz logic: acquainting Giles's gamblers with Mundici's Pinocchio
/
Fermüller, C. (2006). Game based semantics for Lukasiewicz logic: acquainting Giles’s gamblers with Mundici’s Pinocchio. Studia Logica International Conference `Towards Mathematical Philosophy -- Trends in Logic IV’, Turun, Poland, EU. http://hdl.handle.net/20.500.12708/84523
Project: Dialogspielsemantik (2006–2008) -
Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth
/
Fermüller, C. (2006). Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth. Uncertainty: Reasoning about probability and vagueness, Prague International Colloquium, Prague, Cech Republic, EU. http://hdl.handle.net/20.500.12708/84522
Project: Dialogspielsemantik (2006–2008) -
Theorien der Vagheit und Fuzzy Logic
/
Fermüller, C. (2006). Theorien der Vagheit und Fuzzy Logic. Kolloquium Institut Wiener Kreis (IVC), Wien, Austria. http://hdl.handle.net/20.500.12708/84521
Project: Dialogspielsemantik (2006–2008) -
Combining Supervaluation and Degree Based Reasoning Under Vagueness
/
Fermüller, C., & Kosik, R. (2006). Combining Supervaluation and Degree Based Reasoning Under Vagueness. In Logic for Programming, Artificial Intelligence, and Reasoning (pp. 212–226). Springer. http://hdl.handle.net/20.500.12708/51487
Project: Dialogspielsemantik (2006–2008) - Model Representation via Contexts and Implicit Generalizations / Fermüller, C., & Pichler, R. (2006). Model Representation via Contexts and Implicit Generalizations. In Logics in Artificial Intelligence (LNAI) (pp. 164–176). Springer-Verlag. http://hdl.handle.net/20.500.12708/51419
2005
- Uniform Rules and Dialogue Games for Fuzzy Logics / Ciabattoni, A., Fermüller, C., & Metcalfe, G. (2005). Uniform Rules and Dialogue Games for Fuzzy Logics. In F. Baader & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 496–510). Springer. http://hdl.handle.net/20.500.12708/50977
- The Resolution Principle / Leitsch, A., & Fermüller, C. (2005). The Resolution Principle. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic, 2nd ed., Volume 12 (pp. 87–173). Springer. http://hdl.handle.net/20.500.12708/25357
- The Enigma of Quantifying Vague Information / Fermüller, C. (2005). The Enigma of Quantifying Vague Information. The Logic of Soft Computing~IV and 4th ERCIM, Ostrava, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/84452
- Decision Procedure and Model Building Based on Hypersequent Calculi / Fermüller, C. (2005). Decision Procedure and Model Building Based on Hypersequent Calculi. LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay, Austria. http://hdl.handle.net/20.500.12708/84453
- From classical to many-valued reasoning via dialogue games / Fermüller, C. (2005). From classical to many-valued reasoning via dialogue games. Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy, Austria. http://hdl.handle.net/20.500.12708/84451
- From classical to many-valued reasoning via dialogue games / Fermüller, C. (2005). From classical to many-valued reasoning via dialogue games. Dpt. of Computer Sciences, Czech Academy of Sciences, Prague, Cech Republic, Austria. http://hdl.handle.net/20.500.12708/84450
- Analytic Systems and Dialogue Games / Fermüller, C. (2005). Analytic Systems and Dialogue Games. In B. Beckert (Ed.), TABLEAUX 2005, Position Papers and Tutorial Descriptions (pp. 43–52). Fachberichte Informatik. http://hdl.handle.net/20.500.12708/51135
- Model Representation via Contexts and Implicit Generalizations / Fermüller, C., & Pichler, R. (2005). Model Representation via Contexts and Implicit Generalizations. In Automated Deduction - CADE-20 (pp. 409–423). Springer Science + Business Media. http://hdl.handle.net/20.500.12708/51026
2004
- Dialogue games as foundation of fuzzy logics / Fermüller, C. (2004). Dialogue games as foundation of fuzzy logics. 3rd Moscow-Vienna Workshop on Logic and Computation, Moskow, Austria. http://hdl.handle.net/20.500.12708/84378
- Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents / Fermüller, C. (2004). Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents. COS - ESF Exploratory Workshop ``The Challenge of Semantics’, Vienna, Austria. http://hdl.handle.net/20.500.12708/84377
- Fuzzy Logics from First Principles / Fermüller, C. (2004). Fuzzy Logics from First Principles. Paris-Vienna Workshop 2004 on Proof Systems, Paris, Austria. http://hdl.handle.net/20.500.12708/84376
- Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics / Fermüller, C. (2004). Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics. Logic, Games and Philosophy - Foundational Perspectives, Prague, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/84372
- A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / Fermüller, C. (2004). A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth. First Florence-Vienna Workshop on Logic and Computation, Florence, Italy, Austria. http://hdl.handle.net/20.500.12708/84234
2002
- Parallel Dialogue Games for Gödel Logic / Fermüller, C. (2002). Parallel Dialogue Games for Gödel Logic. Amadee-Meeting, Universite Paris VII, Paris, France, Austria. http://hdl.handle.net/20.500.12708/84119
- Characterizing Gödel logic by parallellizing Lorenzen's dialogue semantics / Fermüller, C. (2002). Characterizing Gödel logic by parallellizing Lorenzen’s dialogue semantics. Accion Integrada Meeting, Bellaterra, Spain, Austria. http://hdl.handle.net/20.500.12708/84118
- A Natural Deduction System for Intuitionistic Fuzzy Logic / Fermüller, C. (2002). A Natural Deduction System for Intuitionistic Fuzzy Logic. Moscow-Vienna Workshop on Logic and Computation, Moscow, Austria. http://hdl.handle.net/20.500.12708/84117
- Parallel Dialogue Games for Intermediate Logics / Fermüller, C. (2002). Parallel Dialogue Games for Intermediate Logics. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Phnom Penh, Cambodia, Non-EU. http://hdl.handle.net/20.500.12708/84116
Supervisions
-
Unpacking the argument : A claim-centric view on abstract argumentation
/
Rapberger, A. (2023). Unpacking the argument : A claim-centric view on abstract argumentation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.112445
Download: PDF (2.96 MB) -
Fuzzy logic based judgment aggretation
/
Uhl, S. (2023). Fuzzy logic based judgment aggretation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101246
Download: PDF (1.29 MB) -
Game semantics - The full abstraction problem for PCF
/
Ruiss, M. (2022). Game semantics - The full abstraction problem for PCF [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.82700
Download: PDF (918 KB) -
Argumentation theory and alternative semantics for non-classical logics
/
Corsi, E. A. (2021). Argumentation theory and alternative semantics for non-classical logics [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.99022
Download: PDF (1.41 MB) -
Games, modalities and analytic proofs in nonclassical logics
/
Lang, T. A. (2021). Games, modalities and analytic proofs in nonclassical logics [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.92047
Download: PDF (1.03 MB) -
Axiomatic truth theories and reflection principles
/
De Coster, A. (2021). Axiomatic truth theories and reflection principles [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.67441
Download: PDF (1.09 MB) -
Nonclassical approaches to judgement aggregation
/
Reitgruber, M. (2020). Nonclassical approaches to judgement aggregation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.66522
Download: PDF (669 KB) -
Comparison and analysis of constructive set theories
/
Freiman, R. (2020). Comparison and analysis of constructive set theories [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.66523
Download: PDF (1.51 MB) -
Modellierung vager natürlichsprachlicher Quantoren über Dialogspiele und Fuzzy Logik
/
Hofer, M. F. J. (2019). Modellierung vager natürlichsprachlicher Quantoren über Dialogspiele und Fuzzy Logik [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.66687
Download: PDF (2.2 MB) -
Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen
/
Okulmus, C. (2018). Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.52030
Download: PDF (1 MB) -
Formal reasoning about fuzzy evaluation games
/
Ivanov, S. (2018). Formal reasoning about fuzzy evaluation games [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.54982
Download: PDF (951 KB) -
Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tour
/
Oliveira da Costa, A. A. (2018). Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tour [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.51200
Download: PDF (906 KB) -
Mehrwertige Logiken für Spiele
/
Lanzinger, M. P. (2017). Mehrwertige Logiken für Spiele [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.33948
Download: PDF (781 KB) -
Analyzing fuzzy and contextual approaches to vagueness by semantic games
/
Roschger, C. (2014). Analyzing fuzzy and contextual approaches to vagueness by semantic games [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.26871
Download: PDF (1.82 MB) - A framework for Giles-style evaluation games / Kausl, M. (2013). A framework for Giles-style evaluation games [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159735
-
Combining supervaluation and fuzzy logic based theories of vagueness
/
Krinninger, S. (2011). Combining supervaluation and fuzzy logic based theories of vagueness [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44765
Download: PDF (717 KB) -
Logics for coalitional games of imperfect information
/
Seitz, G. (2011). Logics for coalitional games of imperfect information [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43434
Download: PDF (805 KB) -
Renewing cognitive science
/
Slivovsky, F. (2009). Renewing cognitive science [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28955
Download: PDF (473 KB) -
Dialogue games for fuzzy logics
/
Roschger, C. (2008). Dialogue games for fuzzy logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-26701
Download: PDF (897 KB) -
Fuzzy logics in the context of theories of vagueness
/
Schütz, M. (2008). Fuzzy logics in the context of theories of vagueness [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-19111
Download: PDF (799 KB) -
Fuzzy logic and supervaluationism
/
Bradley, J. (2007). Fuzzy logic and supervaluationism [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-19995
Download: PDF (738 KB) -
Supervised learning of wrappers from structured data sources
/
Ceresna, M. (2005). Supervised learning of wrappers from structured data sources [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-16619
Download: PDF (4.73 MB)