Your search returned the following 33 documents:

33. Sudokus as Logical Puzzles
    Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
    In: Proceedings of the Third Workshop on Disproving, Seattle, USA, 2006, 2-12
    
32. SPASS Version 2.0
    Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, and Dalibor Topić
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Kopenhagen, Denmark, 2002, 275-279
    [PS: Download: spass2002.ps]
    
31. Combining Superposition, Sorts and Splitting
    Christoph Weidenbach
    In: Handbook of Automated Reasoning, 2001, 1965-2013
    
30. Computing small clause normal forms
    Andreas Nonnengart and Christoph Weidenbach
    In: Handbook of Automated Reasoning, 2001, 335-367
    
29. First-Order Atom Definitions Extended
    Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach
    In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havanna, Cuba, December, 3 - December, 7, 2001, 309-319
    [PS: Download: AtomFinal.ps]
    
28. Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
    Christoph Weidenbach
    Habilitation thesis, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, 2000
    
27. System Description: SPASS Version 1.0.0
    Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topić
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, 1999, 314-318
    
26. Towards an Automatic Analysis of Security Protocols in First-Order Logic
    Christoph Weidenbach
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July 7-10, 1999, 1999, 378-382
    
25. SPASS V0.95TPTP
    Christoph Weidenbach
    Journal of Automated Reasoning 23 (1): 21-21, 1999
    
24. On Generating Small Clause Normal Forms
    Andreas Nonnengart, Georg Rock, and Christoph Weidenbach
    In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5-10 1998, 1998, 397-411
    
23. Optimised Functional Translation and Resolution
    Ullrich Hustadt, Renate A. Schmidt, and Christoph Weidenbach
    In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), Oisterwijk, The Netherlands, May, 5-8, 1998, 36-37
    
22. Paradigmen und Perspektiven der automatischen Deduktion
    Reinhold Letz and Christoph Weidenbach
    KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. 4: 15-19, 1998
    
21. Rechnen in sortierter Prädikatenlogik
    Christoph Weidenbach
    In: Ausgezeichnete Informatikdissertationen 1997, 1998, 183-197
    
20. Sorted Unification and Tree Automata
    Christoph Weidenbach
    In: Automated Deduction - A Basis for Applications, 1998, 291-320
    
19. Unification in Extensions of Shallow Equational Theories
    Florent Jacquemard, Christoph Meyer, and Christoph Weidenbach
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March, 30th - April, 1st, 1998, 76-90
    
18. SPASS V0.77
    Christoph Weidenbach, Christoph Meyer, Christian Cohrs, Thorsten Engel, and Enno Keen
    Journal of Automated Reasoning 21 (1): 113-113, 1998
    
17. Soft Typing for Ordered Resolution
    Harald Ganzinger, Christoph Meyer, and Christoph Weidenbach
    In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), Townsville, Australia, July, 14-17, 1997, 321-335
    
16. SPASS Version 0.49
    Christoph Weidenbach
    Journal of Automated Reasoning 18 (2): 247-252, 1997
    
15. Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''
    Reiner Hähnle, Manfred Kerber, and Christoph Weidenbach
    Universität Karlsruhe, Karlsruhe, 10/96, Interner Bericht
    
14. Computational Aspects of a First-Order Logic with Sorts
    Christoph Weidenbach
    Doctoral dissertation, Universität des Saarlandes, 1996
    
13. Sorted Unification and Its Application to Automated Theorem Proving
    Christoph Weidenbach
    In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, New Brunswick, USA, July, 30 - August, 3, 1996, 67-76. Note: To appear in form of a technical report at the University of Wien, Austria
    
12. Unification in Pseudo-Linear Sort Theories is Decidable
    Christoph Weidenbach
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, July, 30 - August, 3, 1996, 343-357
    
11. Unification in Sort Theories
    Christoph Weidenbach
    In: Proceedings of the 10th International Workshop on Unification, UNIF'96, Harsching, Germany, June, 3 - June, 5, 1996, 16-25
    
10. Unification in Sort Theories and its Applications
    Christoph Weidenbach
    Annals of Mathematics and Artificial Intelligence 18 (2/4): 261-293, 1996
    
9. SPASS & FLOTTER, Version 0.42
   Christoph Weidenbach, Bernd Gaede, and Georg Rock
   In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, July, 30 - August, 3, 1996, 141-145
   
8. A Note on Assumptions about Skolem Functions
   Hans Jürgen Ohlbach and Christoph Weidenbach
   Journal of Automated Reasoning 15 (2): 267-275, 1995
   
7. First-Order Tableaux with Sorts
   Christoph Weidenbach
   Journal of the Interest Group in Pure and Applied Logics 3 (6): 887-906, 1995
   
6. Workshop CPL Computational Propositional Logic
   Peter Barth, Hans Kleine Büning, and Christoph Weidenbach
   In: KI-95 Activities: Workshops, Posters, Demos, Bielefeld, Germany, September, 11-13, 1995, 71-72
   
5. Description Logics for Natural Language Processing
   Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
   In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
   
4. First-Order Tableaux with Sorts
   Christoph Weidenbach
   In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, April 28-30, 1994, 1994, 247-261. Note: To appear in the Bulletin of IGPL
   
3. Sorts, Resolution, Tableaux and Propositional Logic
   Christoph Weidenbach
   In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 315-316
   
2. A New Sorted Logic
   Christoph Weidenbach
   In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, Bonn, 1992, 1993, 43-54
   
1. Extending the Resolution Method with Sorts
   Christoph Weidenbach
   In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), Chambery, France, 1993, 60-65