LEADER 04566nam 22007455 450 001 996213698203316 005 20200629180447.0 010 $a3-319-08909-9 024 7 $a10.1007/978-3-319-08909-6 035 $a(CKB)3710000000219394 035 $a(SSID)ssj0001296369 035 $a(PQKBManifestationID)11721665 035 $a(PQKBTitleCode)TC0001296369 035 $a(PQKBWorkID)11348042 035 $a(PQKB)10993597 035 $a(DE-He213)978-3-319-08909-6 035 $a(MiAaPQ)EBC6283804 035 $a(MiAaPQ)EBC5610737 035 $a(Au-PeEL)EBL5610737 035 $a(OCoLC)884347558 035 $a(PPN)179925660 035 $a(EXLCZ)993710000000219394 100 $a20140711d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDeclarative Programming and Knowledge Management$b[electronic resource] $eDeclarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /$fedited by Michael Hanus, Ricardo Rocha 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (X, 251 p. 51 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v8439 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-08908-0 320 $aIncludes bibliographical references and index. 327 $aConstruction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs -- Sharing and Exchanging Data -- Propositional Encoding of Constraints over Tree-Shaped Data -- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry -- On Axiomatic Rejection for the Description Logic ALC -- And Action! - Monoid Actions and (Pre)orders -- HEX-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic Programming -- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets -- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over Program Transformations. 330 $aThis book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming. 410 0$aLecture Notes in Artificial Intelligence ;$v8439 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputers 606 $aComputer science?Mathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aMath Applications in Computer Science. 676 $a658.4038 702 $aHanus$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRocha$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996213698203316 996 $aDeclarative Programming and Knowledge Management$92223527 997 $aUNISA