Christian G. Fermüller
Orcid: 0000000329325477Affiliations:
 TU Wien, Vienna, Austria
According to our database^{1},
Christian G. Fermüller
authored at least 82 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on id.loc.gov

on dnb.info

on logic.at

on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
2023
Logic and Implication  An Introduction to the General Algebraic Study of Nonclassical Logics, Petr Cintula, Carles Noguera, in: Trends in Logic, vol. 57. Springer (2021), 465 p., €120.99 for hardcover, ISBN: 9783030856755.
Fuzzy Sets Syst., August, 2023
Probabilistic interpretations of argumentative attacks: Logical and experimental results<sup>1</sup>.
Argument Comput., 2023
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2023
Proceedings of the 53rd IEEE International Symposium on MultipleValued Logic, 2023
2022
From Truth Degree Comparison Games to SequentsofRelations Calculi for Gödel Logic.
Logica Universalis, 2022
2020
Fuzzy Sets Syst., 2020
Proceedings of the 50th IEEE International Symposium on MultipleValued Logic, 2020
2019
Soft Comput., 2019
CoRR, 2019
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
2018
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2018
2017
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
Proceedings of the Logic, Rationality, and Interaction  6th International Workshop, 2017
Proceedings of the 47th IEEE International Symposium on MultipleValued Logic, 2017
Proceedings of the Flexible Query Answering Systems  12th International Conference, 2017
Proceedings of the Advances in Fuzzy Logic and Technology 2017  Proceedings of: EUSFLAT2017  The 10th Conference of the European Society for Fuzzy Logic and Technology, September 1115, 2017, Warsaw, Poland IWIFSGN'2017, 2017
2016
J. Multiple Valued Log. Soft Comput., 2016
J. Log. Comput., 2016
Log. J. IGPL, 2016
2015
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
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Stud Logica, 2014
Log. J. IGPL, 2014
Proceedings of the IEEE 44th International Symposium on MultipleValued Logic, 2014
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
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009
Stud Logica, 2009
2008
Stud Logica, 2008
Proceedings of the Logic for Programming, 2008
2007
J. Log. Comput., 2007
Proceedings of the Logic for Programming, 2007
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007
Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007
2006
Proceedings of the Logic for Programming, 2006
2005
Proceedings of the Automated Deduction, 2005
2004
Proceedings of the Logic for Programming, 2004
2003
J. Log. Comput., 2003
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003
Proceedings of the Logic for Programming, 2003
Proceedings of the 33rd IEEE International Symposium on MultipleValued Logic (ISMVL 2003), 2003
2001
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
Proceedings of the 31st IEEE International Symposium on MultipleValued Logic, 2001
Proceedings of the 31st IEEE International Symposium on MultipleValued Logic, 2001
A Note on the ProofTheoretic Strength of a Single Application of the Schema of Identity.
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Proceedings of the Automated Deduction, 2000
1999
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999
1998
Stud Logica, 1998
Log. J. IGPL, 1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998
Proceedings of the Automated Deduction in Classical and NonClassical Logics, 1998
1997
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997
1996
J. Log. Comput., 1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
Proceedings of the 26th IEEE International Symposium on MultipleValued Logic, 1996
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Proceedings of the Automated Deduction  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
J. Symb. Comput., 1995
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995
1994
A NonElementary SpeedUp 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 Firstorder Finitevalued Logics.
J. Inf. Process. Cybern., 1993
Dual systems of sequents and tableaux for manyvalued logics.
Bull. EATCS, 1993
Artif. Intell., 1993
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993
Proceedings of the 23rd IEEE International Symposium on MultipleValued Logic, 1993
Lecture Notes in Computer Science 679, Springer, ISBN: 3540567321, 1993
1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
Proceedings of the Computer Science Logic, 6th Workshop, 1992
1991
Deciding classes of clause sets by resolution.
PhD thesis, 1991
1990
Proceedings of the Computer Science Logic, 4th Workshop, 1990