國立虎尾科技大學 |

Constraint Solving and Planning with Picat

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Constraint Solving and Planning with Picat/ by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman.
Author:	Zhou, Neng-Fa.
other author:	Kjellerstrand, Håkan.
Description:	XI, 148 p. 40 illus., 31 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-319-25883-6
ISBN:	9783319258836

Constraint Solving and Planning with Picat
Zhou, Neng-Fa.

Constraint Solving and Planning with Picat[electronic resource] /by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman. - 1st ed. 2015. - XI, 148 p. 40 illus., 31 illus. in color.online resource. - SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,2196-548X. - SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,.

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.

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.

ISBN: 9783319258836

Standard No.: 10.1007/978-3-319-25883-6doiSubjects--Topical Terms:

559380
Artificial intelligence.

LC Class. No.: Q334-342

Dewey Class. No.: 006.3

Constraint Solving and Planning with Picat
LDR:02171nam a22003975i 4500 001 965236
003 DE-He213
005 20200707023243.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319258836 $9 978-3-319-25883-6
024 7 $a 10.1007/978-3-319-25883-6 $2 doi
035 $a 978-3-319-25883-6
050 4 $a Q334-342
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
100 1 $a Zhou, Neng-Fa. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 890525
245 1 0 $a Constraint Solving and Planning with Picat $h [electronic resource] / $c by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XI, 148 p. 40 illus., 31 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics, $x 2196-548X
505 0 $a 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.
520 $a 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.
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computers. $3 565115
650 0 $a Data mining. $3 528622
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Data Mining and Knowledge Discovery. $3 677765
700 1 $a Kjellerstrand, Håkan. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1260816
700 1 $a Fruhman, Jonathan. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1069260
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319258812
776 0 8 $i Printed edition: $z 9783319258829
830 0 $a SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics, $x 2196-548X $3 1260817
856 4 0 $u https://doi.org/10.1007/978-3-319-25883-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)