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

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
  • About this book