Constraint Solving and Planning with Picat / by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman.

Format:

Book

Author/Creator:

Zhou, Neng-Fa, author.

Kjellerstrand, Håkan, author.

Fruhman, Jonathan, author.

Contributor:

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,. 2196-548X

SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics, 2196-548X

Language:

English

Subjects (All):

Artificial intelligence.

Computers.

Data mining.

Artificial Intelligence.

Theory of Computation.

Data Mining and Knowledge Discovery.

Local Subjects:

Artificial Intelligence.

Theory of Computation.

Data Mining and Knowledge Discovery.

Physical Description:

1 online resource (XI, 148 pages) : 40 illustrations, 31 illustrations in color.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners.

Contents:

An Overview of Picat

Basic Constraint Modeling

Advanced Constraint Modeling

Dynamic Programming with Tabling

From Dynamic Programming to Planning

Planning with Resource-Bounded Search

Encodings for the Traveling Salesman Problem

Index.

Other Format:

Printed edition:

ISBN:

978-3-319-25883-6

9783319258836

Access Restriction:

Restricted for use by site license.