| 書目名稱 | Computational Logic in Multi-Agent Systems | | 副標題 | 5th International Wo | | 編輯 | Jo?o Leite,Paolo Torroni | | 視頻video | http://file.papertrans.cn/233/232632/232632.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), w | | 出版日期 | Conference proceedings 2005 | | 關鍵詞 | agent communication; agent cooperation; agent learning; agent negotiation; agents; ai logics; artificial i | | 版次 | 1 | | doi | https://doi.org/10.1007/11533092 | | isbn_softcover | 978-3-540-28060-6 | | isbn_ebook | 978-3-540-31857-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2005 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-15 17:57
發(fā)表于 2025-3-21 19:31:01
