Islamorada Workshop 1985

Michael L. Brodie, John Mylopoulos (Eds.): On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, Book resulting from the Islamorada Workshop 1985. Springer, 1986, Topics in Information Systems, ISBN 3-540-96382-0

Knowledge Base Management Systems

John Mylopoulos: On Knowledge Base Management Systems. 3-8
Ronald J. Brachman, Hector J. Levesque: The Knowledge Level of a KBMS. 9-12
Hector J. Levesque, Ronald J. Brachman: Knowledge Level Interfaces to Information Systems. 13-34
Frank Manola, Michael L. Brodie: On Knowledge-Based System Architectures. 35-54

Knowledge Bases Versus Databases

Hector J. Levesque: A View Of Knowledge Representation. 63-69
David J. Israel: AI Knowledge Bases And Databases. 71-75
Gio Wiederhold: Knowledge versus Data. 77-82
Michael L. Brodie, John Mylopoulos: Knowledge Bases vs. Databases. 83-86
Yannis Vassiliou: Knowledge Based and Database Systems: Enhancements, Coupling or Integration. 87-91

Retrieval/Interface/Reasoning

David J. Israel: Notes on Inference: A Somewhat Skewed Survey. 97-109
Matthias Jarke: Current Trends in Database Query Processing. 111-119
Jeffrey D. Ullman: Logic and Database Systems. 121-123
Shamim A. Naqvi: Negation in Knowledge Base Management Systems. 125-145
Jeffrey D. Ullman: An Approach To Processing Queries In A Logic-Based Query Language. 147-164
François Bancilhon: Naive Evaluation of Recursively Defined Relations. 165-178
William A. Woods: Knowledge Base Retrieval. 179-195

Extending Database Management Systems

Michael L. Brodie: Database Management: A Survey. 201-218
Shamim A. Naqvi: A Brief Survey of Logic and Database Systems. 219-226
Umeshwar Dayal, John Miles Smith: PROBE: A Knowledge-Oriented Database Management System. 227-257
Alexander Borgida, Tom M. Mitchell, Keith E. Williamson: Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases. 259-286
Randy H. Katz, M. Anwarrudin, Ellis E. Chang: Organizing A Design Database Across Time. 287-295
Michael Stonebraker: Triggers and Inference In Database Systems. 297-314
Michael J. Carey, David J. DeWitt: Extensible Database Systems. 315-330

Extending Knowledge-Based Systems

Peter Szolovits: Knowledge-Based Systems: A Survey. 339-352
Bonnie L. Webber: A Natural Language Processing: A Survey. 353-363
Bonnie L. Webber: Questions, Answers and Responses: Interacting with Knowledge-Base Systems. 366-402
Tom M. Mitchell: Learning in Knowledge-Base Management Systems. 403-406
Mark S. Fox, John P. McDermott: The Role of Databases in Knowledge-Based Systems. 407-430
Gio Wiederhold, Robert L. Blum, Michael G. Walker: An Integration of Knowledge and Data Representation. 431-444

Knowledge-Based Design Issues

Daniel G. Bobrow, Randy H. Katz: Context Structures/Versioning: A Survey. 453-459
Alexander Borgida: Conceptual Modeling of Information Systems. 461-469
Sol J. Greenspan, Alexander Borgida, John Mylopoulos: A Requirements Modeling Language and Its Logic. 471-502
Alexander Borgida: Languages and The Engineering of Large Knowledge Bases. 503-505
Matthias Jarke: Control of Search and Knowledge Acquisition in Large-Scale KBMS. 507-522

Advanced Hardware for Knowledge-Based Systems

W. Daniel Hillis: New Computer Architectures: A Survey. 529-533
Richard Cullingford, Hector Garcia-Molina, Richard J. Lipton: The Role Of Massive Memory In Knowledge-Base Management Systems. 535-550
W. Daniel Hillis: Parallel Computers for AI Databases. 551-563

Epilogue

Daniel G. Bobrow: Concluding Remarks from the Artificial Intelligence Perspective. 569-573
John Miles Smith: Concluding Remarks from the Database Perspective. 575-578
Michael L. Brodie: Large-Scale Knowledge-Based Systems: Concluding Remarks and Technological Challenges. 579-585