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

MPI-INF RG1 Publications, generated: 5:43, 21 October 2014

Search the publication database

  . Return

Your search returned the following 75 documents:

  1. Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski
    Automated Verification of Interactive Rule-Based Configuration Systems
    In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, USA, 2013, 551-561
    [PDF: Download: paper.pdf]
  2. Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, and Christoph Weidenbach
    From Search to Computation: Redundancy Criteria and Simplification at Work
    In: Programming Logics, Essays in Memory of Harald Ganzinger, Saarbrücken, Germany, 2013
  3. Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, and Reinhard Wilhelm
    Harald Ganzinger's Legacy: Contributions to Logics and Programming
    In: Programming Logics, Festschrift, 2013
  4. Andrei Voronkov Voronkov and Christoph Weidenbach
    Programming Logics - Essays in Memory of Harald Ganzinger
    , Springer, Heidelberg, 2013, 445 p.
  5. Thomas Hillenbrand and Christoph Weidenbach
    Superposition for Bounded Domains
    In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 2013, 68-100
  6. Martin Suda and Christoph Weidenbach
    A PLTL-prover based on labelled superposition with partial model guidance
    In: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, 2012, 537-543

  7. Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach
    Automatic Generation of Invariants for Circular Derivations in SUP(LA)
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 197-211
  8. Pascal Fontaine, Stephan Merz, and Christoph Weidenbach
    Combination of Disjoint Theories: Beyond Decidability
    In: Proceedings of the 6th International Joint Conference on Automated Reasoning, Manchester, UK, 2012
  9. Martin Suda and Christoph Weidenbach
    Labelled Superposition for PLTL
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 391-405

  10. Jasmin Christian Blanchette, Andrei Popescu, Daniel Wand, and Christoph Weidenbach
    More SPASS with Isabelle : Superposition with Hard Sorts and Configurable Simplification
    In: Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, 2012, 345-360
  11. Christoph Weidenbach and Patrick Wischnewski
    Satisfiability Checking and Query Answering for large Ontologies
    In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, Manchester, UK, 2012, 163-177
  12. Arnaud Fietzke and Christoph Weidenbach
    Superposition as a Decision Procedure for Timed Automata
    Mathematics in Computer Science 6 (4): 409-425, 2012
  13. Evgeny Kruglov and Christoph Weidenbach
    Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Mathematics in Computer Science 6 (4): 427-456, 2012

  14. Evgeny Kruglov and Christoph Weidenbach
    Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Mathematics in Computer Science 6 (4): 427-456, 2012

  15. Arnaud Fietzke and Christoph Weidenbach
    Superposition as a Decision Procedure for Timed Automata
    In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), Beijing, China, 2011
  16. Tianxiang Lu, Stephan Merz, and Christoph Weidenbach
    Towards Verification of the Pastry Routing Protocol using TLA+
    In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, 2011, 244-258. Note: Accepted
  17. Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Teige Teige, and Christoph Weidenbach
    SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic
    In: 8th International Symposium on Frontiers of Combining Systems, Saarbruecken, Germany, 2011, 119-134
  18. Evgeny Kruglov and Christoph Weidenbach
    SUP(T) Decides First-Order Logic Fragment Over Ground Theories
    In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4), Beijing, China, 2011
  19. Tianxiang Lu, Stephan Merz, and Christoph Weidenbach
    Model Checking the Pastry Routing Protocol
    In: 10th International Workshop Automatic Verification of Critical Systems (AVOCS 2010), Düsseldorf, Germany, 2010, 19-21
    [PDF: Download: mcpastry-lu-avocs2010.pdf]
  20. Martin Suda, Christoph Weidenbach, and Patrick Wischnewski
    On the Saturation of YAGO
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2010-RG1-001, Research Report
  21. Martin Suda, Christoph Weidenbach, and Patrick Wischnewski
    On the Saturation of YAGO
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, 2010, 441-456
  22. Christoph Weidenbach and Patrick Wischnewski
    Subterm Contextual Rewriting
    AI Communications 23 (2-3): 97-109, 2010
  23. Arnaud Fietzke, Holger Hermanns, and Christoph Weidenbach
    Superposition-based Analysis of First-Order Probabilistic Timed Automata
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, 2010, 302-316
  24. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    ACM Transactions on Computational Logic 11 (4): 27,1-27,35, 2010
  25. Manuel Lamotte-Schubert and Christoph Weidenbach
    Analysis of Authorizations in SAP R/3
    In: First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings, Oslo, Norway, 2009, 90-104
    [PDF: Download: SapR3.pdf]
  26. Manuel Lamotte-Schubert and Christoph Weidenbach
    Analysis of Authorizations in SAP R/3
    In: FTP 2009 : First-Order Theorem Proving, Oslo, Norway, 2009, 90-104
  27. Christoph Weidenbach and Patrick Wischnewski
    Contextual Rewriting
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2009-RG1-002, Research Report
  28. Matthias Horbach and Christoph Weidenbach
    Decidability Results for Saturation-Based Model Building
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 404-420
  29. Matthias Horbach and Christoph Weidenbach
    Deciding the Inductive Validity of Forall Exists* Queries
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2009-RG1-001, Research Report
    [PDF: Download: decIndQueries_TR.pdf]
  30. Matthias Horbach and Christoph Weidenbach
    Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
    In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, 2009, 332-347
  31. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    Annals of Mathematics and Artificial Intelligence 55 (1-2): 3-34, 2009
  32. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2009-RG1-005, Research Report
    [PDF: Download: superFixDom_TR.pdf]
  33. Ernst Althaus, Evgeny Kruglov, and Christoph Weidenbach
    Superposition Modulo Linear Arithmetic SUP(LA)
    In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, 2009, 84-99
  34. Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Martin Suda, and Patrick Wischnewski
    SPASS Version 3.5
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 140-145
  35. Christoph Weidenbach and Patrick Wischnewski
    Contextual Rewriting in SPASS
    In: PAAR/ESHOL, Sydney, Australien, 2008, 115-124
  36. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    In: IJCAR, Sydney, Australia, 2008, 459-474
  37. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    MPI-INF RG1, MPI für Informatik, MPI-I-2008-RG1-001, Research Report
    [PDF: Download: MPI-I-2008-RG1-001.pdf]
  38. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    In: CSL, Bertinoro, Italy, 2008, 293-307
  39. Simon Hirth, Carsten Karl, and Christoph Weidenbach
    Automatic Analysis of LAN Infrastructures
    Max Planck Institute for Informatics, Saarbruecken, MPI-I-2007-RG1-001, Research Report

  40. Tal Lev-Ami, Christoph Weidenbach, Thomas Reps, and Mooly Sagiv
    Labelled Clauses
    In: 21st International Conference on Automated Deduction (CADE-21), Bremen, Germany, 2007, 311-327
  41. Thomas Hillenbrand and Christoph Weidenbach
    Superposition for Finite Domains
    Max-Planck Institute for Informatics, Saarbruecken, MPI-I-2007-RG1-002, Research Report

  42. Christoph Weidenbach, Renate Schmidt, Thomas Hillenbrand, Rostislav Rusev, and Dalibor Topic
    System Description: Spass Version 3.0
    In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, 2007, 514-520

  43. Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
    Sudokus as Logical Puzzles
    In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 2-12
  44. 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]
  45. Christoph Weidenbach
    Combining Superposition, Sorts and Splitting
    In: Handbook of Automated Reasoning, 2001, 1965-2013
  46. Andreas Nonnengart and Christoph Weidenbach
    Computing small clause normal forms
    In: Handbook of Automated Reasoning, 2001, 335-367
  47. 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]
  48. Christoph Weidenbach
    Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
    Habilitation thesis, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, 2000
  49. 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
  50. 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
  51. Christoph Weidenbach
    SPASS V0.95TPTP
    Journal of Automated Reasoning 23 (1): 21-21, 1999
  52. 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
  53. 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
  54. 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
  55. Christoph Weidenbach
    Rechnen in sortierter Prädikatenlogik
    In: Ausgezeichnete Informatikdissertationen 1997, 1998, 183-197
  56. Christoph Weidenbach
    Sorted Unification and Tree Automata
    In: Automated Deduction - A Basis for Applications, 1998, 291-320
  57. 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
  58. Christoph Weidenbach, Christoph Meyer, Christian Cohrs, Thorsten Engel, and Enno Keen
    SPASS V0.77
    Journal of Automated Reasoning 21 (1): 113-113, 1998
  59. 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
  60. Christoph Weidenbach
    SPASS Version 0.49
    Journal of Automated Reasoning 18 (2): 247-252, 1997
  61. Reiner Hähnle, Manfred Kerber, and Christoph Weidenbach
    Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''
    Universität Karlsruhe, Karlsruhe, 10/96, Interner Bericht
  62. Christoph Weidenbach
    Computational Aspects of a First-Order Logic with Sorts
    Doctoral dissertation, Universität des Saarlandes, 1996
  63. 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
  64. 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
  65. 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
  66. Christoph Weidenbach
    Unification in Sort Theories and its Applications
    Annals of Mathematics and Artificial Intelligence 18 (2/4): 261-293, 1996
  67. 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
  68. Hans Jürgen Ohlbach and Christoph Weidenbach
    A Note on Assumptions about Skolem Functions
    Journal of Automated Reasoning 15 (2): 267-275, 1995
  69. Christoph Weidenbach
    First-Order Tableaux with Sorts
    Journal of the Interest Group in Pure and Applied Logics 3 (6): 887-906, 1995
  70. 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
  71. 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
  72. 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
  73. Christoph Weidenbach
    Sorts, Resolution, Tableaux and Propositional Logic
    In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 315-316
  74. 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
  75. 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