| 2008 |
|---|
| 52 | EE | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.
LPAR 2008: 451-466 |
| 51 | EE | Christian G. Fermüller:
Dialogue Games for Many-Valued Logics - an Overview.
Studia Logica 90(1): 43-68 (2008) |
| 2007 |
|---|
| 50 | EE | Christian G. Fermüller:
Fuzzy Logic and Theories of Vagueness.
EUSFLAT Conf. (1) 2007: 17-17 |
| 49 | EE | Christian G. Fermüller:
Exploring Dialogue Games as Foundation of Fuzzy Logic.
EUSFLAT Conf. (1) 2007: 437-444 |
| 48 | EE | Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller:
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.
LPAR 2007: 77-91 |
| 47 | EE | Christian G. Fermüller,
Reinhard Pichler:
Model Representation over Finite and Infinite Signatures.
J. Log. Comput. 17(3): 453-477 (2007) |
| 2006 |
|---|
| 46 | EE | Christian G. Fermüller,
Reinhard Pichler:
Model Representation over Finite and Infinite Signatures.
JELIA 2006: 164-176 |
| 45 | EE | Christian G. Fermüller,
Robert Kosik:
Combining Supervaluation and Degree Based Reasoning Under Vagueness.
LPAR 2006: 212-226 |
| 2005 |
|---|
| 44 | EE | Christian G. Fermüller,
Reinhard Pichler:
Model Representation via Contexts and Implicit Generalizations.
CADE 2005: 409-423 |
| 2004 |
|---|
| 43 | EE | Agata Ciabattoni,
Christian G. Fermüller,
George Metcalfe:
Uniform Rules and Dialogue Games for Fuzzy Logics.
LPAR 2004: 496-510 |
| 2003 |
|---|
| 42 | EE | Christian G. Fermüller,
Agata Ciabattoni:
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.
ISMVL 2003: 188- |
| 41 | EE | Matthias Baaz,
Christian G. Fermüller:
A Translation Characterizing the Constructive Content of Classical Theories.
LPAR 2003: 107-121 |
| 40 | EE | Christian G. Fermüller:
Parallel Dialogue Games and Hypersequents for Intermediate Logics.
TABLEAUX 2003: 48-64 |
| 39 | EE | Matthias 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 |
| 35 | EE | 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 |
| 34 | EE | Christian G. Fermüller,
Georg Moser,
Richard Zach:
Tableaux for Reasoning About Atomic Updates.
LPAR 2001: 639-653 |
| 33 | EE | 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 |
| 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 |
|---|
| 30 | | Peter Baumgartner,
Christian G. Fermüller,
Nicolas Peltier,
Hantao Zhang:
Workshop: Model Computation - Principles, Algorithms, Applications.
CADE 2000: 513 |
| 29 | EE | Christian 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 |
|---|
| 27 | EE | Matthias 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 |
|---|
| 25 | EE | Christian G. Fermüller:
Implicational Completeness of Signed Resolution.
FTP (LNCS Selection) 1998: 167-174 |
| 24 | EE | 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 |
| 23 | EE | Christian G. Fermüller,
Herbert Langsteiner:
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.
TABLEAUX 1998: 156-171 |
| 22 | EE | Christian 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 |
|---|
| 19 | | 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 |
| 18 | | Christian G. Fermüller:
Semantic Trees Revisited: Some New Completeness Results.
CADE 1996: 568-582 |
| 17 | EE | Matthias 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 |
| 9 | | Christian G. Fermüller,
Gernot Salzer:
Ordered Paramodulation and Resolution as Decision Procedure.
LPAR 1993: 122-133 |
| 8 | | Matthias 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 |
|---|
| 3 | | Christian G. Fermüller,
Alexander Leitsch:
Model Building by Resolution.
CSL 1992: 134-148 |
| 2 | | Matthias Baaz,
Christian G. Fermüller:
Resolution for Many-Valued Logics.
LPAR 1992: 107-118 |
| 1990 |
|---|
| 1 | | Christian G. Fermüller:
A Resolution Variant Deciding some Classes of Clause Sets.
CSL 1990: 128-144 |
