You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
These Proceedings report the scientific results of an International Workshop on Large-Scale Modelling and Interactive Decision Analysis organized Jointly by the System and Decision Sciences Program of the International Institute for Applied Systems Analysis (IIASA, located in Laxenburg, Austria), and the Institute for Informatics of the Academy of Sciences of the GDR (located in Berlin, GDR). The Workshop was held at a historically well-known place - the Wartburg Castl- near Eisenach (GDR). (Here Martin Luther translated the Bible into German.) More than fifty scientists representing thirteen countries participated. This Workshop is one of a series of meetings organizE!d by or In collaboration with IIASA about which two of the Lecture Notes In Economics and Mathematical Systems have already reported (Voi. 229 and Vol. 246). This time the aim of the meeting was to discuss methodological and practical problems associated with the modelling of large-scale systems and new approaches In interactive decision analysis based on advanced information processing systems.
During the week of September 20-23, 1983, an International Workshop on Interactive Decision Analysis and Interpretative Computer Intelligence was held at the International Institute for Applied Systems Analysis (IIASA) in Laxenburg, Austria. More than fifty scientists representing seventeen coun tries participated. The aim of the Workshop was to review existing approaches to problems involving multiple conflicting objectives, to look at methods and techniques for interactive decision analysis, and to demonstrate theuse of existing interactive decision-support systems. The Workshop was motivated, firstly, by the realization that the rapid development of computers, especially microcomputers, w...
Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations. Formal Languages for Computer Simulation: Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Be...
None