dblp.uni-trier.dewww.uni-trier.de

Christian G. Fermüller Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
52EEMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller: Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR 2008: 451-466
51EEChristian G. Fermüller: Dialogue Games for Many-Valued Logics - an Overview. Studia Logica 90(1): 43-68 (2008)
2007
50EEChristian G. Fermüller: Fuzzy Logic and Theories of Vagueness. EUSFLAT Conf. (1) 2007: 17-17
49EEChristian G. Fermüller: Exploring Dialogue Games as Foundation of Fuzzy Logic. EUSFLAT Conf. (1) 2007: 437-444
48EEMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller: Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR 2007: 77-91
47EEChristian G. Fermüller, Reinhard Pichler: Model Representation over Finite and Infinite Signatures. J. Log. Comput. 17(3): 453-477 (2007)
2006
46EEChristian G. Fermüller, Reinhard Pichler: Model Representation over Finite and Infinite Signatures. JELIA 2006: 164-176
45EEChristian G. Fermüller, Robert Kosik: Combining Supervaluation and Degree Based Reasoning Under Vagueness. LPAR 2006: 212-226
2005
44EEChristian G. Fermüller, Reinhard Pichler: Model Representation via Contexts and Implicit Generalizations. CADE 2005: 409-423
2004
43EEAgata Ciabattoni, Christian G. Fermüller, George Metcalfe: Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004: 496-510
2003
42EEChristian G. Fermüller, Agata Ciabattoni: From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. ISMVL 2003: 188-
41EEMatthias Baaz, Christian G. Fermüller: A Translation Characterizing the Constructive Content of Classical Theories. LPAR 2003: 107-121
40EEChristian G. Fermüller: Parallel Dialogue Games and Hypersequents for Intermediate Logics. TABLEAUX 2003: 48-64
39EEMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller: Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. 13(6): 835-861 (2003)
2002
38 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 Springer 2002
2001
37 Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller: Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL 2001: 181-186
36 Agata Ciabattoni, Christian G. Fermüller: Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ISMVL 2001: 227-232
35EEMatthias 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
34EEChristian G. Fermüller, Georg Moser, Richard Zach: Tableaux for Reasoning About Atomic Updates. LPAR 2001: 639-653
33EEMatthias 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
32 Matthias Baaz, Christian G. Fermüller, Gernot Salzer: Automated Deduction for Many-Valued Logics. Handbook of Automated Reasoning 2001: 1355-1402
31 Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet: Resolution Decision Procedures. Handbook of Automated Reasoning 2001: 1791-1849
2000
30EEPeter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang: Workshop: Model Computation - Principles, Algorithms, Applications. CADE 2000: 513
29EEChristian G. Fermüller, Georg Moser: Have Spass with OCC1Ng=. LPAR 2000: 114-130
28 Matthias Baaz, Christian G. Fermüller, Helmut Veith: An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX 2000: 112-126
1999
27EEMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith: On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS 1999: 258-268
26 Matthias Baaz, Christian G. Fermüller: Analytic Calculi for Projective Logics. TABLEAUX 1999: 36-50
1998
25EEChristian G. Fermüller: Implicational Completeness of Signed Resolution. FTP (LNCS Selection) 1998: 167-174
24EEMatthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith: Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS 1998: 203-212
23EEChristian G. Fermüller, Herbert Langsteiner: Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. TABLEAUX 1998: 156-171
22EEChristian G. Fermüller, Alexander Leitsch: Decision Procedures and Model Building in Equational Clause Logic. Logic Journal of the IGPL 6(1): 17-41 (1998)
21 Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: Labeled Calculi and Finite-Valued Logics. Studia Logica 61(1): 7-33 (1998)
1997
20 Matthias Baaz, Uwe Egly, Christian G. Fermüller: Lean Induction Principles for Tableaux. TABLEAUX 1997: 62-75
1996
19EEMatthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: MUltlog 1.0: Towards an Expert System for Many-Valued Logics. CADE 1996: 226-230
18EEChristian G. Fermüller: Semantic Trees Revisited: Some New Completeness Results. CADE 1996: 568-582
17EEMatthias Baaz, Christian G. Fermüller: Intuitionistic Counterparts of Finitely-Valued Logics. ISMVL 1996: 136-
16 Matthias Baaz, Christian G. Fermüller: Combining Many-valued and Intuitionistic Tableaux. TABLEAUX 1996: 65-79
15 Christian G. Fermüller, Alexander Leitsch: Hyperresolution and Automated Model Building. J. Log. Comput. 6(2): 173-203 (1996)
1995
14 Matthias Baaz, Christian G. Fermüller: Non-elementary Speedups between Different Versions of Tableaux. TABLEAUX 1995: 217-230
13 Matthias Baaz, Christian G. Fermüller: Resolution-Based Theorem Proving for Manyvalued Logics. J. Symb. Comput. 19(4): 353-391 (1995)
1994
12 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
11 Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov: Resolution Methods for the Decision Problem Springer 1993
10 Matthias Baaz, Christian G. Fermüller, Richard Zach: Systematic Construction of Natural Deduction Systems for Many-Valued Logics. ISMVL 1993: 208-213
9EEChristian G. Fermüller, Gernot Salzer: Ordered Paramodulation and Resolution as Decision Procedure. LPAR 1993: 122-133
8EEMatthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach: MULTILOG: A System for Axiomatizing Many-valued Logics. LPAR 1993: 345-347
7 Georg Gottlob, Christian G. Fermüller: Removing Redundancy from a Clause. Artif. Intell. 61(2): 263-289 (1993)
6 Matthias Baaz, Christian G. Fermüller, Richard Zach: Dual systems of sequents and tableaux for many-valued logics. Bulletin of the EATCS 49: 192-197 (1993)
5 Matthias Baaz, Christian G. Fermüller, Richard Zach: Dual systems of sequents and tableaux for many-valued logics. Bulletin of the EATCS 51: 192-197 (1993)
4 Matthias Baaz, Christian G. Fermüller, Richard Zach: Elimination of Cuts in First-order Finite-valued Logics. Elektronische Informationsverarbeitung und Kybernetik 29(6): 333-355 (1993)
1992
3EEChristian G. Fermüller, Alexander Leitsch: Model Building by Resolution. CSL 1992: 134-148
2EEMatthias Baaz, Christian G. Fermüller: Resolution for Many-Valued Logics. LPAR 1992: 107-118
1990
1EEChristian G. Fermüller: A Resolution Variant Deciding some Classes of Clause Sets. CSL 1990: 128-144

Coauthor Index

1Matthias Baaz [2] [4] [5] [6] [8] [10] [12] [13] [14] [16] [17] [19] [20] [21] [24] [26] [27] [28] [32] [33] [35] [37] [39] [41] [48] [52]
2Peter Baumgartner [30]
3Agata Ciabattoni [24] [27] [35] [36] [37] [39] [42] [43] [48] [52]
4Uwe Egly [20] [38]
5Georg Gottlob [7]
6Ullrich Hustadt [31]
7Robert Kosik [45]
8Herbert Langsteiner [23]
9Alexander Leitsch [3] [11] [12] [15] [22] [31]
10George Metcalfe [43]
11Georg Moser [29] [34]
12Arie Ovrutcki [8]
13Nicolas Peltier [30]
14Reinhard Pichler [44] [46] [47]
15Gernot Salzer [9] [19] [21] [32]
16Tanel Tammet [11] [31]
17Helmut Veith [24] [27] [28]
18Richard Zach [4] [5] [6] [8] [10] [19] [21] [34]
19N. K. Zamov [11]
20Hantao Zhang [30]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)