One of the biggest problems in AT programming is the difficulty of specifying control. Meta-level architecture is a knowledge engineering approach to coping with this difficulty. The key feature of the architecture is a declarative control language that allows one to write partial specifications of program behavior. This flexibility facilitates incremental system dcvclopment and the integration...

The Albany State Football team should win an award at the end of the season for the "NCAA's Most Deceptive Record." Coach Bob Ford should win an award also for keeping his sanity through it all. Division Ill's best 2-7 team suffered another tough-luck loss this past Saturday, 15-13, against the now 7-2 Buffalo University Bulls, in a game marred by freezing rain and lousy weather conditions al w...

This paper describes how integrity constraints, whether user supplied or automatically generated during the search, and analysis of failures can be used to improve the execution of function free logic programs. Integrity constraints are used to guide both the forward and backward execution of the Programs. This work applies to arbitrary node and literal selection functions and is thus transpare...

H. W. SCHREIBER and G. CARSTENSEN (editors), Chirurgie im Wandel der Zeit 1945-1983, Berlin, Heidelberg, and New York, Springer-Verlag, 1983, 8vo, pp. xviii, 419, illus., $55.20/ DM.128.00 This heaavy hardback of 419 pages records the proceedings of the 100th Congress of the German Surgical Association founded in 1872 by the surgeons Billroth and von Langenbeck. In addition to the two editors, ...

The predicted infrared brightness temperature of Mars using the 1976 model of Wright is tabulated here for the period 1983 to 2103. This model was developed for far-infrared calibration, and is still being used for JCMT calibration. Subject headings: Mars, infrared

Chairman: F. C. De Schryver (Belgium: 1983-85); J. Michl (USA: 1985-87); Secretary: A. A. Lamola (USA: 1983); S. E . Braslavsky (FRG: 1984-87); Titular Members: D. F. Eaton (USA: 1985-87); K. N. Houk (USA: 1983-85); H. Iwamura (Japan); M. G. Kuzmin (USSR: 1985-87); J. Michl (USA: 1983-85); K. Tokumaru (Japan); Associate Members: R. Bonneau (France: 1985-87); D. F. Eaton (USA: 1983-85); A. Helle...

Several attempts to define formal logic5 for some type of default reasoning have been made. All of these logics share the property that in any given state, a proposition p is either held to be true, it is held to be false, or no belief about it is held. But, if we ask what default reasoning really is, we see that it is form of likelihood reasoning. The goal of this paper is to show that if defa...

I compare our understanding selected topics in Multiparticle Dynamics at this meeting to what we knew at the 1983 Multiparticle Dynamics Symposium. I also discuss rapidity gap physics, a subject that has developed in the years since 1983.