max planck institut
informatik

MPI-INF RG1 Publications, generated: 22:33, 24 May 2013

Search the publication database

Search in field  Author Editor Title for . Return HTML Format BibTeX Format

Your search returned the following 72 documents:

72. 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
    
71. Thomas Hillenbrand and Christoph Weidenbach
    Superposition for Bounded Domains
    In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 2013, 68-100
    
70. 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
    
    
69. 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
    
68. 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
    
67. 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
    
    
66. 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
    
65. 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
    
64. Arnaud Fietzke and Christoph Weidenbach
    Superposition as a Decision Procedure for Timed Automata
    Mathematics in Computer Science 6 (4): 409-425, 2012
    
63. Evgeny Kruglov and Christoph Weidenbach
    Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Mathematics in Computer Science 6 (4): 427-456, 2012
    
    
62. Evgeny Kruglov and Christoph Weidenbach
    Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Mathematics in Computer Science 6 (4): 427-456, 2012
    
    
61. 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
    
60. 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
    
59. 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
    
58. 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
    
57. 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]
    
56. 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
    
55. 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
    
54. Christoph Weidenbach and Patrick Wischnewski
    Subterm Contextual Rewriting
    AI Communications 23 (2-3): 97-109, 2010
    
53. 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
    
52. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    ACM Transactions on Computational Logic 11 (4): 27,1-27,35, 2010
    
51. 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
    
50. 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]
    
49. Christoph Weidenbach and Patrick Wischnewski
    Contextual Rewriting
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2009-RG1-002, Research Report
    
48. 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
    
47. 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]
    
46. 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
    
45. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    Annals of Mathematics and Artificial Intelligence 55 (1-2): 3-34, 2009
    
44. 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]
    
43. 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
    
42. 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
    
41. Christoph Weidenbach and Patrick Wischnewski
    Contextual Rewriting in SPASS
    In: PAAR/ESHOL, Sydney, Australien, 2008, 115-124
    
40. 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]
    
39. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    In: IJCAR, Sydney, Australia, 2008, 459-474
    
38. Matthias Horbach and Christoph Weidenbach
    Superposition for Fixed Domains
    In: CSL, Bertinoro, Italy, 2008, 293-307
    
37. 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
    
    
36. 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
    
35. Thomas Hillenbrand and Christoph Weidenbach
    Superposition for Finite Domains
    Max-Planck Institute for Informatics, Saarbruecken, MPI-I-2007-RG1-002, Research Report
    
    
34. 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
    
    
33. 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
    
32. 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]
    
31. Christoph Weidenbach
    Combining Superposition, Sorts and Splitting
    In: Handbook of Automated Reasoning, 2001, 1965-2013
    
30. Andreas Nonnengart and Christoph Weidenbach
    Computing small clause normal forms
    In: Handbook of Automated Reasoning, 2001, 335-367
    
29. 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]
    
28. Christoph Weidenbach
    Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
    Habilitation thesis, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät, 2000
    
27. 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
    
26. 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
    
25. Christoph Weidenbach
    SPASS V0.95TPTP
    Journal of Automated Reasoning 23 (1): 21-21, 1999
    
24. 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
    
23. 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
    
22. 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
    
21. Christoph Weidenbach
    Rechnen in sortierter Prädikatenlogik
    In: Ausgezeichnete Informatikdissertationen 1997, 1998, 183-197
    
20. Christoph Weidenbach
    Sorted Unification and Tree Automata
    In: Automated Deduction - A Basis for Applications, 1998, 291-320
    
19. 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
    
18. 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
    
16. Christoph Weidenbach
    SPASS Version 0.49
    Journal of Automated Reasoning 18 (2): 247-252, 1997
    
15. Reiner Hähnle, Manfred Kerber, and Christoph Weidenbach
    Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''
    Universität Karlsruhe, Karlsruhe, 10/96, Interner Bericht
    
14. Christoph Weidenbach
    Computational Aspects of a First-Order Logic with Sorts
    Doctoral dissertation, Universität des Saarlandes, 1996
    
13. 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
    
12. 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
    
11. 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
    
10. Christoph Weidenbach
    Unification in Sort Theories and its Applications
    Annals of Mathematics and Artificial Intelligence 18 (2/4): 261-293, 1996
    
9. 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
   
8. Hans Jürgen Ohlbach and Christoph Weidenbach
   A Note on Assumptions about Skolem Functions
   Journal of Automated Reasoning 15 (2): 267-275, 1995
   
7. Christoph Weidenbach
   First-Order Tableaux with Sorts
   Journal of the Interest Group in Pure and Applied Logics 3 (6): 887-906, 1995
   
6. 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
   
5. 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
   
4. 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
   
3. Christoph Weidenbach
   Sorts, Resolution, Tableaux and Propositional Logic
   In: KI-94 Workshops: Extended Abstracts, Saarbrücken, Germany, September 18-23, 1994, 1994, 315-316
   
2. 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
   
1. 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
   

• Login to this database