Abstract is missing.
- On Knowledge Base Management SystemsJohn Mylopoulos. 3-8
- The Role of Logic for Data and Knowledge Bases: A Brief SummaryWolfgang Bibel, Jean-Marie Nicolas. 3-22
- The Knowledge Level of a KBMSRonald J. Brachman, Hector J. Levesque. 9-12
- Knowledge Level Interfaces to Information SystemsHector J. Levesque, Ronald J. Brachman. 13-34
- A Logic-Based Calculus of EventsRobert A. Kowalski, Marek J. Sergot. 23-55
- On Knowledge-Based System ArchitecturesFrank Manola, Michael L. Brodie. 35-54
- Metalanguage and DatabasesEnrico Motta, Maria Simi, Giuseppe Attardi. 57-72
- A View Of Knowledge RepresentationHector J. Levesque. 63-69
- AI Knowledge Bases And DatabasesDavid J. Israel. 71-75
- Efficient Representation of Incomplete Information About Structured ObjectsRobert Demolombe, Luis Fariñas del Cerro. 73-89
- Knowledge versus DataGio Wiederhold. 77-82
- Knowledge Bases vs. DatabasesMichael L. Brodie, John Mylopoulos. 83-86
- Knowledge Based and Database Systems: Enhancements, Coupling or IntegrationYannis Vassiliou. 87-91
- Abstraction and Inference Mechanism for Knowledge RepresentationAmílcar Sernadas, Cristina Sernadas. 91-116
- Notes on Inference: A Somewhat Skewed SurveyDavid J. Israel. 97-109
- Current Trends in Database Query ProcessingMatthias Jarke. 111-119
- How to Look at Deductive DatabasesHervé Gallaire, Jean-Marie Nicolas. 119-130
- Logic and Database SystemsJeffrey D. Ullman. 121-123
- Extending a Relational DBMS Towards a Rule-Based System: An Approach Using Predicate Transition NetsGeorges Gardarin, Christophe de Maindreville, Eric Simon. 131-152
- An Approach To Processing Queries In A Logic-Based Query LanguageJeffrey D. Ullman. 147-164
- Integrated Fact and Rule Management Based on Relational TechnologyJoachim W. Schmidt, Lingyuan Ge, Volker Linnemann, Matthias Jarke. 153-178
- Naive Evaluation of Recursively Defined RelationsFrançois Bancilhon. 165-178
- Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic ProgrammingLuigia Carlucci Aiello, Carlo Cecchi. 179-202
- Knowledge Base RetrievalWilliam A. Woods. 179-195
- Database Management: A SurveyMichael L. Brodie. 201-218
- Database Management: A SurveyMichael L. Brodie, Frank Manola. 205-240
- PROBE: A Knowledge-Oriented Database Management SystemUmeshwar Dayal, John Miles Smith. 227-257
- Towards Databases for Knowledge RepresentationErich J. Neuhold, Michael Schrefl. 241-257
- Large-Scale Knowledge SystemsJohn Miles Smith. 259-281
- Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge BasesAlexander Borgida, Tom M. Mitchell, Keith E. Williamson. 259-286
- Issues in Data Base and Knowledge Base IntegrationAntonio Albano, Giuseppe Attardi. 283-291
- Organizing A Design Database Across TimeRandy H. Katz, M. Anwarrudin, Ellis E. Chang. 287-295
- Design of a Compiler for a Semantic Data ModelBrian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley. 293-343
- Triggers and Inference In Database SystemsMichael Stonebraker. 297-314
- Extensible Database SystemsMichael J. Carey, David J. DeWitt. 315-330
- Knowledge-Based Systems: A SurveyPeter Szolovits. 339-352
- Two-Mode Evaluation for Dealing with Implicit Interactions Between Logic Programs and Relational Data BasesIstvan P. Orci, Dan Sahlin. 345-371
- Knowledge Base Management Systems: A Database ViewJanis A. Bubenko Jr., Istvan P. Orci. 373-378
- KBMS Requirements of Knowledge-Based SystemsMatthias Jarke, Bernd Neumann, Yannis Vassiliou, Wolfgang Wahlster. 381-394
- Conceptual Languages: A Comparison of ADAPLEX, Galileo and TaxisAntonio Albano. 395-409
- Learning in Knowledge-Base Management SystemsTom M. Mitchell. 403-406
- The Role of Databases in Knowledge-Based SystemsMark S. Fox, John P. McDermott. 407-430
- The Software Development Environment as a Knowledge Base Management SystemAlexander Borgida, Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou. 411-442
- An Integration of Knowledge and Data RepresentationGio Wiederhold, Robert L. Blum, Michael G. Walker. 431-444
- Retrieving Events from Geometrical Descriptions of Time-Varying ScenesBernd Neumann. 443-452
- A Deductive Solution for Plan GenerationWolfgang Bibel. 453-473
- Context Structures/Versioning: A SurveyDaniel G. Bobrow, Randy H. Katz. 453-459
- Conceptual Modeling of Information SystemsAlexander Borgida. 461-469
- A Requirements Modeling Language and Its LogicSol J. Greenspan, Alexander Borgida, John Mylopoulos. 471-502
- The Limitaions of Logic and Its Role in Artificial IntelligenceRobert A. Kowalski. 477-493
- The Need for a Knowledge Representation FrameworkJohn Mylopoulos. 495-498
- DB Ideas for KBMSDennis Tsichritzis. 499-504
- Languages and The Engineering of Large Knowledge BasesAlexander Borgida. 503-505
- On Application-Oriented and Tool-Oriented TheoriesErik Sandewall. 505-513
- Control of Search and Knowledge Acquisition in Large-Scale KBMSMatthias Jarke. 507-522
- New Computer Architectures: A SurveyW. Daniel Hillis. 529-533
- The Role Of Massive Memory In Knowledge-Base Management SystemsRichard Cullingford, Hector Garcia-Molina, Richard J. Lipton. 535-550
- Parallel Computers for AI DatabasesW. Daniel Hillis. 551-563
- Concluding Remarks from the Artificial Intelligence PerspectiveDaniel G. Bobrow. 569-573
- Large-Scale Knowledge-Based Systems: Concluding Remarks and Technological ChallengesMichael L. Brodie. 579-585