Christian G. Fermüller

93 papers A* 1A 4B 30C 1Journal 27Unranked 23
YearRankTypeTitle / Venue / Authors
2025 B conf
Playing with Modalities (Invited Talk).
CSL
Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller
2025 J jnl
Testing for Renamability to Classes of Clause Sets.
CoRR
Albert Brandl, Christian G. Fermüller, Gernot Salzer
2024 B conf
A Simple Token Game and its Logic.
LPAR
Christian G. Fermüller, Robert Freiman, Timo Lang
2024 B conf
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.
LPAR
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2024 J jnl
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.
CoRR
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2023 J jnl
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.
Christian G. Fermüller
2023 — conf
Many-Valued Judgment Aggregation - Some New Possibility Results.
IUKM (1)
Sebastian Uhl, Christian G. Fermüller
2023 J jnl
Probabilistic interpretations of argumentative attacks: Logical and experimental results
Argument Comput.
Niki Pfeifer, Christian G. Fermüller
2023 — conf
Some Consistency Criteria for Many-Valued Judgment Aggregation.
ISMVL
Christian G. Fermüller
2022 J jnl
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
Logica Universalis
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
2020 — conf
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
IPMU (1)
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
2020 — conf
Interpreting Propositional Fuzzy Logics via Imperfect Information Games.
ISMVL
Christian G. Fermüller, Ondrej Majer
2020 J jnl
On fuzzification mechanisms for unary quantification.
Fuzzy Sets Syst.
Paolo Baldi, Christian G. Fermüller, Matthias F. J. Hofer
2019 B conf
A Game Model for Proofs with Costs.
TABLEAUX
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019 J jnl
A Game Model for Proofs with Costs.
CoRR
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019 J jnl
Connecting fuzzy logic and argumentation frames via logical attack principles.
Soft Comput.
Esther Anna Corsi, Christian G. Fermüller
2019 J jnl
Dermtrainer: A Decision Support System for Dermatological Diseases.
CoRR
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
2018 — conf
A Granularity Approach to Vague Quantification.
IUKM
Christian G. Fermüller
2017 — conf
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games.
EUSFLAT/IWIFSGN (1)
Paolo Baldi, Christian G. Fermüller
2017 — conf
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers.
ISMVL
Christian G. Fermüller, Matthias F. J. Hofer
2017 B conf
Interpreting Sequent Calculi as Client-Server Games.
TABLEAUX
Christian G. Fermüller, Timo Lang
2017 — conf
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices.
LORI
Esther Anna Corsi, Christian G. Fermüller
2017 C conf
Querying with Vague Quantifiers Using Probabilistic Semantics.
FQAS
Christian G. Fermüller, Matthias F. J. Hofer, Magdalena Ortiz
2016 J jnl
On matrices, Nmatrices and games.
J. Log. Comput.
Christian G. Fermüller
2016 J jnl
Semantic Games with Backtracking for T-norm Based Fuzzy Logics.
J. Multiple Valued Log. Soft Comput.
Christian G. Fermüller
2015 — conf
Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification.
IUKM
Christian G. Fermüller
2015 B conf
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic.
CSL
Matthias Baaz, Christian G. Fermüller
2015 — conf
Equilibrium Semantics for IF Logic and Many-Valued Connectives.
TbiLLC
Christian G. Fermüller, Ondrej Majer
2014 J jnl
From Games to Truth Functions: A Generalization of Giles's Game.
Stud Logica
Christian G. Fermüller, Christoph Roschger
2014 — conf
Hintikka-Style Semantic Games for Fuzzy Logics.
FoIKS
Christian G. Fermüller
2014 J jnl
Randomized game semantics for semi-fuzzy quantifiers.
Log. J. IGPL
Christian G. Fermüller, Christoph Roschger
2014 — conf
Semantic Games with Backtracking for Fuzzy Logics.
ISMVL
Christian G. Fermüller
2013 — ed.
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010
LPAR short papers(Yogyakarta)
Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller
2012 — conf
Randomized Game Semantics for Semi-fuzzy Quantifiers.
IPMU (4)
Christian G. Fermüller, Christoph Roschger
2012 J jnl
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
Log. Methods Comput. Sci.
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2010 B conf
A Resolution Mechanism for Prenex Gödel Logic.
CSL
Matthias Baaz, Christian G. Fermüller
2010 — ed.
Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
LPAR (Yogyakarta)
Christian G. Fermüller, Andrei Voronkov
2010 J jnl
Review: Vagueness and Degrees of Truth.
Australas. J. Log.
Christian G. Fermüller
2009 J jnl
Giles's Game and the Proof Theory of Lukasiewicz Logic.
Stud Logica
Christian G. Fermüller, George Metcalfe
2009 — ch.
Revisiting Giles's Game.
Games: Unifying Logic, Language, and Philosophy
Christian G. Fermüller
2008 B conf
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.
LPAR
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2008 J jnl
Dialogue Games for Many-Valued Logics - an Overview.
Stud Logica
Christian G. Fermüller
2007 — conf
Exploring Dialogue Games as Foundation of Fuzzy Logic.
EUSFLAT Conf. (1)
Christian G. Fermüller
2007 — conf
Fuzzy Logic and Theories of Vagueness.
EUSFLAT Conf. (1)
Christian G. Fermüller
2007 J jnl
Model Representation over Finite and Infinite Signatures.
J. Log. Comput.
Christian G. Fermüller, Reinhard Pichler
2007 B conf
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.
LPAR
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2006 B conf
Combining Supervaluation and Degree Based Reasoning Under Vagueness.
LPAR
Christian G. Fermüller, Robert Kosik
2006 B conf
Model Representation over Finite and Infinite Signatures.
JELIA
Christian G. Fermüller, Reinhard Pichler
2005 A conf
Model Representation via Contexts and Implicit Generalizations.
CADE
Christian G. Fermüller, Reinhard Pichler
2004 B conf
Uniform Rules and Dialogue Games for Fuzzy Logics.
LPAR
Agata Ciabattoni, Christian G. Fermüller, George Metcalfe
2003 B conf
A Translation Characterizing the Constructive Content of Classical Theories.
LPAR
Matthias Baaz, Christian G. Fermüller
2003 — conf
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.
ISMVL
Christian G. Fermüller, Agata Ciabattoni
2003 J jnl
Hypersequent Calculi for Gödel Logics - a Survey.
J. Log. Comput.
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2003 B conf
Parallel Dialogue Games and Hypersequents for Intermediate Logics.
TABLEAUX
Christian G. Fermüller
2002 B ed.
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings
TABLEAUX
Uwe Egly, Christian G. Fermüller
2001 — conf
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.
Proof Theory in Computer Science
Matthias Baaz, Christian G. Fermüller
2001 — ch.
Automated Deduction for Many-Valued Logics.
Handbook of Automated Reasoning
Matthias Baaz, Christian G. Fermüller, Gernot Salzer
2001 — conf
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.
ISMVL
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2001 B conf
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving.
LPAR
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
2001 — conf
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.
ISMVL
Agata Ciabattoni, Christian G. Fermüller
2001 — ch.
Resolution Decision Procedures.
Handbook of Automated Reasoning
Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet
2001 B conf
Tableaux for Reasoning About Atomic Updates.
LPAR
Christian G. Fermüller, Georg Moser, Richard Zach
2000 B conf
An Analytic Calculus for Quantified Propositional Gödel Logic.
TABLEAUX
Matthias Baaz, Christian G. Fermüller, Helmut Veith
2000 B conf
Have Spass with OCC1N
LPAR
Christian G. Fermüller, Georg Moser
2000 A conf
Workshop: Model Computation - Principles, Algorithms, Applications.
CADE
Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang
1999 B conf
Analytic Calculi for Projective Logics.
TABLEAUX
Matthias Baaz, Christian G. Fermüller
1999 — conf
On the Undecidability of some Sub-Classical First-Order Logics.
FSTTCS
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
1998 J jnl
Decision Procedures and Model Building in Equational Clause Logic.
Log. J. IGPL
Christian G. Fermüller, Alexander Leitsch
1998 — conf
Implicational Completeness of Signed Resolution.
FTP (LNCS Selection)
Christian G. Fermüller
1998 J jnl
Labeled Calculi and Finite-Valued Logics.
Stud Logica
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
1998 B conf
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.
MFCS
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
1998 B conf
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.
TABLEAUX
Christian G. Fermüller, Herbert Langsteiner
1997 B conf
Lean Induction Principles for Tableaux.
TABLEAUX
Matthias Baaz, Uwe Egly, Christian G. Fermüller
1996 B conf
Combining Many-valued and Intuitionistic Tableaux.
TABLEAUX
Matthias Baaz, Christian G. Fermüller
1996 J jnl
Hyperresolution and Automated Model Building.
J. Log. Comput.
Christian G. Fermüller, Alexander Leitsch
1996 — conf
Intuitionistic Counterparts of Finitely-Valued Logics.
ISMVL
Matthias Baaz, Christian G. Fermüller
1996 A conf
MUltlog 1.0: Towards an Expert System for Many-Valued Logics.
CADE
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
1996 A conf
Semantic Trees Revisited: Some New Completeness Results.
CADE
Christian G. Fermüller
1995 B conf
Non-elementary Speedups between Different Versions of Tableaux.
TABLEAUX
Matthias Baaz, Christian G. Fermüller
1995 J jnl
Resolution-Based Theorem Proving for Manyvalued Logics.
J. Symb. Comput.
Matthias Baaz, Christian G. Fermüller
1994 A* conf
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation
LICS
Matthias Baaz, Christian G. Fermüller, Alexander Leitsch
1993 J jnl
Dual systems of sequents and tableaux for many-valued logics.
Bull. EATCS
Matthias Baaz, Christian G. Fermüller, Richard Zach
1993 J jnl
Dual systems of sequents and tableaux for many-valued logics.
Bull. EATCS
Matthias Baaz, Christian G. Fermüller, Richard Zach
1993 J jnl
Elimination of Cuts in First-order Finite-valued Logics.
J. Inf. Process. Cybern.
Matthias Baaz, Christian G. Fermüller, Richard Zach
1993 B conf
MULTILOG: A System for Axiomatizing Many-valued Logics.
LPAR
Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
1993 B conf
Ordered Paramodulation and Resolution as Decision Procedure.
LPAR
Christian G. Fermüller, Gernot Salzer
1993 J jnl
Removing Redundancy from a Clause.
Artif. Intell.
Georg Gottlob, Christian G. Fermüller
1993 — book
Resolution Methods for the Decision Problem
Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov
1993 — conf
Systematic Construction of Natural Deduction Systems for Many-Valued Logics.
ISMVL
Matthias Baaz, Christian G. Fermüller, Richard Zach
1992 B conf
Model Building by Resolution.
CSL
Christian G. Fermüller, Alexander Leitsch
1992 B conf
Resolution for Many-Valued Logics.
LPAR
Matthias Baaz, Christian G. Fermüller
1991 — —
Deciding classes of clause sets by resolution.
Christian G. Fermüller
1990 B conf
A Resolution Variant Deciding some Classes of Clause Sets.
CSL
Christian G. Fermüller