دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings
دانلود کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: پنجمین کنفرانس بین المللی، LPNMR' 99 ال پاسو، تگزاس، ایالات متحده، 2 تا 4 دسامبر 1999 مجموعه مقالات
مشخصات کتاب
Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings
ویرایش: 1 نویسندگان: Georg Gottlob, Francesco Scarcello, Martha Sideri (auth.), Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.) سری: Lecture Notes in Computer Science 1730 ISBN (شابک) : 9783540667490, 9783540467670 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 400 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: پنجمین کنفرانس بین المللی، LPNMR' 99 ال پاسو، تگزاس، ایالات متحده، 2 تا 4 دسامبر 1999 مجموعه مقالات: است
در صورت تبدیل فایل کتاب Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: پنجمین کنفرانس بین المللی، LPNMR' 99 ال پاسو، تگزاس، ایالات متحده، 2 تا 4 دسامبر 1999 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: پنجمین کنفرانس بین المللی، LPNMR' 99 ال پاسو، تگزاس، ایالات متحده، 2 تا 4 دسامبر 1999 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین المللی برنامه
ریزی منطقی و استدلال غیر یکنواخت، LPNMR '99، برگزار شده در ال
پاسو، تگزاس، ایالات متحده آمریکا، در دسامبر 1999 است.
جلد شامل 26 مقاله و چهار سخنرانی دعوت شده، سه سخنرانی است. به
صورت چکیده مبسوط و یکی به صورت مقاله کامل. موضوعات تحت پوشش
عبارتند از برنامه نویسی منطقی، استدلال غیر یکنواخت، بازنمایی
دانش، معناشناسی، پیچیدگی، قدرت بیان، و پیاده سازی و کاربردها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International Conference on Logic Programming and Nonmonotonic
Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December
1999.
The volume presents 26 contributed papers and four invited
talks, three appearing as extended abstracts and one as a full
paper. Topics covered include logic programming, non-monotonic
reasoning, knowledge representation, semantics, complexity,
expressive power, and implementation and applicatons.
فهرست مطالب
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning....Pages 1-18
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power....Pages 19-33
Locally Determined Logic Programs....Pages 34-48
Annotated Revision Programs....Pages 49-62
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning....Pages 63-77
An Argumentation Framework for Reasoning about Actions and Change....Pages 78-91
Representing Transition Systems by Logic Programs....Pages 92-106
Transformations of Logic Programs Related to Causality and Planning....Pages 107-116
From Causal Theories to Logic Programs (Sometimes)....Pages 117-131
Monotone Expansion of Updates in Logical Databases....Pages 132-146
Updating Extended Logic Programs through Abduction....Pages 147-161
LUPS — A Language for Updating Logic Programs....Pages 162-176
Pushing Goal Derivation in DLP Computations....Pages 177-191
Linear Tabulated Resolution for the Well-Founded Semantics....Pages 192-205
A Case Study in Using Preference Logic Grammars for Knowledge Representation....Pages 206-220
Minimal Founded Semantics for Disjunctive Logic Programming....Pages 221-235
On the Role of Negation in Choice Logic Programs....Pages 236-246
Default Reasoning via Blocking Sets....Pages 247-261
Coherent Well-founded Annotated Logic Programs....Pages 262-276
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics....Pages 277-289
Extending Disjunctive Logic Programming by T -norms....Pages 290-304
Extending the Stable Model Semantics with More Expressive Rules....Pages 305-316
Stable Model Semantics of Weight Constraint Rules....Pages 317-331
Towards First-Order Nonmonotonic Reasoning....Pages 332-346
A Comparison of Sceptical NAF-Free Logic Programming Approaches....Pages 347-356
Characterizations of Classes of Programs by Three-Valued Operators....Pages 357-371
Using LPNMR for Problem Specification and Code Generation....Pages 372-372
Answer Set Planning....Pages 373-374
World-Modeling vs. World-Axiomatizing....Pages 375-388
Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems....Pages 389-389
