Abstract is missing.
- An Overview of Knowledge RepresentationJohn Mylopoulos, Hector J. Levesque. 3-17
- On the Development of Data ModelsMichael L. Brodie. 19-47
- The Impact of Modelling and Abstraction Concerns on Modern Programming LanguagesMary Shaw. 49-78
- Generalization/Specialization as a Basis for Software SpecificationAlexander Borgida, John Mylopoulos, Harry K. T. Wong. 87-117
- Open SystemsCarl Hewitt, Peter de Jong. 147-164
- The Logic of Incomplete Knowledge BasesHector J. Levesque. 165-189
- Towards a Logical Reconstruction of Relational Database TheoryRaymond Reiter. 191-233
- A Formal Representation For Plans In The Programmer s ApprenticeCharles Rich. 239-273
- On the Design and Specification of Database TransactionsMichael L. Brodie, Dzenan Ridjanovic. 277-312
- A Unified Model and Methodology for Conceptual Database DesignRoger King, Dennis McLeod. 313-327
- Adding Semantic Knowledge to a Relational Database SystemMichael Stonebraker. 333-352
- Types in the Programming Language AdaBernd Krieg-Brückner. 385-408
- Data Selection, Sharing, and Access Control In a Relational ScenarioManuel Mall, Joachim W. Schmidt, Manuel Reimer. 411-440
- Types, Algebras, and ModellingStephen N. Zilles. 441-450
- An Artificial Intelligence PerspectiveCarl Hewitt. 453-455
- A Database PerspectiveMichael Stonebraker. 457-458
- A Programming Language PerspectiveStephen N. Zilles. 459-460