%A John Miles Smith %T Expert database systems: a database perspective %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 3-15 %E Michael L. Brodie %T Knowledge base management systems: discussions from the working group %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 19-33 %E D. Stott Parker,\ Jr. %T Logic programming and databases %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 35-48 %E Carlo Zaniolo %T Object oriented database systems and knowledge systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 49-65 %A Ronald J. Brachman %A Hector J. Levesque %T What makes a knowledge base knowledgable ? A view of databases from the knowledge level %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 69-78 %A Tim Finin %A David Silverman %T Interactive classification as a knowledge acquisition tool %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 79-90 %A Francisco Corella %T Semantic retrieval and levels of abstraction %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 91-114 %A Hassan Ait-Kaci %T Type subsumption as a model of computation %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 115-139 %A Gian Piero Zarri %T Constructing and utilizing large fact databases using artificial intelligence techniques %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 141-160 %A Mark S. Fox %A J. Mark Wright %A David Adam %T Experiences with SRL: an analysis of a frame-based knowledge representation %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 161-172 %A Ulrich Reimer %T A system-controlled multi-type specialization hierarchy %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 172-187 %A Michael L. Brodie %A Matthias Jarke %T On integrating logic programming and databases %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 191-207 %A Veronica Dahl %T Logic programming for constructive expert database systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 209-217 %A Carlo Zaniolo %T Prolog: a database query language for all seasons %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 219-232 %A A.L. Chang %A A. Walker %T PROSQL: a Prolog programming interface with SQL/DS %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 233-246 %A Oded Shmueli %A Shalom Tsur %A Hana Zfira %T Rule support in Prolog %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 247-269 %A Michael J. Carey %A David J. DeWitt %A Goetz Graefe %T Mechanisms for concurrency control and recovery in Prolog - a proposal %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 271-291 %A Edward Sciore %A David Scott Warren %T Towards an integrated database-Prolog system %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 293-305 %A Allan Shepherd %A Larry Kerschberg %T Constraint management in expert database systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 309-331 %A Gilles M.E. Lafue %A Reid G. Smith %T Implementation of a semantic integrity manager with a knowledge representation system %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 333-350 %A Matthew Morgenstern %T The role of constraints in databases, expert systems, and knowledge representation %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 351-368 %A Forouzan Golshani %T Specification and design of expert database systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 369-381 %A M. Missikoff %A G. Wiederhold %T Towards a unified approach for expert and database systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 383-399 %A Edgar H. Sibley %T An expert database system architecture based on an active and extensible dictionary system %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 401-422 %A Stephanie J. Cammarata %A Michel A. Melkanoff %T An interactive data dictionary facility for CAD/CAM data bases %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 423-440 %A Roger King %T A database management system based on a object-oriented model %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 443-468 %A Masahiro Nakawaza %A Michio Isoda %A Jun Miyazaki %A Hideo Aiso %T Milk: multi level interactive logic simulator at Keio University: experience in using the CONSTRAINTS language %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 469-485 %A M. Abida %A G.T. Nguyen %T Hanlding constraints and meta-data on a generalized data management system %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 487-504 %A Andrew S. Cromarty %A Thomas L. Adams %A Gerald A. Wilson %A James F. Cunningham %A Carl J. Tollander %A Milton R. Grinberg %T Distributed database considerations in an expert system for radar analysis %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 505-524 %A Michael Deering %A Joseph Faletti %T Database support for storage of AI reasoning knowledge %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 527-536 %A Ru-Mei King %A Eric Hanson %A Yannis Ioannidis %A Timos Sellis %A Leonard Shapiro %A Michael Stonebraker %T Heuristic search in data base systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 537-548 %A Dana S. Nau %A James A. Reggia %T Relationships between deductive and abductive inference in knowledge-based diagnostic problem solving %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 549-558 %A Eric Mays %T A temporal logic for reasoning about changing data bases in the context of natural language question-answering %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 559-578 %A A.L. Furtado %A C.M.O. Moura %T Expert helpers to data-based information systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 581-596 %A Amihai Motro %T Query generalization: a method for interpreting null answers %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 597-616 %A Madeleine Bates %A M.G. Moser %A David Stallard %T The IRUS transportable natural language database interface %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 617-630 %A Julia Hirschberg %T Anticipating false implicatures: cooperative responses in question-answer systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 631-638 %A Sharon Salveter %T Supporting natural language database update by modeling real world actions %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 639-657 %A U.S. Chakravarthy %A D.H. Fishman %A J. Minker %T Semantic query optimization in expert systems and database systems %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 659-674 %A Matthias Jarke %T External semantic query simplification: a graph theoretic approach and its implementation in Prolog %J Proceedings of the First International Workshop on Expert Database Systems %C Kiawah Island, South Carolina %D October 1984 %E Larry Kerschberg %O published by Benjamin/Cummings %K edsw edsw1 %P 675-692