Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
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).