Non ti piace? Non importa! Puoi restituircelo entro 30 giorni
Non puoi sbagliarti con un buono regalo. Con il buono regalo, il destinatario può scegliere qualsiasi prodotto della nostra offerta.
30 giorni per il reso
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).