Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,67
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540568042 ISBN 13: 9783540568049
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains papers selected for presentation at theSeventh International Symposium on Methodologies forIntelligent Systems (ISMIS '93), held at the NorwegianInstitute of Technology, Trondheim, Norway, in June 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logic forartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming,learning and adaptive systems, methodologies, knowledgerepresentation, and manufacturing.Theinvited talks are: 'On extended disjunctive logicprograms' (J. Minker, C. Ruiz), 'Towards intelligentdatabases' (F. Bry), 'Methodologies for knowledge-basedsoftware engineering' (M. Lowry), 'Modelling of industrialsystems' (L. Ljung), 'The many faces of inductive logicprogramming' (L. De Raedt, N. Lavrac), and 'Systematicassessment of temporal reasoning methods for use inautonomous agents' (E. Sandewall).
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | This volume contains papers selected for presentation at theSeventh International Symposium on Methodologies forIntelligent Systems (ISMIS '93), held at the NorwegianInstitute of Technology, Trondheim, Norway, in June 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logic forartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming,learning and adaptive systems, methodologies, knowledgerepresentation, and manufacturing.Theinvited talks are: "On extended disjunctive logicprograms" (J. Minker, C. Ruiz), "Towards intelligentdatabases" (F. Bry), "Methodologies for knowledge-basedsoftware engineering" (M. Lowry), "Modelling of industrialsystems" (L. Ljung), "The many faces of inductive logicprogramming" (L. De Raedt, N. Lavrac), and "Systematicassessment of temporal reasoning methods for use inautonomous agents" (E. Sandewall).