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 BibTeX
Ronald J. Brachman, Hector J. Levesque: The Knowledge Level of a KBMS. 9-12 BibTeX
Hector J. Levesque, Ronald J. Brachman: Knowledge Level Interfaces to Information Systems. 13-34 BibTeX
Frank Manola, Michael L. Brodie: On Knowledge-Based System Architectures. 35-54 BibTeX

Knowledge Bases Versus Databases

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

Retrieval/Interface/Reasoning

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

Extending Database Management Systems

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

Extending Knowledge-Based Systems

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

Knowledge-Based Design Issues

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

Advanced Hardware for Knowledge-Based Systems

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

Epilogue

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