Weydert, E.: System JZ: How to build a canonical ranking model of a default knowledge base. In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), S. 190 - 201 (Hg. Cohn, A. G.; Schubert, L.; Shapiro, S. C.). Untitled Event, Trento, Italy, 1998. Morgan Kaufmann, San Francisco, USA (1998)

Weydert, E.; van der Torre, L. W. N.: Goals, desires, utilities and preferences. In: Proceedings of the ECAI-98 Workshop: Decision theory meets artificial intelligence - qualitative and quantitative approaches, S. 57 - 64 (Hg. Lang, J.). Untitled Event, Brighton, United Kingdom, 1998. ECAI, Brighton, UK (1998)

Wu, J.; Lu, M.: CWA in Multi-Valued Logics. In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), S. 259 - 270 (Hg. Li, Z.). Untitled Event, Lanzhou, China, 1998. Lanzhou University, Lanzhou, China (1998)

Kasper, T.: A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming. Dissertation, Universität des Saarlandes, Saarbrücken (1998)

Podelski, A.: Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie. Habilitation, Universität des Saarlandes, Saarbrücken (1998)

Schirra, S.: Computational Geometry: Theory and Implementation. Habilitation, Universität des Saarlandes, Saarbrücken (1998)

Althaus, E.: Berechnung optimaler Steinerbäume in der Ebene. Diplom, Universität des Saarlandes, Saarbrücken (1998)

Backes, W.: Berechnung kürzester Gittervektoren. Master, Univesität des Saarlandes, Saarbrücken (1998)

Feld, T.: Analyse und Implementierung von Algorithmen zum Minimum Cost Circulation Problem. Master, Universität des Saarlandes, Saarbrücken (1998)

Friedrich, S.: Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment. Master, Universität des Saarlandes, Saarbrücken (1998)

Goesele, M.: Interaktive Konstruktion von Dreidimensionalen Szenen. Master, Universität Ulm, Ulm (1998)

Kappel, H.: Eine Methode zur Berechnung von Vorzeichen ganzzahliger Determinanten. Master, Universität des Saarlandes, Saarbrücken (1998)

Kettner, B.: Eine Implementation von k-Server-Algorithmen. Master, Universität des Saarlandes, Saarbrücken (1998)

Kursawe, K.: Exploration von geometrischen Umgebungen mit Hindernissen. Master, Universität des Saarlandes, Saarbrücken (1998)

Kwappik, C.: Exact Linear Programming. Master, Universität des Saarlandes, Saarbrücken (1998)

Lauer, T.: Design und Implementierung eines Testmanagers für LiDIA. Master, Universität des Saarlandes, Saarbrücken (1998)

Leven, P.: Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover. Master, Universität des Saarlandes, Saarbrücken (1998)

Miller, T.: Implementation and Experimental Evaluation of Dynamic Transitive Closure Algorithms. Master, Universität des Saarlandes, Saarbrücken (1998)

Mueck, T.: Implementation of Hammock Decomposition with Application to Shortest Path Problems. Master, Universität des Saarlandes, Saarbrücken (1998)

Müller, M.: Ein Simulator für Prozessor-Netzwerke. Master, Universität des Saarlandes, Saarbrücken (1998)