Christian G. Fermüller

Affiliations:
  • TU Wien, Vienna, Austria


According to our database1, Christian G. Fermüller authored at least 80 papers between 1990 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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.
Fuzzy Sets Syst., August, 2023

Probabilistic interpretations of argumentative attacks: Logical and experimental results<sup>1</sup>.
Argument Comput., 2023

Many-Valued Judgment Aggregation - Some New Possibility Results.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2023

Some Consistency Criteria for Many-Valued Judgment Aggregation.
Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

2022
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
Logica Universalis, 2022

2020
On fuzzification mechanisms for unary quantification.
Fuzzy Sets Syst., 2020

Interpreting Propositional Fuzzy Logics via Imperfect Information Games.
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

2019
Connecting fuzzy logic and argumentation frames via logical attack principles.
Soft Comput., 2019

Dermtrainer: A Decision Support System for Dermatological Diseases.
CoRR, 2019

A Game Model for Proofs with Costs.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018
A Granularity Approach to Vague Quantification.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2018

2017
Interpreting Sequent Calculi as Client-Server Games.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Logical Argumentation Principles, Sequents, and Nondeterministic Matrices.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Hintikka Style Game Rules for Semi-Fuzzy Quantifiers.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Querying with Vague Quantifiers Using Probabilistic Semantics.
Proceedings of the Flexible Query Answering Systems - 12th International Conference, 2017

From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games.
Proceedings of the Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017, 2017

2016
Semantic Games with Backtracking for T-norm Based Fuzzy Logics.
J. Multiple Valued Log. Soft Comput., 2016

On matrices, Nmatrices and games.
J. Log. Comput., 2016

Representing strategic games and their equilibria in many-valued logics.
Log. J. IGPL, 2016

2015
Equilibrium Semantics for IF Logic and Many-Valued Connectives.
Proceedings of the Logic, Language, and Computation, 2015

Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2015

Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014
From Games to Truth Functions: A Generalization of Giles's Game.
Stud Logica, 2014

Randomized game semantics for semi-fuzzy quantifiers.
Log. J. IGPL, 2014

Semantic Games with Backtracking for Fuzzy Logics.
Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

Hintikka-Style Semantic Games for Fuzzy Logics.
Proceedings of the Foundations of Information and Knowledge Systems, 2014

2012
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
Log. Methods Comput. Sci., 2012

2010
A Resolution Mechanism for Prenex Gödel Logic.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009
Revisiting Giles's Game.
Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

Giles's Game and the Proof Theory of Lukasiewicz Logic.
Stud Logica, 2009

2008
Dialogue Games for Many-Valued Logics - an Overview.
Stud Logica, 2008

Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.
Proceedings of the Logic for Programming, 2008

2007
Model Representation over Finite and Infinite Signatures.
J. Log. Comput., 2007

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.
Proceedings of the Logic for Programming, 2007

Exploring Dialogue Games as Foundation of Fuzzy Logic.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

Fuzzy Logic and Theories of Vagueness.
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006
Combining Supervaluation and Degree Based Reasoning Under Vagueness.
Proceedings of the Logic for Programming, 2006

2005
Model Representation via Contexts and Implicit Generalizations.
Proceedings of the Automated Deduction, 2005

2004
Uniform Rules and Dialogue Games for Fuzzy Logics.
Proceedings of the Logic for Programming, 2004

2003
Hypersequent Calculi for Gödel Logics - a Survey.
J. Log. Comput., 2003

Parallel Dialogue Games and Hypersequents for Intermediate Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

A Translation Characterizing the Constructive Content of Classical Theories.
Proceedings of the Logic for Programming, 2003

From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

2001
Tableaux for Reasoning About Atomic Updates.
Proceedings of the Logic for Programming, 2001

Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving.
Proceedings of the Logic for Programming, 2001

Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

Resolution Decision Procedures.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

Automated Deduction for Many-Valued Logics.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
An Analytic Calculus for Quantified Propositional Gödel Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Have Spass with OCC1N<sub>g</sub><sup>=</sup>.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Workshop: Model Computation - Principles, Algorithms, Applications.
Proceedings of the Automated Deduction, 2000

1999
Analytic Calculi for Projective Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

On the Undecidability of some Sub-Classical First-Order Logics.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998
Labeled Calculi and Finite-Valued Logics.
Stud Logica, 1998

Decision Procedures and Model Building in Equational Clause Logic.
Log. J. IGPL, 1998

Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Implicational Completeness of Signed Resolution.
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997
Lean Induction Principles for Tableaux.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996
Hyperresolution and Automated Model Building.
J. Log. Comput., 1996

Combining Many-valued and Intuitionistic Tableaux.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

Intuitionistic Counterparts of Finitely-Valued Logics.
Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

Semantic Trees Revisited: Some New Completeness Results.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

MUltlog 1.0: Towards an Expert System for Many-Valued Logics.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995
Resolution-Based Theorem Proving for Manyvalued Logics.
J. Symb. Comput., 1995

Non-elementary Speedups between Different Versions of Tableaux.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993
Elimination of Cuts in First-order Finite-valued Logics.
J. Inf. Process. Cybern., 1993

Dual systems of sequents and tableaux for many-valued logics.
Bull. EATCS, 1993

Removing Redundancy from a Clause.
Artif. Intell., 1993

Ordered Paramodulation and Resolution as Decision Procedure.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

MULTILOG: A System for Axiomatizing Many-valued Logics.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Systematic Construction of Natural Deduction Systems for Many-Valued Logics.
Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993

Resolution Methods for the Decision Problem
Lecture Notes in Computer Science 679, Springer, ISBN: 3-540-56732-1, 1993

1992
Resolution for Many-Valued Logics.
Proceedings of the Logic Programming and Automated Reasoning, 1992

Model Building by Resolution.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991
Deciding classes of clause sets by resolution.
PhD thesis, 1991

1990
A Resolution Variant Deciding some Classes of Clause Sets.
Proceedings of the Computer Science Logic, 4th Workshop, 1990


  Loading...