BibTeX cite key | Author/Editor | Year | | Title | Type |
WBH+02-CADE18 | Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor | 2002 | | SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | Proceedings Article |
Weidenbach1999jar | Weidenbach, Christoph | 1999 | | SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21 | Journal Article |
Weidenbach2000habil | Weidenbach, Christoph | 2000 | | Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät | Thesis - Habilitation thesis |
Weidenbach2001handbook | Weidenbach, Christoph | 2001 | | Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013 | Part of a Book |
Weidenbach92a | Weidenbach, Christoph | 1993 | | A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54 | Proceedings Article |
Weidenbach93a | Weidenbach, Christoph | 1993 | | Extending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65 | Proceedings Article |
Weidenbach94a | Weidenbach, Christoph | 1994 | | First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261 | Proceedings Article |
Weidenbach94c | Weidenbach, Christoph | 1994 | | Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316 | Proceedings Article |
Weidenbach95d | Weidenbach, Christoph | 1995 | | First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906 | Journal Article |
Weidenbach95e | Barth, Peter
Kleine Büning, Hans
Weidenbach, Christoph | 1995 | | Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | Proceedings Article |
Weidenbach96a | Weidenbach, Christoph | 1996 | | Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357 | Proceedings Article |
Weidenbach96b | Weidenbach, Christoph
Gaede, Bernd
Rock, Georg | 1996 | | SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145 | Proceedings Article |
Weidenbach96c | Weidenbach, Christoph | 1996 | | Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25 | Proceedings Article |
Weidenbach96d | Weidenbach, Christoph | 1996 | | Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76 | Proceedings Article |
Weidenbach96e | Weidenbach, Christoph | 1996 | | Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes | Thesis - PhD thesis |
Weidenbach96f | Weidenbach, Christoph | 1996 | | Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293 | Journal Article |
Weidenbach97jar | Weidenbach, Christoph | 1997 | | SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252 | Journal Article |
Weidenbach98kluwer | Weidenbach, Christoph | 1998 | | Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320 | Part of a Book |
Weidenbach98teubner | Weidenbach, Christoph | 1998 | | Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197 | Part of a Book |
Weidenbach99cade | Weidenbach, Christoph | 1999 | | Towards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382 | Proceedings Article |
Weidenbach99cadespass | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | 1999 | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article |
WeidenbachMeyerEtAl98jar | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | 1998 | | SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | Journal Article |
WernerBockmayrKrischer93f | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | 1993 | | How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-? | Proceedings Article |
WernerBockmayrKrischer93g | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | 1993 | | A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ? | Proceedings Article |
WernerBockmayrKrischer93i | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | 1993 | | How to Realize LSE Narrowing | Report |
WernerBockmayrKrischer94 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | 1994 | | How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76 | Proceedings Article |
WernerBockmayrKrischer98 | Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan | 1998 | | How to realize LSE narrowing
In: New Generation Computing [16], 397-434 | Journal Article |
Weydert1998a | Weydert, Emil | 1998 | | System JZ : How to build a canonical ranking model of a default knowledge base
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 190-201 | Proceedings Article |
Weydert1998b | Weydert, Emil | 1998 | | Minimal information entailment : A preliminary account
In: Proceedings of the 7th International Workshop on Nonmonotonic Reasoning (Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning), 64-72 | Proceedings Article |
Weydert1998c | Weydert, Emil
van der Torre, Leendert W. N. | 1998 | | Goals, desires, utilities and preferences
In: Proceedings of the ECAI-98 Workshop : Decision theory meets artificial intelligence - qualitative and quantitative approaches, 57-64 | Proceedings Article |