دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Leslie Pack Kaelbling, Michael L. Littman (auth.), Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.) سری: Lecture Notes in Computer Science 981 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540603433, 9783540603436 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 281 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب KI-95: پیشرفت در هوش مصنوعی: نوزدهمین کنفرانس سالانه آلمان در مورد هوش مصنوعی بیله فلد، آلمان، 11 تا 13 سپتامبر 1995 مجموعه مقالات: هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence Bielefeld, Germany, September 11–13, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب KI-95: پیشرفت در هوش مصنوعی: نوزدهمین کنفرانس سالانه آلمان در مورد هوش مصنوعی بیله فلد، آلمان، 11 تا 13 سپتامبر 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Partially observable Markov decision processes for artificial intelligence....Pages 1-17
Robust processing of natural language....Pages 19-34
Distinction networks....Pages 35-48
The problem of signal and symbol integration: A study of cooperative mobile autonomous agent behaviors....Pages 49-64
An extension of explanation-based generalization to negation as failure....Pages 65-76
Inducing integrity constraints from knowledge bases....Pages 77-88
Dynamic structuring of lexical knowledge in a reusability scenario....Pages 89-100
Efficient memory-limited graph search....Pages 101-112
Quality-based terminological reasoning for concept learning....Pages 113-124
Task acquisition with a description logic reasoner....Pages 125-136
Parallelizing description logics....Pages 137-148
Automated termination proofs with measure functions....Pages 149-160
What is a skeptical proof?....Pages 161-172
Default entailment....Pages 173-184
Actions that make you change your mind....Pages 185-196
Reasoning about action with typical and atypical effects....Pages 197-208
Reasoning about action and change: Actions with abnormal effects....Pages 209-220
Temporal logic based on characteristic functions....Pages 221-232
Computational properties of qualitative spatial reasoning: First results....Pages 233-244
An empirically validated model for computing spatial relations....Pages 245-256
Integrating vision and language: Towards automatic description of human movements....Pages 257-268