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).