Information support systems for problem solving
Aggregating data for decision support
Access to specific declarative knowledge by expert systems: The impact of logic programming
Towards knowledge-based infolog specifications A case study of information engineering
A relational framework for assertion management
Making type changes transparent: Matts Ahlsen, Anders Bjoernerstedt, Stefan Britts, Christer Hulten and Lars Soederlund: SYSLAB-S, University of Stockholm, (February 1984)
Partitioning, spectra and linear programming: Earl A. Barnes and Alan J. Hoffman: IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (August 1982)
Language description and implementation concepts of LITFAS (Language for implications from textual files and atomic sentences): E. Bertsch: Informatik Bericht, FernUniversität Hagen, (April 1984)
Performance evaluation tool (PET): An analysis tool for computer communication networks: Kadaba Bharath-Kumar and Parviz Kermani: IBM T.J. Watson Research Center, Yorktown Heights, (Dec. 1982)
Actively learning to use a word processor: John M. Carroll and Robert L. Mack: Rep. RC 9482, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (July 1982)
Learning to use a word processor: by doing, by thinking, and by knowing: John M. Carroll and Robert L. Mack: Rep. RC 9481, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (July 1982)
Metaphor, computing systems, and active learning: John M. Carroll and Robert L. Mack: Computer Science Dept., IBM Watson Research Center, Yorktown Heights, (Oct. 1982)
Composition of productions: Lewis Clayton: IBM Watson Research Center, Yorktown Heights, (Dec. 1982)
A computational model for the analysis of arguments: Robin Cohen: Computer Systems Research Group, University of Toronto, (1983)
A rigorous approach to fault-tolerant system development: Flaviu Cristian: IBM Research Laboratory, San Jose, (Jan. 1983)
Multivariate splines — A new constructive approach: Wolfgang Dalmen and Charles A. Micchelli: Inst. f. Angew. Mathematik, Universität Bonn, (Sept. 1982)
Bounds on information exchange for byzantine agreement: Danny Dolev and Rudiger Reischuk: IBM Research Laboratory, San Jose, (Aug. 1982)
A weakest precondition semantics for communicating processes: Tzilla Elrad and Nissim Francez: T.J. Watson Research Center, Yorktown Heights, (Dec. 1982)
Child support: An addition to our social security menu: Irvin Garfinkel: SFB 3, J.W. Geothe-Universität Frankfurt und Universität Mannheim, (Jan. 1984)
An object-oriented office data model: Simon J. Gibbs: Computer Systems Research Group, University of Toronto, (Jan. 1984)
A probabilistic approach for dealing with ambiguous syntactic structures: Brian R. Greene and Tetsunosuke Fujisaki: IBM Thomas J. Watson Research Center, Yorktown Heights, (Dec. 1982)
Computing text constituency: An algorithm approach to the generation of text graphs: Udo Hahn and Ulrich Reimer: Informationswissenschaft, Universität Konstanz, (April 1984)
Textual expertise in word experts: An Approach to text parsing based on topic/comment monitoring ∗Extended version∗: Udo Hahn: Informationswissenschaft, Universität Konstanz, (June 1984)
Some technics for solving linear equation systems with guarantee: W. Hahn, K. Mohr and U. Schauer: Heidelberg Scientific Center, (Nov. 1983)
Problems of harmonization of minimum income regulations among EC member countries: Richard Hauser: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (August 1983).
Some problems of defining a poverty line for comparative studies: Richard Hauser: SFB 3, J.W. Goethe-Universität Frankfurt und Universitaet Mannheim, (June 1982)
Problems of anti-poverty policy in Germany (FRG): Richard Hauser: SFB 3, Goethe-Universität Frankfurt und Universität Mannheim, (July 1983)
The SFB-3 macroeconometric model — Theoretical aspects first simulation — and forecasting results: R. Hujer, G. Bauer and H. Knepel: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (March 1982)
Contributions to the theoretical foundations of systemeering research and the Pioco model: Juhani Iivari: Scientiae Rerum Naturalium, University of Oulu, (1983)
The fitted parse: 100% parsing capability in a synthatic grammar of english: Karen Jensen and George E. Heidorn: IBM Thomas J. Watson Research Center, Yorktown Heights, (Dec. 1982)
Political mobilization and democratic politics: Strains: Max Kaase: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (April 1984)
Generating requirements from enterprise analysis: David V. Kerner and Ashok Malhotra: IBM Thomas J. Watson Research Center, Yorktown Heights, (Nov. 1982)
Design of a document filing and retrieval service: Richard P. King, Henry F. Korth and Barry E. Willner: IBM Thomas J. Watson Research Center, Yorktown Heights, (Nov. 1982)
On some formal properties of tri-partite graphs: Juliusz Lech Kulikowski: ICS PAS Rep. 531, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (November 1983)
ADAPT: A tool for the design of reusable software: Burt Leavenworth: IBM Thomas J. Watson Research Center, Yorktown Heights, (Dec. 1982)
A reasoning system for computer aided engineering: Bengt Lundberg: SYSLAB-S, University of Stockholm, (Feb. 1984)
The philosophical nature of information requirements and some research implications: Kalle Lyytinen: SYSLAB-S, University of Stockholm, (May 1983)
The Research queueing package: A primer: Edward A. MacNair and Charles H. Sauer: IBM T.J. Watson Research Center, Yorktown Heights, (Jan. 1983)
Relational propositions in discourse: William C. Mann and Sandra A. Thompson: ISI, University of Southern California, (Nov. 1983)
The state and the structure of the life course: Karl Ullrich Mayer and Walter Müller: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (July 1984)
Diagnosis theory for reconfigurable and distributed systems: John A. McPherson and Charles R. Kime: IBM Research Laboratory, San Jose, (Jan. 1983)
The adjustment of microdata using the kalman filtering procedure and optimal control theory: Joachim Merz: SFB 3, J.W. Goethe-Universität Frankfurt and Universität Mannheim, (May 1983)
A decision theoretic formulation of a training problem in speech recognition and a comparison of training by unconditional versus conditional maximum likelihood: Arthur Nadas: IBM Thomas J. Watson Research Center, Yorktown Heights, (Oct. 1982)
Logical foundations of knowledge representation: Ewa Orlowska and Zdzislaw Pawlak: ICS PAS Rep. 537, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (February 1984)
Discrimination power of attributes in knowledge representation system: Zdzislaw Pawlak: ICS PAS Rep. 533, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (January 1984)
Rough sets and fuzzy sets: Zdzislaw Pawlak:, ICS PAS Rep. 540, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, (March 1984)
A new solution for the byzantine generals problem: Rüdiger Reischuk: IBM Research Laboratory, San Jose, (Nov. 1982)
Formal grammar as a tool for analyzing ease of use: Some fundamental concepts: Phyllis Reisner: IBM Research Laboratory, San Jose, (Dec. 1982)
The changes of the way of life between generations and classes, as seen through life histories: J.P. Roos: SFB 3, J.W. Goethe-Universität Frankfurt und Universität Mannheim, (Feb. 1984)
Compendium of graphics facilities: Stephen E. Rosenthal: IBM Thomas J. Watson Research Center, Yorktown Heights, (Aug. 1982)
Random pattern testability: J. Savir, G. Ditlow and P.H. Bardell: Rep. RC 9643, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (October 1982)
Good controllability and observability do not guarantee good testability: Jacob Savir: Rep. RC 9432, IBM T.J. Watson Research Center, Yorktown Heights, New York 10598, U.S.A., (June 1982)
A note on independent fireability in Petri nets: P.B. Sheridan: IBM Thomas J. Watson Research Center, Yorktown Heights, (Sept. 1982)
An integrated robot system architecture: R.H. Taylor: Manufacturing Research Dept. IBM T.J. Watson Research Center, Yorktown Heights, (Feb. 1983)
An algorithm for mapping logical routes into physical routes in communication networks: Dong-wan Tcha and Oliver C. Ibe: IBM Thomas J. Watson Research Center, Yorktown Heights, (Sept. 1982)
Formal data base specification — An electric Perspective: P.A.S. Veloso, M.A. Casanova and A.L. Furtado: Departamento de Informatica, Pontificia Universidade Catolica do Rio de Janeiro, (Jan. 1984)
A distributed terminal management facility: Robert A. Yost and Bruce G. Lindsay: IBM Research Laboratory, San Jose, (Jan. 1983)
A look at algebraic specifications: Stephen N. Zilles, Peter Lucas and James W. Thatcher: Computer Science Dept. IBM Research Laboratory, San Jose, (Aug. 1982)
Announcements
Calendar