Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 4:18, 17 September 2019

Search the publication database

  . Return

Your search returned the following 33 documents:

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