Forschungsbericht 1995
Gräbe, H.-G.
The tangent cone algorithm and homogenization
J. Pure Applied Algebra 97 (1995) S. 303-312
Gräbe, H.-G.
On factorized Gröbner bases
Computer algebra in science and engineering, World Scientific, Singapore, 1995, S. 77-89
Herre, H.
Generalized Compactness of Nonmonotonic Inference Operations
Journal of Applied Non-classical Logic, 1995, S. 121-135
Rahm, E.
Parallele Datenbanksysteme
Informix Vision, 1 (1995) S. 50-56
Engelfriet, J.; Herre, H.; Treuer, J.
Nonmonotonic Belief State Frames and reasoning Frames. In: Froidevaux; C.; Kohlhas, J. (Hg.): Proceedings of ECSQARU '95, LNAI vol. 946, Berlin, Springer, 1995, S. 189-196
Herre, H.
Theories of finitely determinate linear orderings in Stationary Logic. In: Krynicki, M. (Hg.): Quantifiers: Logics, Models and Computation, Kluwer academic publishers, 1995, S. 89-113
Herre, H.
Theory of linear order in extended logics. In: Krynicki, M. (Hg.): Quantifiers: Logics, Models and Computation, Kluwer academic publishers, 1995, S. 139-192
Heyer, G.
Elements of a Natural Language Processing Technology. In: Haugeneder, H. (Hg.), Heyer, G.: Language Engineering, Wiesbaden, Vieweg Verlag, 1995
Heyer, G.
On the notion of a Natural Language Products Technology. In: Hitzenberger, L.: Angewandte Computerlinguistik, Hildesheim, Georg Olms Verlag, 1995
Heyer, G.
Elektronisches Publizieren und Standards für wiederverwendbare elektronische Wörterbücher In: Gather, A.: Semiotische Prozesse und natürliche Sprache, Stuttgart, Steiner Verlag, 1995
Marek, R.; Rahm, E.
Dynamic Multi-Resource Load Balancing in Parallel Database Systems. In: Proc. 21th Int. Conf. on Verxy Large Database systems, Zürich, Sep. 1995, S. 395-406
Rahm, E.; Stöhr, T.
Analysis of Parallel Scan Processing in Shared Disk Database Systems. In: Proc. In. EURO-PAR Conf., Stockholm, August 1995, Lecture Notes in Computer Science 966, S. 485-500
Wagner, G.
From Information Systems to Knowledge Systems. In: Falkenberg, E. (Ed.), Proc. IFIP Conf. on Information Systems Concepts (ISCO-3), London, Chapman & Hall, 1995
Wagner, G.
A Logical and Operational Model of Scalable Knowledge- and Perceiption-Based Agents. In: Van de Velde and J.W. Perram (Eds.), Agents Breaking Away, LNAI 1038, New York, Springer, 1995, S. 26-41
Wagner, G.
Logics Based in Knowledge Representation systems. In: Fuhrmann, A.; Rott, H. (Eds.), Logic, Action and Information, 1995, S. 415-446
Hering, K.; Haupt, R.; Villmann, Th.
Cone-basierte, hierarchische Modellpartionierung zur parallelen compilergesteuerten Logiksimulation beim VLSI-Design
Report 13 (1995), Institut für Informatik, Universität Leipzig
Hering, K.; Haupt, R.; Villmann, Th.
An Improved Mixture of Experts Approach for Model Partitioning in VLSI-Design Using Genetic Algorithms
Report 14 (1995), Institut für Informatik, Universität Leipzig
Herre, H.; Jaspers, J.; Wagner, G.
Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning
Report 12 (1995), Institut für Informatik, Universität Leipzig, 1995, 43 S.
Herre, H.; Wagner, G.
A General Notation of Stable Models
Report 17 (1995), Institut für Informatik, Universität Leipzig, 1995
Herrmann, P.; Moehrke, U.; Schmidt, M.
Synthesis Tools for FPGA-Design
Report 15 (1995), Institut für Informatik, Universität Leipzig, 1995
Sosna, D.; Zschöttge, S.
Zellulare Automaten und ihre Anwendung bei der Modellierung von Wellenerscheinungen
Report 16 (1995), Institut für Informatik, Universität Leipzig, 1995
Apel, J.; Stückrad, J.; Tworzewski, P.; Winiarski, T.
Quasi-complete intersection ideals of height 2
Preprint NTZ 32/95, Universität Leipzig, 1995
Apel, J.; Stückrad, J.; Tworzewski, P.; Winiarski, T.
Intersections of sequences of ideals generated by polynomials
Preprint 1995/05, Instytut Matematyki, Universytet Krakow, 1995
Wagner, G.
Disjunctive Knowledge Bases
Report 11 (1995), Institut für Informatik, Universität Leipzig
Gräbe, H.-G.
CALI - a REDUCE package for conmmutative algebra
http://www.informatik.uni-leipzig.de/,
Universität Leipzig,1995
Roland Krause, Sven Türpe - Juni 1996