LEADER 04432nam 22007215 450 001 9910484562003321 005 20251226200203.0 010 $a9783642006753 010 $a3642006752 024 7 $a10.1007/978-3-642-00675-3 035 $a(CKB)1000000000718106 035 $a(SSID)ssj0000316251 035 $a(PQKBManifestationID)11248144 035 $a(PQKBTitleCode)TC0000316251 035 $a(PQKBWorkID)10263628 035 $a(PQKB)11370735 035 $a(DE-He213)978-3-642-00675-3 035 $a(MiAaPQ)EBC3064125 035 $a(PPN)13413110X 035 $a(EXLCZ)991000000000718106 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplications of Declarative Programming and Knowledge Management $e17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /$fedited by Dietmar Seipel, Michael Hanus, Armin Wolf 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 253 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5437 300 $aInternational conference proceedings. 311 08$a9783642006746 311 08$a3642006744 320 $aIncludes bibliographical references. 327 $aInvited Talk -- A Guide for Manual Construction of Difference-List Procedures -- Constraints -- Linear Weighted-Task-Sum ? Scheduling Prioritized Tasks on a Single Resource -- Efficient Edge-Finding on Unary Resources with Optional Activities -- Encoding of Planning Problems and Their Optimizations in Linear Logic -- Constraint-Based Timetabling System for the German University in Cairo -- Databases and Data Mining -- Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming -- Causal Subgroup Analysis for Detecting Confounding -- Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining -- Extensions of Logic Programming -- Integrating Temporal Annotations in a Modular Logic Language -- Visual Generalized Rule Programming Model for Prolog with Hybrid Operators -- The Kiel Curry System KiCS -- Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics -- Java Type Unification with Wildcards -- System Demonstrations -- Testing Relativised Uniform Equivalence under Answer-Set Projection in the System cc??? -- spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. 330 $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5437 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aComputer programming 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 606 $aProgramming Techniques 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 14$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 676 $a005.13 701 $aSeipel$b Dietmar$01759803 701 $aHanus$b Michael$01227460 701 $aWolf$b Armin$01307985 712 12$aInternational Conference on Applications of Declarative Programming and Knowledge Management. 712 12$aWLP 2007$f(2007 :$eWurzburg, Germany) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484562003321 996 $aApplications of declarative programming and knowledge management$94198454 997 $aUNINA