Filename | Size (KB) | Access | Type | Author(s) [non member] | Title | Year |
lpar2005.pdf | 220 | Public
| Unpublished/Draft | Baumgartner, Peter
Suchanek, Fabian | Model-Generation Theorem Proving for First-Order Logic Ontologies | 2005 |
ln20060912.pdf | 163 | Internal
| Miscellaneous | Brahm, Uwe | Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik | 2006 |
LICS98.ps.gz | 94
245 | Public
| Proceedings Article | Jaeger, Manfred | Convergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55 | 1998 |
lics98final.ps | 94
245 | Public
| Proceedings Article | Jaeger, Manfred | Convergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55 | 1998 |
kv_LICS03.ps | 196 | Intranet
| Proceedings Article | Korovin, Konstantin
[Voronkov, Andrei] | Orienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | 2003 |
kv_cade19.ps | 323 | Intranet
| Proceedings Article | Korovin, Konstantin
[Voronkov, Andrei] | AC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59 | 2003 |
KR98.ps.gz | 70
70 | Public
| Proceedings Article | Jaeger, Manfred | Reasoning About Infinite Random Structures with Relational Bayesian Networks
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 570-581 | 1998 |
Kaz04GF2N.pdf | 200 | Public
| Proceedings Article | Kazakov, Yevgeny | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384 | 2004 |
JungDipl.ps | 849 |
| Thesis - Master's thesis | Jung, Georg | Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes | 2001 |
jsc-2003.pdf | 398 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924 | 2003 |
jim-03-sofronie.ps.gz | 126 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | Automated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167 | 2003 |
jappreas-final.ps | 213 | MPG
| Journal Article | Jaeger, Manfred | Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | 2001 |
j-mvl-2001.ps.gz | 221 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344 | 2001 |
j-mvl-2000.ps | 337 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305 | 2000 |
isa_mc_lpar05.pdf | 455 | Institute
| Proceedings Article | [Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | 2005 |
InstGen-final.pdf | 428 | Public
| Proceedings Article | Jacobs, Swen
Waldmann, Uwe | Comparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168 | 2005 |
InstanceGenerationMethods.ps.gz | 316 | Public
| Thesis - Master's thesis | Jacobs, Swen | Instance Generation Methods for Automated Reasoning
Universität des Saarlandes | 2004 |
ijcai01final.pdf | 108 | Public
| Proceedings Article | Jaeger, Manfred | Constraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760 | 2001 |
gjoin.ps | 264 | Public
| Journal Article | [Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd] | On Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233 | 2003 |
gaede.ps | 511 |
| Thesis - Master's thesis | Gaede, Bernd | Superposition Extended with Sorts
Universität Kaiserslautern | 1995 |
ftp98-lncs-selection.pdf | 253 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | Resolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282 | 2000 |
ftp-98.pdf | 253 | Public
| Report | Sofronie-Stokkermans, Viorica | Resolution-based Theorem Proving for SHn-Logics | 1998 |
final_summaries.ps | 165 | Intranet
| Proceedings Article | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | Summaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107 | 2005 |
field-constraint-analysis.pdf | 148 | Public
| Proceedings Article | Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.] | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | 2006 |
evaluation.ps | 171 |
| Proceedings Article | [Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei] | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | 2001 |
EnhancedWorkflowModels.pdf | 197 | Public
| Proceedings Article | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | 2005 |
engel.ps.gz | 250 | Public
| Thesis - Master's thesis | Engel, Thorsten | Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes | 1996 |
ecsqaru03final.ps | 123 | MPG
| Proceedings Article | Jaeger, Manfred | A Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61 | 2003 |
diss.pdf | 665 |
| Thesis - Doctoral dissertation | Maier, Patrick | A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes | 2003 |
dissview.dvi | 892 |
| Thesis - Doctoral dissertation | Baumeister, Hubert | Relations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes | 1999 |