دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.) سری: Lecture Notes in Computer Science 822 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540582169, 9783540582168 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 352 [355] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی و استدلال خودکار: پنجمین کنفرانس بین المللی، LPAR '94 کیف، اوکراین، 16 تا 22 ژوئیه، 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد مجموعه مقالات پنجمین کنفرانس بینالمللی برنامهریزی
منطقی و استدلال خودکار را ارائه میکند که در کشتی \"Marshal
Koshevoi\" در Dnieper در نزدیکی کیف اوکراین در ژوئیه 1994
برگزار شد. کنفرانسهای LPAR سالانه در سابق برگزار میشوند.
اتحاد جماهیر شوروی و با هدف گرد هم آوردن محققان علاقه مند به
LP و AR.
این مجموعه شامل نسخه کامل 24 مقاله پذیرفته شده است که توسط
حداقل سه داور ارزیابی شده و برنامه ای با بالاترین کیفیت را
تضمین می کند. این مقالات تمام جنبه های مرتبط LP و AR را از
تئوری گرفته تا اجرا و کاربرد را پوشش می دهند.
This volume presents the proceedings of the 5th International
Conference on Logic Programming and Automated Reasoning, held
aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev,
Ukraine in July 1994. The LPAR conferences are held annually
in the former Soviet Union and aimed at bringing together
researchers interested in LP and AR.
This proceedings contains the full versions of the 24
accepted papers evaluated by at least three referees ensuring
a program of highest quality. The papers cover all relevant
aspects of LP and AR ranging from theory to implementation
and application.
Generalization and reuse of tactic proofs....Pages 1-15
Program tactics and logic tactics....Pages 16-30
On the relation between the λ μ -calculus and the syntactic theory of sequential control....Pages 31-43
Proof plans for the correction of false conjectures....Pages 44-53
On the value of antiprenexing....Pages 54-68
Implementing a finite-domain CLP-language on top of Prolog: a transformational approach....Pages 69-83
RISC-CLP(CF) constraint logic programming over complex functions....Pages 84-98
Logical closures....Pages 99-113
Higher-order rigid E-unification....Pages 114-128
Program extraction in a Logical Framework setting....Pages 129-143
Higher-Order Abstract Syntax with induction in Coq....Pages 144-158
Towards efficient calculi for resource-oriented deductive planning....Pages 159-173
A logic programming framework for the abductive inference of intentions in cooperative dialogues....Pages 174-188
Constraint logic programming in the sequent calculus....Pages 189-199
On conditional rewrite systems with extra variables and deterministic logic programs....Pages 200-214
A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs....Pages 215-229
An efficient computation of the extended generalized closed world assumption by support-for-negation sets....Pages 230-244
Multi-SLD resolution....Pages 245-259
On anti-links....Pages 260-274
A generic declarative diagnoser for normal logic programs....Pages 275-289
Goal dependent vs. goal independent analysis of logic programs....Pages 290-304
A kind of achievement by parts method....Pages 305-319
Projection in temporal logic programming....Pages 320-332
....Pages 333-344