Constraint Satisfaction In Logic Programming

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

از خودتان درباره کتاب توضیح کوتاهی بنویسید

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these techniques.Logic programming serves as a convenient language for stating combinatorial problems, but its "generate and test" paradigm leads to inefficient programs. Van Hentenryck's approach preserves one of the most useful features of logic programming - the duality of its semantics - yet allows a short development time for the programs while preserving most of the efficiency of special purpose programs written in a procedural language.Embedding consistency techniques in logic programming allows for ease and flexibility of programming and short development time because constraint propagation and tree-search programming are abstracted away from the user. It also enables logic programs to be executed efficiently as consistency techniques permit an active use of constraints to remove combinations of values that cannot appear in a solution Van Hentenryck presents a comprehensive overview of this new approach from its theoretical foundations to its design and implementation, including applications to real life combinatorial problems.The ideas introduced in "Constraint Satisfaction in Logic Programming "have been used successfully to solve more than a dozen practical problems in operations research and circuit design, including disjunctive scheduling, warehouse location, cutting stock car sequencing, and microcode labeling problems.Pascal Van Hentenryck is a member of the research staff at the European Computer Industry Research Centre. "Constraint Satisfaction in Logic Programming" is based on research for the Centre's CHIP project. As an outgrowth of this project, a new language (CHIP) that will include consistency techniques has been developed for commercial use. The book is included in the Logic Programming series edited by Ehud Shapiro.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1989

نویسنده

Pascal van Hentenryck

ناشر

MIT Press (MA)

شابک

9780262081818

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Constraint Satisfaction In Logic Programming

Constraint Satisfaction In Logic Programming

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1989

نویسنده

ناشر

شابک

کتاب های مرتبط

The Haskell Road to Logic, Maths and Programming

A Guide To Artificial Intelligence With Visual Prolog

Discrete Structures, Logic, and Computability

The Haskell Road to Logic, Maths and Programming

Just Enough Programming Logic and Design

Evolving Knowledge Bases

An Inductive Logic Programming Approach to Statistical Relational Learning (Frontiers in Artificial Intelligence and Applications, Vol. 148) (Frontiers in Artificial Intelligence and Applications)

Logic Programming with PROLOG

The Little Typer

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Declarative Programming and Knowledge Management

General Game Playing

PROLOG : Grundlagen und Anwendungen : mit zahlreichen Abbildungen, Tabellen und Programmbeispielen

Recent Advances In Constraints

Logic Programming

Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers

Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings

Inductive logic programming : 19th international conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : proceedings

Web reasoning and rule systems : fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings

Inductive Logic Programming

Warren's Abstract Machine

دیدگاه کاربران