Table of contents

  1. Front Matter
  2. Jack Minker, Carolina Ruiz
    Pages 1-18
  3. Joachim Posegga
    Pages 39-48
  4. Reiner Hähnle
    Pages 49-58
  5. Li-Yen Shue, Reza Zamani
    Pages 69-75
  6. Gabriel Valiente Feruglio
    Pages 86-95
  7. Beatriz López, Enric Plaza
    Pages 96-105
  8. J. P. Klut, J. H. P. Eloff
    Pages 106-115
  9. François Bry
    Pages 116-131
  10. Patrick Lambrix, Ralph Rönnquist
    Pages 162-171
  11. Levent V. Orman
    Pages 172-185
  12. Hasanat M. Dewan, Salvatore J. Stolfo
    Pages 186-197
  13. Nicola Leone, Luigi Palopoli, Massimo Romeo
    Pages 235-244
  14. Dave Robertson, Jaume Agustí, Jane Hesketh, Jordi Levy
    Pages 245-254
  15. Ritu Chadha, David A. Plaisted
    Pages 255-264
  16. Arcot Rajasekar
    Pages 265-274
  17. Neil V. Murray, Erik Rosenthal
    Pages 275-284
  18. Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani
    Pages 285-294
  19. Andrzej Skowron
    Pages 295-305
  20. C. W. R. Chau, P. Lingras, S. K. M. Wong
    Pages 306-315
  21. Churn Jung Liau, Bertrand I. -Peng Lin
    Pages 316-325
  22. Lennart Ljung
    Pages 338-349
  23. Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama
    Pages 362-374
  24. Ibrahim F. Imam, Ryszard S. Michalski
    Pages 395-404
  25. R. Bagai, V. Shanbhogue, J. M. Żytkow, S. C. Chou
    Pages 415-424
  26. A. Giordana, L. Saitta, C. Baroglio
    Pages 425-434
  27. Luc De Raedt, Nada Lavrač
    Pages 435-449
  28. Michael Bateman, Sean Martin, Andrew Slade
    Pages 450-465
  29. Marta Fraňová, Yves Kodratoff, Martine Gross
    Pages 476-485
  30. Stefano Caselli, Antonio Natali, Francesco Zanichelli
    Pages 496-507
  31. S. Ambroszkiewicz
    Pages 518-527
  32. Krishnaprasad Thirunarayan
    Pages 528-537

About these proceedings


This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian Institute of Technology, Trondheim, Norway, in June 1993. The volume includes six invited talks and 43 contributed papers organized under the following headings: logic for artificial intelligence, expert systems, intelligent databases, approximate reasoning, constraint programming, learning and adaptive systems, methodologies, knowledge representation, and manufacturing. Theinvited talks are: "On extended disjunctive logic programs" (J. Minker, C. Ruiz), "Towards intelligent databases" (F. Bry), "Methodologies for knowledge-based software engineering" (M. Lowry), "Modelling of industrial systems" (L. Ljung), "The many faces of inductive logic programming" (L. De Raedt, N. Lavrac), and "Systematic assessment of temporal reasoning methods for use in autonomous agents" (E. Sandewall).


Approximate Reasoning Approximatives Schließen Evolution Expert Systems Expertensysteme Intelligent Databases Intelligent Systems Intelligente Datenbanken Performance Wissensrepräsentation autonomous agents expert system problem solving programming robotics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56804-9
  • Online ISBN 978-3-540-47750-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site