Christian G. Fermüller

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 23

Top Topics

Sequent Calculi

Nash Equilibria

Imperfect Information

Top Venues

TU Wien (PHD)

Education History

TU Wien

PHD

Publications

Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. LPAR (2024)
Christian G. Fermüller, Robert Freiman, Timo Lang
A Simple Token Game and its Logic. LPAR (2024)
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. CoRR (2024)
Christian G. Fermüller
Some Consistency Criteria for Many-Valued Judgment Aggregation. ISMVL (2023)
Sebastian Uhl, Christian G. Fermüller
Many-Valued Judgment Aggregation - Some New Possibility Results. IUKM (1) (2023)
Christian G. Fermüller
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. Fuzzy Sets Syst. 465 (2023)
Niki Pfeifer, Christian G. Fermüller
. Argument Comput. 14 (1) (2023)
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. Logica Universalis 16 (1-2) (2022)
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. IPMU (1) (2020)
Christian G. Fermüller, Ondrej Majer
Interpreting Propositional Fuzzy Logics via Imperfect Information Games. ISMVL (2020)
Paolo Baldi, Christian G. Fermüller, Matthias F. J. Hofer
On fuzzification mechanisms for unary quantification. Fuzzy Sets Syst. 388 (2020)
Gernot Salzer, Agata Ciabattoni, Christian G. Fermüller, Martin Haiduk, Harald Kittler, Arno Lukas, Rosa María Rodríguez Domínguez, Antonia Wesinger, Elisabeth Riedl
Dermtrainer: A Decision Support System for Dermatological Diseases. CoRR (2019)
Esther Anna Corsi, Christian G. Fermüller
Connecting fuzzy logic and argumentation frames via logical attack principles. Soft Comput. 23 (7) (2019)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. CoRR (2019)
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
A Game Model for Proofs with Costs. TABLEAUX (2019)
Christian G. Fermüller
A Granularity Approach to Vague Quantification. IUKM (2018)
Christian G. Fermüller, Matthias F. J. Hofer, Magdalena Ortiz
Querying with Vague Quantifiers Using Probabilistic Semantics. FQAS (2017)
Christian G. Fermüller, Matthias F. J. Hofer
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. ISMVL (2017)
Paolo Baldi, Christian G. Fermüller
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games. EUSFLAT/IWIFSGN (1) (2017)
Christian G. Fermüller, Timo Lang
Interpreting Sequent Calculi as Client-Server Games. TABLEAUX (2017)
Esther Anna Corsi, Christian G. Fermüller
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. LORI (2017)
Christian G. Fermüller
On matrices, Nmatrices and games. J. Log. Comput. 26 (1) (2016)
Christian G. Fermüller
Semantic Games with Backtracking for T-norm Based Fuzzy Logics. J. Multiple Valued Log. Soft Comput. 26 (1-2) (2016)
Christian G. Fermüller, Ondrej Majer
Equilibrium Semantics for IF Logic and Many-Valued Connectives. TbiLLC (2015)
Christian G. Fermüller
Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification. IUKM (2015)
Matthias Baaz, Christian G. Fermüller
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. CSL (2015)
Christian G. Fermüller, Christoph Roschger
From Games to Truth Functions: A Generalization of Giles's Game. Stud Logica 102 (2) (2014)
Christian G. Fermüller
Hintikka-Style Semantic Games for Fuzzy Logics. FoIKS (2014)
Christian G. Fermüller
Semantic Games with Backtracking for Fuzzy Logics. ISMVL (2014)
Christian G. Fermüller, Christoph Roschger
Randomized game semantics for semi-fuzzy quantifiers. Log. J. IGPL 22 (3) (2014)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability Log. Methods Comput. Sci. 8 (1) (2012)
Christian G. Fermüller, Christoph Roschger
Randomized Game Semantics for Semi-fuzzy Quantifiers. IPMU (4) (2012)
Matthias Baaz, Christian G. Fermüller
A Resolution Mechanism for Prenex Gödel Logic. CSL (2010)
Christian G. Fermüller, George Metcalfe
Giles's Game and the Proof Theory of Lukasiewicz Logic. Stud Logica 92 (1) (2009)
Christian G. Fermüller
Dialogue Games for Many-Valued Logics - an Overview. Stud Logica 90 (1) (2008)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR (2008)
Christian G. Fermüller
Fuzzy Logic and Theories of Vagueness. EUSFLAT Conf. (1) (2007)
Christian G. Fermüller
Exploring Dialogue Games as Foundation of Fuzzy Logic. EUSFLAT Conf. (1) (2007)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR (2007)
Christian G. Fermüller, Reinhard Pichler
Model Representation over Finite and Infinite Signatures. J. Log. Comput. 17 (3) (2007)
Christian G. Fermüller, Reinhard Pichler
Model Representation over Finite and Infinite Signatures. JELIA (2006)
Christian G. Fermüller, Robert Kosik
Combining Supervaluation and Degree Based Reasoning Under Vagueness. LPAR (2006)
Christian G. Fermüller, Reinhard Pichler
Model Representation via Contexts and Implicit Generalizations. CADE (2005)
Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR (2004)
Christian G. Fermüller
Parallel Dialogue Games and Hypersequents for Intermediate Logics. TABLEAUX (2003)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. 13 (6) (2003)
Christian G. Fermüller, Agata Ciabattoni
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. ISMVL (2003)
Matthias Baaz, Christian G. Fermüller
A Translation Characterizing the Constructive Content of Classical Theories. LPAR (2003)
Matthias Baaz, Christian G. Fermüller
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. Proof Theory in Computer Science (2001)
Agata Ciabattoni, Christian G. Fermüller
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ISMVL (2001)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL (2001)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. LPAR (2001)
Christian G. Fermüller, Georg Moser, Richard Zach
Tableaux for Reasoning About Atomic Updates. LPAR (2001)
Christian G. Fermüller, Georg Moser
. LPAR (2000)
Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang
Workshop: Model Computation - Principles, Algorithms, Applications. CADE (2000)
Matthias Baaz, Christian G. Fermüller, Helmut Veith
An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX (2000)
Matthias Baaz, Christian G. Fermüller
Analytic Calculi for Projective Logics. TABLEAUX (1999)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS (1999)
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
Labeled Calculi and Finite-Valued Logics. Stud Logica 61 (1) (1998)
Christian G. Fermüller, Herbert Langsteiner
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. TABLEAUX (1998)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS (1998)
Christian G. Fermüller, Alexander Leitsch
Decision Procedures and Model Building in Equational Clause Logic. Log. J. IGPL 6 (1) (1998)
Christian G. Fermüller
Implicational Completeness of Signed Resolution. FTP (LNCS Selection) (1998)
Matthias Baaz, Uwe Egly, Christian G. Fermüller
Lean Induction Principles for Tableaux. TABLEAUX (1997)
Matthias Baaz, Christian G. Fermüller
Intuitionistic Counterparts of Finitely-Valued Logics. ISMVL (1996)
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
MUltlog 1.0: Towards an Expert System for Many-Valued Logics. CADE (1996)
Christian G. Fermüller, Alexander Leitsch
Hyperresolution and Automated Model Building. J. Log. Comput. 6 (2) (1996)
Matthias Baaz, Christian G. Fermüller
Combining Many-valued and Intuitionistic Tableaux. TABLEAUX (1996)
Christian G. Fermüller
Semantic Trees Revisited: Some New Completeness Results. CADE (1996)
Matthias Baaz, Christian G. Fermüller
Non-elementary Speedups between Different Versions of Tableaux. TABLEAUX (1995)
Matthias Baaz, Christian G. Fermüller
Resolution-Based Theorem Proving for Manyvalued Logics. J. Symb. Comput. 19 (4) (1995)
Matthias Baaz, Christian G. Fermüller, Alexander Leitsch
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation LICS (1994)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 51 (1993)
Georg Gottlob, Christian G. Fermüller
Removing Redundancy from a Clause. Artif. Intell. 61 (2) (1993)
Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
MULTILOG: A System for Axiomatizing Many-valued Logics. LPAR (1993)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Systematic Construction of Natural Deduction Systems for Many-Valued Logics. ISMVL (1993)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Elimination of Cuts in First-order Finite-valued Logics. J. Inf. Process. Cybern. 29 (6) (1993)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 49 (1993)
Christian G. Fermüller, Gernot Salzer
Ordered Paramodulation and Resolution as Decision Procedure. LPAR (1993)
Matthias Baaz, Christian G. Fermüller
Resolution for Many-Valued Logics. LPAR (1992)
Christian G. Fermüller, Alexander Leitsch
Model Building by Resolution. CSL (1992)
Christian G. Fermüller
A Resolution Variant Deciding some Classes of Clause Sets. CSL (1990)