Skip to main content
  • Conference proceedings
  • © 1991

Methodologies for Intelligent Systems

6th International Symposium, ISMIS '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 542)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Buy it now

Buying options

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (63 papers)

  1. Front Matter

  2. An architecture for pragmatic voice interactive systems

    • Alan W. Biermann, Ronnie W. Smith
    Pages 1-15
  3. A logic of relative desire

    • Jon Doyle, Yoav Shoham, Michael P. Wellman
    Pages 16-31
  4. Personal learning apprentices

    • Tom M. Mitchell
    Pages 35-37
  5. Knowledge based semantic query optimization

    • Hichul An, Lawrence J. Henschen
    Pages 82-91
  6. Combining knowledge bases consisting of first order theories

    • Chitta Baral, Sarit Kraus, Jack Minker, V. S. Subrahmanian
    Pages 92-101
  7. User profiles for information retrieval

    • Sanjiv K. Bhatia, Jitender S. Deogun, Vijay V. Raghavan
    Pages 102-111
  8. Multilevel interface to a distributed database system

    • Bipin C. Desai, Li Zhang
    Pages 122-131
  9. Synthesizing efficient agents from partial programs

    • Jane Yung-jen Hsu
    Pages 142-151
  10. Knowledge extraction from databases: Design principles of the INLEN system

    • Kenneth A. Kaufman, Ryszard S. Michalski, Larry Kerschberg
    Pages 152-161
  11. Stable model semantics for probabilistic deductive databases

    • Raymond Ng, V. S. Subrahmanian
    Pages 162-171
  12. Towards implementing valuation based systems with relational databases

    • S. K. M. Wong, Pawan Lingras, Y. Y. Yao
    Pages 172-182

About this book

This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The papers discuss topics in the following major areas: - Approximate reasoning, - Expert systems, - Intelligent databases, - Knowledge representation, - Learning and adaptive systems, - Logic for artificial intelligence. The goal of the symposium was to provide a platform for a useful exchange and cross-fertilization of ideas between theoreticians and practitioners in these areas.

Bibliographic Information

  • Book Title: Methodologies for Intelligent Systems

  • Book Subtitle: 6th International Symposium, ISMIS '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings

  • Editors: Z. W. Ras, M. Zemankova

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-54563-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-54563-7Published: 25 September 1991

  • eBook ISBN: 978-3-540-38466-3Published: 29 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 646

  • Topics: Artificial Intelligence, Information Systems and Communication Service

Buy it now

Buying options

Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access