Filename | Size (KB) | Access | Type | Author(s) [non member] | Title | Year |
|---|
| ATTSH4YZ.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 |
| AtomFinal.ps | 547 |
| Proceedings Article | Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph | First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | 2001 |
| analysis.ps | 81 | Public
| Proceedings Article | Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor | Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | 2002 |
| An Abstract Model of Routing in Mobile Ad Hoc Networks.pdf | 286 | Public
| Proceedings Article | [Yuan, Cong]
[Billington, Jonathan]
Freiheit, Jörn | An Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156 | 2005 |
| amai.pdf | 400 | MPG
| Journal Article | Jaeger, Manfred | Complex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220 | 2001 |
| aij00.ps.gz | 77 | MPG
| Journal Article | Jaeger, Manfred | On the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308 | 2000 |
| abdelwaheb.ps | 848 | Public
| Thesis - Master's thesis | Ayari, Abdelwaheb | A Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes | 1995 |
| 99LICS_2_ps.gz | 127
56 | Public
| Proceedings Article | Ganzinger, Harald
de Nivelle, Hans | A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303 | 1999 |
| 99LICS_2.pdf | 127
56 | Public
| Proceedings Article | Ganzinger, Harald
de Nivelle, Hans | A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303 | 1999 |
| 85998158.ps | 213 | Public
| Report | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | Summaries for While Programs with Recursion | 2004 |
| 2003JAR.ps | 371 | Public
| Journal Article | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120 | 2004 |
| 2001JACM.ps.gz | 140 | Public
| Journal Article | [Basin, David A.]
Ganzinger, Harald | Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109 | 2001 |
| 2001Handbook.ps.gz | 401 |
| Part of a Book | Bachmair, Leo
Ganzinger, Harald | Resolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99 | 2001 |
| 2001CCL.ps.gz | 165
182 | Public
| Proceedings Article | Ganzinger, Harald
[Nieuwenhuis, Robert] | Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | 2001 |
| 2001CCL.dvi | 165
182 | Public
| Proceedings Article | Ganzinger, Harald
[Nieuwenhuis, Robert] | Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | 2001 |
| 13_jacobs_sofronie.pdf | 173 | Public
| Electronic Proceedings Article | Jacobs, Swen
Sofronie-Stokkermans, Viorica | Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26 | 2006 |
| 0003017.tar.gz | 19
58 | Public
| Electronic Proceedings Article | Booth, Richard | The lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ? | 2000 |
| 0003017.ps.gz | 19
58 | Public
| Electronic Proceedings Article | Booth, Richard | The lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ? | 2000 |
