LEADER 01291nas 2200445- 450 001 9910481975803321 005 20241120175050.0 011 $a2520-8136 035 $a(DE-599)ZDB2923011-1 035 $a(OCoLC)1043650087 035 $a(CKB)3150000000025568 035 $a(CONSER)--2020207401 035 $a(EXLCZ)993150000000025568 100 $a20180301a20189999 --- a 101 0 $aeng 135 $aurmnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aElectrochemical energy reviews 210 1$a[Singapore] :$cSpringer Singapore, Shanghai University,$d2018- 215 $a1 online resource 300 $aRefereed/Peer-reviewed 311 08$a2520-8489 517 1 $aEER 531 0 $aElectrochem. Energ. Rev. 606 $aElectrochemistry$vPeriodicals 606 $aÉlectrochimie$vPériodiques 606 $aElectrochemistry$2fast 606 $aElectroquímica$2thub 608 $aPeriodicals.$2fast 608 $aRevistes electròniques.$2thub 615 0$aElectrochemistry 615 6$aÉlectrochimie 615 7$aElectrochemistry. 615 7$aElectroquímica. 906 $aJOURNAL 912 $a9910481975803321 996 $aElectrochemical energy reviews$92583110 997 $aUNINA LEADER 04289nam 22007455 450 001 9910483494903321 005 20251226200227.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 $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,$x2945-9141 ;$v8439 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2945-9141 ;$v8439 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer science 606 $aComputer science$xMathematics 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aMathematical Applications in Computer Science 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aMathematical 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 $a9910483494903321 996 $aDeclarative Programming and Knowledge Management$92223527 997 $aUNINA