Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings (Lecture Notes in Computer Science)
暫譯: 智能系統方法論：第七屆國際研討會，ISMIS'93，挪威特隆赫姆，1993年6月15-18日。會議論文集（計算機科學講義）
***
- 出版商: Springer
- 出版日期: 1993-06-01
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 662
- 裝訂: Paperback
- ISBN: 3540568042
- ISBN-13: 9783540568049
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
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).
商品描述(中文翻譯)
本卷收錄了於1993年6月在挪威科技大學（Norwegian Institute of Technology）舉行的第七屆智能系統方法論國際研討會（ISMIS '93）上選定的論文。該卷包括六篇邀請演講和43篇投稿論文，並按照以下主題進行組織：人工智慧的邏輯、專家系統、智能數據庫、近似推理、約束程式設計、學習與自適應系統、方法論、知識表示以及製造。邀請演講的主題包括：「擴展的析取邏輯程式」（J. Minker, C. Ruiz）、「邁向智能數據庫」（F. Bry）、「基於知識的軟體工程方法論」（M. Lowry）、「工業系統建模」（L. Ljung）、「歸納邏輯程式設計的多面向」（L. De Raedt, N. Lavrac）以及「自動代理使用的時間推理方法的系統評估」（E. Sandewall）。
