000 04121nam a22005655i 4500
001 978-3-642-00675-3
003 DE-He213
005 20240423125717.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642006753
_9978-3-642-00675-3
024 7 _a10.1007/978-3-642-00675-3
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aApplications of Declarative Programming and Knowledge Management
_h[electronic resource] :
_b17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
_cedited by Dietmar Seipel, Michael Hanus, Armin Wolf.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aX, 253 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5437
505 0 _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.
520 _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.
650 0 _aCompilers (Computer programs).
650 0 _aArtificial intelligence.
650 0 _aComputer programming.
650 1 4 _aCompilers and Interpreters.
650 2 4 _aArtificial Intelligence.
650 2 4 _aProgramming Techniques.
700 1 _aSeipel, Dietmar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aHanus, Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWolf, Armin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642006746
776 0 8 _iPrinted edition:
_z9783642006760
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5437
856 4 0 _uhttps://doi.org/10.1007/978-3-642-00675-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c180902
_d180902