Filename | Size (KB) | Access | Type | Author(s) [non member] | Title | Year |
_03LICS.pdf | 136 | Public
| Proceedings Article | Ganzinger, Harald
Korovin, Konstantin | New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64 | 2003 |
_03CADE.2.ps | 211 | Public
| Proceedings Article | Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe | Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | 2003 |
_03CADE.1.ps | 227 | Public
| Proceedings Article | Ganzinger, Harald
[Stuber, Jürgen] | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | 2003 |
_02ICLP.pdf | 156 | Public
| Proceedings Article | Ganzinger, Harald
[McAllester, David] | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | 2002 |
_02CADE.pdf | 176 | Public
| Proceedings Article | Ganzinger, Harald | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | 2002 |
_01LICS.ps.gz | 56 | Public
| Proceedings Article | Ganzinger, Harald | Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90 | 2001 |
_01IJCAR-2.pdf | 164 | Public
| Proceedings Article | Ganzinger, Harald
[McAllester, David] | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | 2001 |
_01IJCAR-1.pdf | 149 | Public
| Proceedings Article | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | 2001 |
_01AIML.ps.gz | 105 | Public
| Part of a Book | Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A. | A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246 | 2001 |
_00ISMVL_ps.gz | 55 | Public
| Proceedings Article | Ganzinger, Harald
Sofronie-Stokkermans, Viorica | Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344 | 2000 |
YevgenyThesis.pdf | 3052 | Public
| Thesis - Doctoral dissertation | Kazakov, Yevgeny | Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes | 2006 |
wm.ps | 393 | Intranet
| Journal Article | [Löchner, Bernd]
Hillenbrand, Thomas | A Phytography of WALDMEISTER
In: AI Communications [15], 127-133 | 2002 |
wmloop.ps | 386 | Public
| Proceedings Article | Hillenbrand, Thomas
[Löchner, Bernd] | The Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500 | 2002 |
UAI98.ps.gz | 55
55 | Public
| Proceedings Article | Jaeger, Manfred | Measure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281 | 1998 |
uai98final.ps.gz | 55
55 | Public
| Proceedings Article | Jaeger, Manfred | Measure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281 | 1998 |
UAI97.ps.gz | 44 | Public
| Proceedings Article | Jaeger, Manfred | Relational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273 | 1997 |
tv06proceedings.pdf | 5023 | Internal
Internet Download forbidden | Unpublished/Draft | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | Thread-Modular Verification and Cartesian Abstraction | 2006 |
thesis.ps | 1598 |
| Thesis - Doctoral dissertation | Mukhopadhyay, Supratik | A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | 2001 |
thesis-thoma_wies.pdf | 584 | Public
| Thesis - Master's thesis | Wies, Thomas | Symbolic Shape Analysis
Universität des Saarlandes | 2004 |
tableaux-2002.pdf | 241 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | On uniform word problems involving bridging operators on distributive lattices
In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250 | 2002 |
SubDL.pdf | 154 | Public
| Proceedings Article | Kazakov, Yevgeny
de Nivelle, Hans | Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64 | 2003 |
studia-logica-2000-2.pdf | 1351
807 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172 | 2000 |
studia-logica-2000-1.pdf | 1351 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132 | 2000 |
studia-logica-2000-1.pdf | 1351
807 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172 | 2000 |
stuber.ps | 453 | Public
| Thesis - Master's thesis | Stuber, Jürgen | Inductive Theorem Proving for Horn Clauses
Universität Dortmund | 1991 |
Stuber1999Diss.ps.gz | 399 | Public
| Thesis - Doctoral dissertation | Stuber, Jürgen | Superposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes | 1999 |
spass2002.ps | 106 | Public
| Proceedings Article | Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor | SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | 2002 |
sofronie-stokkermans-fct-1999.ps.gz | 92 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica
[Stokkermans, Karel] | Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523 | 1999 |
sofronie-ijcar-06.pdf | 192 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | 2006 |
sofronie-dam-revised.ps | 553 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | 2007 |