دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA '93 Porto, Portugal, October 6–8, 1993 Proceedings
دانلود کتاب پیشرفت در هوش مصنوعی: ششمین کنفرانس پرتغالی در مورد هوش مصنوعی، EPIA '93 پورتو، پرتغال، 6 تا 8 اکتبر 1993 مجموعه مقالات
مشخصات کتاب
Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA '93 Porto, Portugal, October 6–8, 1993 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Les Gasser, Ingemar Hulthage, Brian Leverich (auth.), Miguel Filgueiras, Luís Damas (eds.) سری: Lecture Notes in Computer Science 727 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540572872, 9783540572879 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 373 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب پیشرفت در هوش مصنوعی: ششمین کنفرانس پرتغالی در مورد هوش مصنوعی، EPIA '93 پورتو، پرتغال، 6 تا 8 اکتبر 1993 مجموعه مقالات: است
در صورت تبدیل فایل کتاب Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA '93 Porto, Portugal, October 6–8, 1993 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در هوش مصنوعی: ششمین کنفرانس پرتغالی در مورد هوش مصنوعی، EPIA '93 پورتو، پرتغال، 6 تا 8 اکتبر 1993 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در هوش مصنوعی: ششمین کنفرانس پرتغالی در مورد هوش مصنوعی، EPIA '93 پورتو، پرتغال، 6 تا 8 اکتبر 1993 مجموعه مقالات
این جلد مجموعه مقالات ششمین کنفرانس پرتغال در مورد هوش مصنوعی، EPIA '93، که توسط انجمن هوش مصنوعی پرتغال سازماندهی شده است، ارائه می کند. مانند دو کنفرانس آخر این مجموعه، به عنوان یک رویداد بین المللی با الزامات سختگیرانه در مورد کیفیت ارسال های پذیرفته شده برگزار شد. پنجاه و یک ارسال از 9 کشور دریافت شد که بیشترین تعداد از پرتغال (18)، آلمان (10) و فرانسه (8) بود. این جلد شامل 25 مقاله انتخابی، همراه با 7 چکیده پوستر و یک سخنرانی دعوت شده است: "سازمان ها به عنوان مشکلات طراحی پیچیده و پویا" توسط L. Gasser، I. Hulthage، B. Leverich، J. Lieb، و A. Majchrzak، همه از دانشگاه کالیفرنیای جنوبی. این مقالات به بخش‌هایی دسته‌بندی می‌شوند: هوش مصنوعی توزیع‌شده، پردازش زبان طبیعی، نمایش دانش، برنامه‌نویسی منطقی، منطق‌های غیر استاندارد، استدلال خودکار، محدودیت‌ها، برنامه‌ریزی و یادگیری.
توضیحاتی درمورد کتاب به خارجی
This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8). The volume contains 25 selected papers, together with 7 poster abstracts and one invited lecture: "Organizations as complex, dynamic design problems" by L. Gasser, I. Hulthage, B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning, constraints, planning, and learning.
فهرست مطالب
Organizations as complex, dynamic design problems....Pages 1-12
Specifying and verifying distributed Intelligent systems....Pages 13-28
A logical approach for distributed truth maintenance....Pages 29-44
Building text temporal structure....Pages 45-60
Resolution of constraints in algebras of rational trees....Pages 61-76
Inheritance in a hierarchy of theories....Pages 77-92
Semantics of interworking knowledge based systems....Pages 93-104
Combining terminological logics with tense logic....Pages 105-120
Towards complete answers in concept languages....Pages 121-135
Version space algorithms on hierarchies with exceptions....Pages 136-149
Regular languages and a class of logic programs....Pages 150-157
Some results on the complexity of SLD-derivations....Pages 158-169
An or-parallel prolog execution model for a distributed shared memory machine....Pages 170-182
Diagnosis and debugging as contradiction removal in logic programs....Pages 183-197
Well-founded approximations of autoepistemic logic....Pages 198-212
A process model for default logic and its realization in logic programming....Pages 213-225
A unified approach to default reasoning and belief revision....Pages 226-241
Second order E-matching as a tool for automated theorem proving....Pages 242-257
Attribute-specific interchangeability in constraint satisfaction problems....Pages 258-270
The use and interpretation of meta level constraints....Pages 271-280
Preliminary formalization of an incremental hierarchical constraint solver....Pages 281-296
Fast methods for solving linear diophantine equations....Pages 297-306
A note on Chapman\'s Modal Truth Criterion....Pages 307-310
Learning operators while planning....Pages 311-323
Evaluating evidence for motivated discovery....Pages 324-339
How to learn in an incomplete knowledge environment: Structured objects for a modal approach....Pages 340-355
The semantics of rational contractions....Pages 356-356
A uniform framework for Deductive Database derivation strategies....Pages 357-357
Assumption set semantics (The procedures)....Pages 358-358
Bargaining agents....Pages 359-359
A constraint maintenance algorithm based on value propagation....Pages 360-360
A text-to-phoneme translator for the Portuguese language....Pages 361-361
Learning probabilistic models by conceptual pyramidal clustering....Pages 362-362
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Coding and Cryptography: International Workshop, WCC 2005, Bergen, Norway, March 14-18, 2005. Revised Selected Papers
دانلود کتاب Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
دانلود کتاب Data and Applications Security XX: 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings
دانلود کتاب Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges: IFIP TC8 WG 8.2 International Working Conference, August 1-3, ... in Information and Communication Technology)
دانلود کتاب Data Management. Data, Data Everywhere: 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007. Proceedings
دانلود کتاب Adaptive Hypermedia and Adaptive Web-Based Systems: 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings
دانلود کتاب PRICAI'96: Topics in Artificial Intelligence: 4th Pacific Rim International Conference on Artificial Intelligence Cairns, Australia, August 26–30, 1996 Proceedings
دانلود کتاب Demolition and reuse of concrete and masonry: guidelines for demolition and reuse of concrete and masonry: proceedings of the Third international RILEM symposium on demolition and reuse of concrete and masonry held in Odense, Denmark, 24-27 October 1993
دانلود کتاب Information and Communications Security: First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings
