![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Christian G. Fermüller
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c57]Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller:
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. LPAR 2024: 70-87 - [c56]Christian G. Fermüller, Robert Freiman, Timo Lang:
A Simple Token Game and its Logic. LPAR 2024: 341-359 - [i3]Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller:
Reasoning About Group Polarization: From Semantic Games to Sequent Systems. CoRR abs/2405.01322 (2024) - 2023
- [j23]Niki Pfeifer
, Christian G. Fermüller:
Probabilistic interpretations of argumentative attacks: Logical and experimental results1. Argument Comput. 14(1): 75-107 (2023) - [j22]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: 108532 (2023) - [c55]Christian G. Fermüller:
Some Consistency Criteria for Many-Valued Judgment Aggregation. ISMVL 2023: 215-220 - [c54]Sebastian Uhl, Christian G. Fermüller:
Many-Valued Judgment Aggregation - Some New Possibility Results. IUKM (1) 2023: 3-14 - 2022
- [j21]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): 221-235 (2022) - 2020
- [j20]Paolo Baldi
, Christian G. Fermüller, Matthias F. J. Hofer:
On fuzzification mechanisms for unary quantification. Fuzzy Sets Syst. 388: 90-123 (2020) - [c53]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: 257-270 - [c52]Christian G. Fermüller, Ondrej Majer:
Interpreting Propositional Fuzzy Logics via Imperfect Information Games. ISMVL 2020: 237-242
2010 – 2019
- 2019
- [j19]Esther Anna Corsi
, Christian G. Fermüller
:
Connecting fuzzy logic and argumentation frames via logical attack principles. Soft Comput. 23(7): 2255-2270 (2019) - [c51]Timo Lang, Carlos Olarte, Elaine Pimentel
, Christian G. Fermüller:
A Game Model for Proofs with Costs. TABLEAUX 2019: 241-258 - [i2]Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller:
A Game Model for Proofs with Costs. CoRR abs/1906.11742 (2019) - [i1]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 abs/1907.00635 (2019) - 2018
- [c50]Christian G. Fermüller:
A Granularity Approach to Vague Quantification. IUKM 2018: 3-14 - 2017
- [c49]Paolo Baldi
, Christian G. Fermüller:
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games. EUSFLAT/IWIFSGN (1) 2017: 112-124 - [c48]Christian G. Fermüller, Matthias F. J. Hofer, Magdalena Ortiz
:
Querying with Vague Quantifiers Using Probabilistic Semantics. FQAS 2017: 15-27 - [c47]Christian G. Fermüller, Matthias F. J. Hofer:
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. ISMVL 2017: 106-111 - [c46]Esther Anna Corsi, Christian G. Fermüller:
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. LORI 2017: 422-437 - [c45]Christian G. Fermüller, Timo Lang:
Interpreting Sequent Calculi as Client-Server Games. TABLEAUX 2017: 98-113 - 2016
- [j18]Libor Behounek
, Petr Cintula
, Chris Fermüller, Tomás Kroupa:
Representing strategic games and their equilibria in many-valued logics. Log. J. IGPL 24(3): 238-267 (2016) - [j17]Christian G. Fermüller:
On matrices, Nmatrices and games. J. Log. Comput. 26(1): 189-211 (2016) - [j16]Christian G. Fermüller:
Semantic Games with Backtracking for T-norm Based Fuzzy Logics. J. Multiple Valued Log. Soft Comput. 26(1-2): 157-173 (2016) - 2015
- [c44]Matthias Baaz, Christian G. Fermüller:
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. CSL 2015: 94-109 - [c43]Christian G. Fermüller:
Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification. IUKM 2015: 19-31 - [c42]Christian G. Fermüller, Ondrej Majer:
Equilibrium Semantics for IF Logic and Many-Valued Connectives. TbiLLC 2015: 290-312 - 2014
- [j15]Christian G. Fermüller, Christoph Roschger:
Randomized game semantics for semi-fuzzy quantifiers. Log. J. IGPL 22(3): 413-439 (2014) - [j14]Christian G. Fermüller, Christoph Roschger:
From Games to Truth Functions: A Generalization of Giles's Game. Stud Logica 102(2): 389-410 (2014) - [c41]Christian G. Fermüller:
Hintikka-Style Semantic Games for Fuzzy Logics. FoIKS 2014: 193-210 - [c40]Christian G. Fermüller:
Semantic Games with Backtracking for Fuzzy Logics. ISMVL 2014: 38-43 - 2013
- [e3]Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller:
Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. EPiC Series in Computing 13, EasyChair 2013 [contents] - 2012
- [j13]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) - [c39]Christian G. Fermüller, Christoph Roschger:
Randomized Game Semantics for Semi-fuzzy Quantifiers. IPMU (4) 2012: 632-641 - 2010
- [c38]Matthias Baaz
, Christian G. Fermüller:
A Resolution Mechanism for Prenex Gödel Logic. CSL 2010: 67-79 - [e2]Christian G. Fermüller, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Lecture Notes in Computer Science 6397, Springer 2010, ISBN 978-3-642-16241-1 [contents]
2000 – 2009
- 2009
- [j12]Christian G. Fermüller, George Metcalfe
:
Giles's Game and the Proof Theory of Lukasiewicz Logic. Stud Logica 92(1): 27-61 (2009) - [p3]Christian G. Fermüller:
Revisiting Giles's Game. Games: Unifying Logic, Language, and Philosophy 2009: 209-227 - 2008
- [j11]Christian G. Fermüller:
Dialogue Games for Many-Valued Logics - an Overview. Stud Logica 90(1): 43-68 (2008) - [c37]Matthias Baaz
, Agata Ciabattoni
, Christian G. Fermüller:
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR 2008: 451-466 - 2007
- [j10]Christian G. Fermüller, Reinhard Pichler:
Model Representation over Finite and Infinite Signatures. J. Log. Comput. 17(3): 453-477 (2007) - [c36]Christian G. Fermüller:
Fuzzy Logic and Theories of Vagueness. EUSFLAT Conf. (1) 2007: 17-17 - [c35]Christian G. Fermüller:
Exploring Dialogue Games as Foundation of Fuzzy Logic. EUSFLAT Conf. (1) 2007: 437-444 - [c34]Matthias Baaz, Agata Ciabattoni
, Christian G. Fermüller:
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR 2007: 77-91 - 2006
- [c33]Christian G. Fermüller, Reinhard Pichler:
Model Representation over Finite and Infinite Signatures. JELIA 2006: 164-176 - [c32]Christian G. Fermüller, Robert Kosik:
Combining Supervaluation and Degree Based Reasoning Under Vagueness. LPAR 2006: 212-226 - 2005
- [c31]Christian G. Fermüller, Reinhard Pichler:
Model Representation via Contexts and Implicit Generalizations. CADE 2005: 409-423 - 2004
- [c30]Agata Ciabattoni
, Christian G. Fermüller, George Metcalfe
:
Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004: 496-510 - 2003
- [j9]Matthias Baaz
, Agata Ciabattoni
, Christian G. Fermüller:
Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. 13(6): 835-861 (2003) - [c29]Christian G. Fermüller, Agata Ciabattoni
:
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. ISMVL 2003: 188-196 - [c28]Matthias Baaz, Christian G. Fermüller:
A Translation Characterizing the Constructive Content of Classical Theories. LPAR 2003: 107-121 - [c27]Christian G. Fermüller:
Parallel Dialogue Games and Hypersequents for Intermediate Logics. TABLEAUX 2003: 48-64 - 2002
- [e1]Uwe Egly, Christian G. Fermüller:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2381, Springer 2002, ISBN 3-540-43929-3 [contents] - 2001
- [c26]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: 38-48 - [c25]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL 2001: 181-186 - [c24]Agata Ciabattoni
, Christian G. Fermüller:
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ISMVL 2001: 227-232 - [c23]Matthias Baaz, Agata Ciabattoni
, Christian G. Fermüller:
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. LPAR 2001: 201-215 - [c22]Christian G. Fermüller, Georg Moser, Richard Zach
:
Tableaux for Reasoning About Atomic Updates. LPAR 2001: 639-653 - [p2]Matthias Baaz, Christian G. Fermüller, Gernot Salzer
:
Automated Deduction for Many-Valued Logics. Handbook of Automated Reasoning 2001: 1355-1402 - [p1]Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt
, Tanel Tammet:
Resolution Decision Procedures. Handbook of Automated Reasoning 2001: 1791-1849 - 2000
- [c21]Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang:
Workshop: Model Computation - Principles, Algorithms, Applications. CADE 2000: 513 - [c20]Christian G. Fermüller, Georg Moser:
Have Spass with OCC1Ng=. LPAR 2000: 114-130 - [c19]Matthias Baaz
, Christian G. Fermüller, Helmut Veith:
An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX 2000: 112-126
1990 – 1999
- 1999
- [c18]Matthias Baaz, Agata Ciabattoni
, Christian G. Fermüller, Helmut Veith:
On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS 1999: 258-268 - [c17]Matthias Baaz, Christian G. Fermüller:
Analytic Calculi for Projective Logics. TABLEAUX 1999: 36-50 - 1998
- [j8]Christian G. Fermüller, Alexander Leitsch:
Decision Procedures and Model Building in Equational Clause Logic. Log. J. IGPL 6(1): 17-41 (1998) - [j7]Matthias Baaz, Christian G. Fermüller, Gernot Salzer
, Richard Zach
:
Labeled Calculi and Finite-Valued Logics. Stud Logica 61(1): 7-33 (1998) - [c16]Christian G. Fermüller:
Implicational Completeness of Signed Resolution. FTP (LNCS Selection) 1998: 167-174 - [c15]Matthias Baaz, Agata Ciabattoni
, Christian G. Fermüller, Helmut Veith:
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS 1998: 203-212 - [c14]Christian G. Fermüller, Herbert Langsteiner:
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. TABLEAUX 1998: 156-171 - 1997
- [c13]Matthias Baaz, Uwe Egly, Christian G. Fermüller:
Lean Induction Principles for Tableaux. TABLEAUX 1997: 62-75 - 1996
- [j6]Christian G. Fermüller, Alexander Leitsch:
Hyperresolution and Automated Model Building. J. Log. Comput. 6(2): 173-203 (1996) - [c12]Matthias Baaz, Christian G. Fermüller, Gernot Salzer
, Richard Zach
:
MUltlog 1.0: Towards an Expert System for Many-Valued Logics. CADE 1996: 226-230 - [c11]Christian G. Fermüller:
Semantic Trees Revisited: Some New Completeness Results. CADE 1996: 568-582 - [c10]Matthias Baaz, Christian G. Fermüller:
Intuitionistic Counterparts of Finitely-Valued Logics. ISMVL 1996: 136-143 - [c9]Matthias Baaz, Christian G. Fermüller:
Combining Many-valued and Intuitionistic Tableaux. TABLEAUX 1996: 65-79 - 1995
- [j5]Matthias Baaz
, Christian G. Fermüller:
Resolution-Based Theorem Proving for Manyvalued Logics. J. Symb. Comput. 19(4): 353-391 (1995) - [c8]Matthias Baaz, Christian G. Fermüller:
Non-elementary Speedups between Different Versions of Tableaux. TABLEAUX 1995: 217-230 - 1994
- [c7]Matthias Baaz, Christian G. Fermüller, Alexander Leitsch:
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation. LICS 1994: 213-219 - 1993
- [b2]Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov:
Resolution Methods for the Decision Problem. Lecture Notes in Computer Science 679, Springer 1993, ISBN 3-540-56732-1 - [j4]Georg Gottlob
, Christian G. Fermüller:
Removing Redundancy from a Clause. Artif. Intell. 61(2): 263-289 (1993) - [j3]Matthias Baaz, Christian G. Fermüller, Richard Zach:
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 49: 192-197 (1993) - [j2]Matthias Baaz, Christian G. Fermüller, Richard Zach:
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 51: 192-197 (1993) - [j1]Matthias Baaz, Christian G. Fermüller, Richard Zach:
Elimination of Cuts in First-order Finite-valued Logics. J. Inf. Process. Cybern. 29(6): 333-355 (1993) - [c6]Matthias Baaz, Christian G. Fermüller, Richard Zach
:
Systematic Construction of Natural Deduction Systems for Many-Valued Logics. ISMVL 1993: 208-213 - [c5]Christian G. Fermüller, Gernot Salzer
:
Ordered Paramodulation and Resolution as Decision Procedure. LPAR 1993: 122-133 - [c4]Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
:
MULTILOG: A System for Axiomatizing Many-valued Logics. LPAR 1993: 345-347 - 1992
- [c3]Christian G. Fermüller, Alexander Leitsch:
Model Building by Resolution. CSL 1992: 134-148 - [c2]Matthias Baaz, Christian G. Fermüller:
Resolution for Many-Valued Logics. LPAR 1992: 107-118 - 1991
- [b1]Christian G. Fermüller:
Deciding classes of clause sets by resolution. TU Wien, 1991, pp. 1-54 - 1990
- [c1]Christian G. Fermüller:
A Resolution Variant Deciding some Classes of Clause Sets. CSL 1990: 128-144
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-26 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint