Editorial Board
Introduction
Logic modeling: A tool for management science
Requirements analysis assisted by logic modelling
A logic model for electronic contracting
A quantitative approach to logical inference
Spatial imbeddings for linear and for logic structures
Logic modeling with partially ordered preferences
Defeasible reasoning and decision support systems
Why nonmonotonic logic?
A conditional logic for defeasible beliefs
Announcements
PROGEO: Darstellung und manipulation geowissenschaftlicher objekte,: H.-J. Appelrath and H. Lorek: Institut fuer Informatik, Eidgenoessische Technische Hochschule, Zuerich, Maerz 1987
Musician — A music processing and synthesis systems: A. Ban and J.A. Makowsky: Department of Computer Science, Israel Institute of technology, Haifa, Sept. 1986
IRS — The internal representation: H. Bergmann, M. Fliegner, M. Gerlach, H. Marburger and M. Poesio: Verbundvorhaben WISBER, Universitaet Hamburg, Nov. 1987
Evaluating linear-recursive logic queries against cyclic relations: Eram Gery and Yoav Raz: Department of Computer Science, Israel Institute of Technology, Haifa, July 1986
The private workspace model of concurrency control: Theory and practice: Israel Gold: Department of Computer Science, Israel institute of Technology, Haifa, July 1986
A correction algorithm for token-passing sequences in mobile communication networks: Y.E. Gold and S. Moran: Department of Computer Science, Israel Institute of Technology, Haifa, August 1986
Effiziente algorithmen fuer relationale datenbanksysteme mit rekursion,: Johannes Heigert: Institut fuer Informatik, Technische Universitaet Muenchen, July 1986
The usage dependency model for logical database design, computing research laboratory: E. Hevia and R.J. Teorey: The University of Michigan, July 1984
A two step reference problem solver: Rudolf Hunze and Hans Ulrich Block: Verbundvorhaben WISBER, Siemens AG, ZT ZTI INF3, 8 München 83, FRG, Juni 1987
Representation and processing of knowledge structures: the hybrid system KANON: Dimitris Karagiannis: Institute fuer Angewandte Informatik, Technische Universitaet Berlin, Nov. 1987
Die neuschaetzung des lohnsteueraufkommens im makroekonometrischen modell des Sfb 3: Eberhard Klein: Sonderforschungsbereich 3, J.W. Goethe-Universitaet Frankfurt und Universitaet Mannheim, Maerz 1987
A high-speed cellular-array multiplier with two-adder cells: Stanislaw Majerski: Institute of Computer Science, Polish Academy of Sciences, Warsaw, December 1986
On the cost of reducing the interaction in interactive proof protocols: Shlomo Moran: Department of Computer Science, Israel Institute of Technology, Haifa, Nov. 1986
Implementing a Taxis compiler: Brian A. Nixon, K. Lawrence Chung, David Lauzon, Alex Borgida, John Mylopoulos and Martin Stanley: Computer Systems Research Institute, University of Toronto, Jan. 1987
Simulierte zeit und das ada rendezvouz: Werner Pohlmann: Institut fuer Informatik, Technische Universitaet Muenchen, Nov. 1986
On the algebraic variance of linear transformations and its applications to algebraic codes: R.M. Roth and A. Lempel: Department of Computer Science, Israel Institute of Technology, Haifa, Sept. 1986
Umfang des schattenwirtschaftlichen arbeitsangebotes in der nebenerwerbstaetigkeit: Johannes Schwarze: Sonderforschungsbereich 3, J.W. Goethe-Universitaet Frankfurt und Universitaet Mannheim, Dezember 1987
Towards an algebraic model for communicating processes: Josef Winkowski: Institute of Computer Science, Polish Academy of Sciences, Warsaw December 1986
Schattenwirtschaft — Micro- und makrooekonomische ergebnisse fuer die bundesrepublik deutschland: Klaus Wolff: Sonderforschungsbereich 3, J.W. Goethe-Universitaet und Universitaet Mannheim, Jan. 1987
The performance of locking protocols in distributed databases: Ouri Wolfson: Department of Computer Science, Israel Institute of Technology, Haifa, December 1986
Progress report #2 of PROSPECT: N. Duppel, P. Peinl, A. Reuter, G. Schiele and H. Zeller: Universität Stuttgart, Department of Computer Science
Calendar of events
