Computational Logic in Multi-Agent Systems

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

5th International Workshop, Clima V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

5th International Workshop, Clima V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

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), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed."

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2005

نویسنده

João Leite

ناشر

Springer

شابک

9783540280606

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2005

نویسنده

ناشر

شابک

کتاب های مرتبط

Reversible computation : 6th international conference, rc 2014, kyoto.

Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers

SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security) (Nato Science for Peace and Security)

Advanced Methods for Inconsistent Knowledge Management

Advances in temporal logic

How to Speak Machine

A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

Foundations of Software Science and Computation Structures

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Small Dynamic Complexity Classes : an Investigation into Dynamic Descriptive Complexity

Transactions on Petri Nets and Other Models of Concurrency XII

The Little Typer

Computer Performance Engineering

Logical Foundations of Computer Science

Membrane Computing

Dynamic Logic. New Trends and Applications

Reversible Computation

Rewriting and Typed Lambda Calculi

International Symposium on Theoretical Programming.

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

دیدگاه کاربران