مشخصات کتاب

Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings

ویرایش: [1 ed.] 
نویسندگان: P. Van Hentenryck,  L. Michel,  P. Laborie,  W. Nuijten,  J. Rogerie (auth.),  Pedro Barahona,  José J. Alferes (eds.)  
سری: Lecture Notes in Computer Science 1695 : Lecture Notes in Artificial Intelligence 
ISBN (شابک) : 354066548X, 9783540665489 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 392
[394] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 Mb 

در صورت تبدیل فایل کتاب Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت در هوش مصنوعی: نهمین کنفرانس پرتغالی در مورد هوش مصنوعی، EPIA '99 Évora، پرتغال، 21 تا 24 سپتامبر 1999 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب پیشرفت در هوش مصنوعی: نهمین کنفرانس پرتغالی در مورد هوش مصنوعی، EPIA '99 Évora، پرتغال، 21 تا 24 سپتامبر 1999 مجموعه مقالات

این کتاب مجموعه مقالات داوری نهمین کنفرانس پرتغالی در زمینه هوش مصنوعی، EPIA \\\'99، برگزار شده در Évora، پرتغال در سپتامبر 1999 است. 66 ارسال از 17 کشور مختلف. مقالات در بخش‌های موضوعی در برنامه‌نویسی محدودیت، پردازش زبان طبیعی، استدلال فضایی، برنامه‌نویسی منطقی، اثبات قضیه، استدلال تحت عدم قطعیت، سیستم‌های چند عاملی، ربودن و تجدیدنظر، و الگوریتم‌های ژنتیک سازمان‌دهی شده‌اند.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 9th Portuguese Conference on Artificial Intelligence, EPIA \'99, held in Évora, Portugal in September 1999. The 23 revised full papers presented together with three invited full papers were carefully reviewed and selected from a total of 66 submissions from 17 different countries. The papers are organized in topical sections on constraint programming, natural language processing, spatial reasoning, logic programming, theorem proving, reasoning under uncertainty, multi-agent systems, abduction and revision, and genetic algorithms.

فهرست مطالب

Combinatorial Optimization in OPL Studio....Pages 1-15
Challenges for Inductive Logic Programming....Pages 16-33
Holonic Multiagent Systems — Theory and Applications —....Pages 34-48
On the Accuracy and Running Time of GSAT....Pages 49-61
The Impact of Branching Heuristics in Propositional Satisfiability Algorithms....Pages 62-74
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations....Pages 75-89
Inclusion of Picture Sequences in Generated Documents....Pages 90-98
Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units....Pages 99-112
On the Formal Distinction between Literal and Figurative Language....Pages 113-132
Qualitative Theory of Shape and Structure....Pages 133-147
A New Formulation of Tabled Resolution with Delay....Pages 148-162
YapOr: An Or-Parallel Prolog System Based on Environment Copying....Pages 163-177
Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic....Pages 178-192
Critical Agents Supporting Interactive Theorem Proving....Pages 193-207
A Practical Approach to Fusing Prioritized Knowledge Bases....Pages 208-221
Fuzzy Behaviors and Behavior Arbitration in Autonomous Vehicles....Pages 222-236
A Multi-agent System for Electronic Commerce Including Adaptive Strategic Behaviours....Pages 237-251
Choice and Institutions in Agent Societies....Pages 252-266
Analytic Modal Revision for Multi-agent Systems....Pages 267-281
Decisions Based upon Multiple Values: The BVG Agent Architecture....Pages 282-296
Temporal Abductive Diagnosis....Pages 297-311
A New Approach to Base Revision....Pages 312-326
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming....Pages 327-341
Genetic Algorithms for Solving Open Shop Scheduling Problems....Pages 342-356
Expressing Population Based Optimization Heuristics Using PLATO....Pages 357-368
....Pages 369-383

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Qualitätsmanagement für Ingenieure

دانلود کتاب Performativität und Medialität Populärer Kulturen: Theorien, Ästhetiken, Praktiken

دانلود کتاب Dashe Dash (দশে দশ)

دانلود کتاب The War That Never Was: Evolution and Christian Theology

دانلود کتاب Marx after the Kyoto School: Utopia and the Pure Land