مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: پنجمین کنفرانس بین المللی، 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

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

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

دانلود کتاب Native Application Development: A Cross-Reference for iOS and Android

دانلود کتاب Human Capital / Ljudski kapital

دانلود کتاب Psychological Reality

دانلود کتاب The Precipice: 'A book that seems made for the present moment' New Yorker

دانلود کتاب Dynamisches Risiko-Management: Zum unternehmerischen Umgang mit Risiken