LEADER 03787nam 22006255 450 001 9910349285203321 005 20200705075638.0 010 $a9783030246587 010 $a3030246582 024 7 $a10.1007/978-3-030-24658-7 035 $a(CKB)4100000009160269 035 $a(DE-He213)978-3-030-24658-7 035 $a(MiAaPQ)EBC5924817 035 $a(Au-PeEL)EBL5924817 035 $a(OCoLC)1119667558 035 $a(PPN)24298259X 035 $a(MiAaPQ)EBC31886907 035 $a(Au-PeEL)EBL31886907 035 $a(EXLCZ)994100000009160269 100 $a20190829d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAnswer Set Programming /$fby Vladimir Lifschitz 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 190 p. 53 illus.) 311 08$a9783030246570 311 08$a3030246574 327 $aIntroduction -- Input Language of CLINGO -- Combinatorial Search -- Propositional Programs and Minimal Models -- Programs with Negation -- Mathematics of Stable Models -- More about the Language of CLINGO -- Dynamic Systems -- Conclusion. . 330 $aAnswer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas?in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions. 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aArtificial intelligence 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 676 $a005.13 676 $a005.13 700 $aLifschitz$b Vladimir$4aut$4http://id.loc.gov/vocabulary/relators/aut$0468243 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349285203321 996 $aAnswer Set Programming$92535355 997 $aUNINA