Skip to main content
  • Conference proceedings
  • © 1997

Foundations of Intelligent Systems

10th International Symposium, ISMIS '97. Charlotte, North Carolina, USA, October 15-18, 1997. Proceedings

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

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

Conference series link(s): ISMIS: International Symposium on Methodologies for Intelligent Systems

Conference proceedings info: ISMIS 1997.

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 (60 papers)

  1. Front Matter

  2. Goal-oriented multimedia dialogue with variable initiative

    • Alan W. Biermann, Curry Guinn, Michael S. Fulkerson, Greg A. Keim, Zheng Liang, Douglas M. Melamed et al.
    Pages 1-16
  3. Knowledge-based image retrieval with spatial and temporal constructs (Invited paper)

    • Wesley W. Chu, Alfonso F. Cárdenas, Ricky K. Taira
    Pages 17-34
  4. Verification and validation of AI systems that control deep-space spacecraft

    • Michael Lowry, Klaus Havelund, John Penix
    Pages 35-47
  5. Data mining and knowledge discovery: The third generation

    • Gregory Piatetsky-Shapiro
    Pages 48-49
  6. Extending temporal logic for capturing evolving behaviour

    • Stefan Conrad, Gunter Saake
    Pages 60-71
  7. Refining first order theories with neural networks

    • M. Botta, A. Giordana, R. Piola
    Pages 84-93
  8. A way of increasing both autonomy and versatility of a KDD system

    • Ning Zhong, Chunnian Liu, Setsuo Ohsuga
    Pages 94-105
  9. Boolean reasoning for feature extraction problems

    • Hung Son Nguyen, Andrzej Skowron
    Pages 117-126
  10. World model construction in children during physics learning

    • Lorenza Saitta, Filippo Neri, Andrée Tibergh
    Pages 127-136
  11. Document explorer: Discovering knowledge in document collections

    • Ronen Feldman, Willi Klösgen, Amir Zilberstein
    Pages 137-146
  12. Well-behaved evaluation functions for numerical attributes

    • Tapio Elomaa, Juho Rousu
    Pages 147-156
  13. An improved inductive learning algorithm with a preanalysis of data

    • Janusz Kacprzyk, Grażyna Szkatula
    Pages 157-166
  14. Efficient induction of numerical constraints

    • Lionel Martin, Christel Vrain
    Pages 167-176
  15. Learning English syllabification for words

    • Jian Zhang, Howard J. Hamilton
    Pages 177-186
  16. Towards conceptual query answering

    • S. C. Yoon
    Pages 187-196

Other Volumes

  1. Foundations of Intelligent Systems

About this book

This book constitutes the refereed proceedings of the 10th International Symposium on Methodologies for Intelligent Systems, ISMIS'97, held in Charlotte, NC, USA, in October 1997. The 57 revised full papers were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered are intelligent information systems, approximate reasoning, evolutionary computation, knowledge representation and integration, learning and knowledge discovery, AI-Logics, discovery systems, data mining, query processing, etc.

Bibliographic Information

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