دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings
دانلود کتاب برنامه نویسی منطقی و استدلال غیر متحرک: ششمین کنفرانس بین المللی، LPNMR 2001 وین، اتریش، 17-19 سپتامبر، 2001 مجموعه مقالات
مشخصات کتاب
Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings
ویرایش: 1 نویسندگان: Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.) سری: Lecture Notes in Computer Science 2173 ISBN (شابک) : 9783540425939, 9783540454021 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 459 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی و استدلال غیر متحرک: ششمین کنفرانس بین المللی، LPNMR 2001 وین، اتریش، 17-19 سپتامبر، 2001 مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی و استدلال غیر متحرک: ششمین کنفرانس بین المللی، LPNMR 2001 وین، اتریش، 17-19 سپتامبر، 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی و استدلال غیر متحرک: ششمین کنفرانس بین المللی، LPNMR 2001 وین، اتریش، 17-19 سپتامبر، 2001 مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین‌المللی برنامه‌ریزی منطقی و استدلال غیر یکنواخت، LPNMR 2001 است که در سپتامبر 2001 در وین، اتریش برگزار شد. . از جمله مباحث مطرح شده می توان به منطق محاسباتی، استخراج اطلاعات اعلامی، بررسی مدل، برنامه نویسی منطق استقرایی، نظریه های پیش فرض، برنامه نویسی منطق پایدار، معناشناسی برنامه، پردازش اطلاعات ناقص، یادگیری مفهومی، مشخصات اعلامی، برنامه نویسی Prolog، منطق های چند ارزشی و غیره اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.
فهرست مطالب
A Computational Logic Approach to Heterogenous Agent Systems....Pages 1-21
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto ....Pages 21-41
On The Complexity of Model Checking and Inference in Minimal Models....Pages 42-53
Data Integration Needs Reasoning....Pages 54-61
Nonmonotomic Inductive Logic Programming....Pages 62-80
Strong Equivalence for Logic Programs and Default Theories (Made Easy)....Pages 81-92
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules....Pages 93-106
On the Expressibility of Stable Logic Programming....Pages 107-120
On the Relationship between Defeasible Logic and Well-Founded Semantics....Pages 121-132
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs....Pages 133-146
Reasoning with Open Logic Programs....Pages 147-159
Representation of Incomplete Knowledge by Induction of Default Theories....Pages 160-172
Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules....Pages 173-185
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming....Pages 186-199
Bounded LTL Model Checking with Stable Models....Pages 200-212
Diagnosing Physical Systems in A-Prolog....Pages 213-225
Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach....Pages 226-239
Encoding Solutions of the Frame Problem in Dynamic Logic....Pages 240-253
ε - RES : Reasoning about Actions, Events and Observations....Pages 254-267
Omega-Restricted Logic Programs....Pages 267-280
Improving ASP Instantiators by Join-Ordering Methods....Pages 280-294
Optimizing the Computation of Heuristics for Answer Set Programming Systems....Pages 295-308
New Generation Systems for Non-monotonic Reasoning....Pages 309-321
Algorithms for Computing X -Minimal Models....Pages 322-335
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics....Pages 336-350
Multi-adjoint Logic Programming with Continous Semantics....Pages 351-364
Multi-dimensional Dynamic Knowledge Representation....Pages 365-378
Antitonic Logic Programs....Pages 379-393
A -system: Declarative Programming with Abduction....Pages 393-397
An Update Front-End for Extended Logic Programs....Pages 397-401
aspps — An Implementation of Answer-Set Programming with Propositional Schemata....Pages 402-405
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics....Pages 406-410
plp : A Generic Compiler for Ordered Logic Programs....Pages 411-415
Prototypes for Reasoning with Infinite Stable Models and Function Symbols....Pages 416-419
psmodels: Stable Models Based on Pertinence....Pages 420-423
System Description: DLV....Pages 424-428
System Description: The DLV K Planning System....Pages 429-433
The Smodels System....Pages 434-438
The USA-Advisor: A Case Study in Answer Set Planning....Pages 439-442
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Rough Guide to Kenya
دانلود کتاب Deterrence: Rising Powers, Rogue Regimes, and Terrorism in the Twenty-First Century
