Filename | Size (KB) | Access | Type | Author(s) [non member] | Title | Year |
0003017.tar.gz
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 |
RecResML.dvi | 21 | Public
| Proceedings Article | Kazakov, Yevgeny | Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | 2002 |
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 |
_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 |
UAI98.ps.gz
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 |
_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 |
PROBMIV99.ps.gz
probmiv99.ps | 67
166 | Public
| Proceedings Article | Jaeger, Manfred | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | 1999 |
KR98.ps.gz
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 |
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 |
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 |
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 |
LICS98.ps.gz
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 |
NOSup.ps | 104 | Public
| Electronic Proceedings Article | Hillenbrand, Thomas | A Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20 | 2004 |
_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 |
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 |
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 |
pwm.ps | 110 | Public
| Proceedings Article | [Gaillourdet, Jean-Marie]
Hillenbrand, Thomas
[Löchner, Bernd]
[Spies, Hendrik] | The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | 2003 |
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 |
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 |
99LICS_2.pdf
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 |
RatschanVehi.ps.gz | 131 | Public
| Proceedings Article | Ratschan, Stefan
Vehi, Josep | Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328 | 2004 |
_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 |
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 |
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 |
_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 |
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 |
_02ICLP.pdf | 156 | Public
| Proceedings Article | Ganzinger, Harald
[McAllester, David] | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | 2002 |
ln20060912.pdf | 163 | Internal
| Miscellaneous | Brahm, Uwe | Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik | 2006 |
_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 |
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 |