Subscribe to this collection to receive daily e-mail notification of new additions

Year of Publication	Title	Author(s)	Open Access
1997	Cooperating runtime systems in LiPS	Setz, Thomas; Liefke, Thomas
1997	Knowledge-based systems for knowledge management in enterprises : Workshop held at the 21st Annual German Conference on AI (KI-97)	Abecker, Andreas; Decker, Stefan; Hinkelmann, Knut, et al
1997	Model Existence for Higher Order Logic	Benzmüller, Christoph; Kohlhase, Michael
1997	Knowledge-based Cooperation between Theorem Provers by TECHS	Fuchs, Dirk; Denzinger, Jörg
1997	Planning Diagonalization Proofs	Cheikhrouhou, Lassaad
1997	Using TEAMWORK for the Distribution of Approximately Solving the Traveling Salesman Problem with Genetic Algorithms	Denzinger, Jörg; Scholz, Stephan
1997	Coupling Saturation-Based Provers by Exchanging Positive/Negative Information	Fuchs, Dirk
1997	Progress in Proof Planning : Planning Limit Theorems Automatically	Melis, Erica
1997	An Abstraction for Proof Planning : The S-Abstraction	Autexier, Serge
1997	Flexible Re-enactment of Proofs	Fuchs, Matthias
1997	Cooperation in Theorem Proving by Loosely Coupled Heuristics	Fuchs, Dirk; Denzinger, Jörg
1996	Studienführer Informationswissenschaft / Universität des Saarlandes, FR 5.5 Informationswissenschaft	Zimmermann, Harald H.
1996	Automatische Indexierung und elektronische Thesauri	Zimmermann, Harald H.
1996	Eine Uni braucht das Land, auch noch für die Enkel : vom Nutzen der Saar-Uni	Zimmermann, Harald H.
1996	Eine informationelle Revolution? : Anforderungen an die Informationswissenschaft	Zimmermann, Harald H.
1996	Elektronische Zeitungen	Zimmermann, Harald H.
1996	Automatische und intellektuelle Indexierung	Luckhardt, Heinz-Dirk
1996	Integration of prosodic and grammatical information in the analysis of dialogs	Kasper, Walter; Krieger, Hans-Ulrich
1996	From word hypotheses to logical form: an efficient interleaved approach	Kasper, Walter; Krieger, Hans-Ulrich; Spilker, Jörg, et al
1996	Semantic-based transfer	Dorna, Michael; Emele, Martin