Intervale Workshop 1982

Artificial Intelligence, Database, and Programming Language Overviews

• John Mylopoulos, Hector J. Levesque: An Overview of Knowledge Representation. 3-17 BibTeX
• Michael L. Brodie: On the Development of Data Models. 19-47 BibTeX
• Mary Shaw: The Impact of Modelling and Abstraction Concerns on Modern Programming Languages. 49-78 BibTeX

Perspectives from Artificial Intelligence

• Alexander Borgida, John Mylopoulos, Harry K. T. Wong: Generalization/Specialization as a Basis for Software Specification. 87-117 BibTeX
• David J. Israel, Ronald J. Brachman: Some Remarks on the Semantics of Representation Languages. 119-146 BibTeX
• Carl Hewitt, Peter de Jong: Open Systems. 147-164 BibTeX
• Hector J. Levesque: The Logic of Incomplete Knowledge Bases. 165-189 BibTeX
• Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. 191-233 BibTeX
• Charles Rich: A Formal Representation For Plans In The Programmer's Apprentice. 239-273 BibTeX

Perspectives from Databases

• Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. 277-312 BibTeX
• Roger King, Dennis McLeod: A Unified Model and Methodology for Conceptual Database Design. 313-327 BibTeX
• Michael Stonebraker: Adding Semantic Knowledge to a Relational Database System. 333-352 BibTeX

Perspectives from Programming Languages

• Peter Buneman, Rishiyur S. Nikhil: The Functional Data Model and Its Uses for Interaction with Databases. 359-380 BibTeX
• Bernd Krieg-Brückner: Types in the Programming Language Ada. 385-408 BibTeX
• Manuel Mall, Joachim W. Schmidt, Manuel Reimer: Data Selection, Sharing, and Access Control In a Relational Scenario. 411-440 BibTeX
• Stephen N. Zilles: Types, Algebras, and Modelling. 441-450 BibTeX

Concluding Remarks from Three Perspectives

• Carl Hewitt: An Artificial Intelligence Perspective. 453-455 BibTeX
• Michael Stonebraker: A Database Perspective. 457-458 BibTeX
• Stephen N. Zilles: A Programming Language Perspective. 459-460 BibTeX

References