دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Luís Moniz Pereira, Luis Caires, José Alferes (auth.), E. Lamma, P. Mello (eds.) سری: Lecture Notes in Computer Science 660 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540564543, 9783540564546 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 426 [425] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
در صورت تبدیل فایل کتاب Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب افزونه های برنامه نویسی منطقی: سومین کارگاه بین المللی، ELP '92 بولونیا، ایتالیا، 26-28 فوریه، 1992 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب حاوی مقالاتی است که به بررسی چگونگی گسترش برنامهنویسی منطقی به سمت حوزههای هوش مصنوعی و مهندسی نرمافزار میپردازد که هم جنبههای نظری و هم جنبههای عملی را پوشش میدهد. برخی از مقالات به بررسی موضوعاتی مانند استدلال ابداعی و نفی می پردازند. برخی از آثار در مورد چگونگی افزایش قدرت بیان برنامهنویسی منطقی با معرفی محدودیتها، مجموعهها و ادغام با برنامهنویسی تابعی بحث میکنند. سایر مقالات با ساختاربندی دانش در ماژول ها، طبقه بندی ها و اشیاء، با هدف گسترش برنامه نویسی منطقی به سمت برنامه های کاربردی مهندسی نرم افزار، سروکار دارند. یک بخش به مقالاتی اختصاص داده شده است که بر نظریه اثبات تمرکز دارند و از سیستمهای استنتاج متوالی یا طبیعی به سبک گنتزن الهام گرفته شدهاند. موضوعاتی مانند همزمانی برای تقویت قدرت بیان زبان های منطقی در نظر گرفته می شود. در نهایت، برخی از مقالات عمدتاً به تکنیکهای پیادهسازی برخی از این پسوندهای برنامهنویسی منطقی مربوط میشوند.
This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions.
SLWV — A theorem prover for logic programming....Pages 1-23
A Correct goal-directed proof procedure for a general logic program with integrity constraints....Pages 24-44
Declarative semantics of hypothetical logic programming with negation as failure....Pages 45-58
Conditional narrowing with constructive negation....Pages 59-79
CLP $$(\mathcal{A}\mathcal{D})$$ as a deductive database language with updates....Pages 80-99
Logic programming with functions over order-sorted feature terms....Pages 100-119
A direct semantic characterization of RELFUN....Pages 120-149
Embedding finite sets in a logic programming language....Pages 150-167
A modal framework for structured logic programs....Pages 168-186
Metalogic for state oriented programming....Pages 187-204
On the semantics of inheritance in logic programming: Compositionality and full abstraction....Pages 205-215
The abstract scheme for concurrent programming....Pages 216-241
The π-calculus as a theory in linear logic: Preliminary results....Pages 242-264
Natural deduction proof theory for logic programming....Pages 265-281
A typed foundation for directional logic programming....Pages 282-318
An architecture for Prolog extensions....Pages 319-338
Techniques for implementing contexts in Logic Programming....Pages 339-358
Implementing a notion of modules in the logic programming language λProlog....Pages 359-393
Implementational issues in GCLA: A-sufficiency and the definiens operation....Pages 394-417