000 06241cam a2201009 i 4500
001 ocn884347558
003 OCoLC
005 20250703163417.0
006 m o d
007 cr cnu|||unuuu
008 140722s2014 gw a o 101 0 eng d
040 _aGW5XE
_beng
_erda
_epn
_cGW5XE
_dYDXCP
_dCOO
_dUKMGB
_dUPM
_dOCLCF
_dOCLCO
_dOCL
_dOCLCO
_dOCLCQ
_dOCLCO
_dJG0
_dESU
_dOCLCQ
_dIOG
_dNJR
_dCEF
_dDEHBZ
_dU3W
_dAU@
_dOCLCA
_dWYU
_dYOU
_dEBLCP
_dOCLCQ
_dDCT
_dSFB
_dUKAHL
_dOCLCO
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCL
_dOCLCQ
016 7 _a016821460
_2Uk
019 _a1204066955
_a1237485926
_a1244635305
_a1259123295
020 _a9783319089096
_q(electronic bk.)
020 _a3319089099
_q(electronic bk.)
020 _a3319089080
_q(print)
020 _a9783319089089
_q(print)
020 _z9783319089089
024 7 _a10.1007/978-3-319-08909-6
_2doi
029 1 _aAU@
_b000057662281
029 1 _aNLGGC
_b380680211
029 1 _aNZ1
_b15726266
029 1 _aNZ1
_b15753310
029 1 _aDKDLA
_b820120-katalog:999908295305765
035 _a(OCoLC)884347558
_z(OCoLC)1204066955
_z(OCoLC)1237485926
_z(OCoLC)1244635305
_z(OCoLC)1259123295
037 _bSpringer
050 4 _aQA76.615
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a005/.3/1
_222
049 _aMAIN
111 2 _aKDPD (Conference)
_d(2013 :
_cKiel, Germany)
_951987
245 1 0 _aDeclarative programming and knowledge management :
_bDeclarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised selected papers /
_cMichael Hanus, Ricardo Rocha (eds.).
246 3 _aKDPD 2013
246 3 _aINAP 2013
246 3 _aWFLP 2013
246 3 _aWLP 2013
264 1 _aCham :
_bSpringer,
_c2014.
300 _a1 online resource (x, 251 pages) :
_billustrations
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 ;
_v8439
490 1 _aLNCS sublibrary. SL 7, Artificial intelligence
500 _aIncludes author index.
588 0 _aOnline resource; title from PDF title page (SpringerLink, viewed July 22, 2014).
505 0 _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.
520 _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.
504 _aIncludes bibliographical references and index.
546 _aEnglish.
650 0 _aKnowledge management
_vCongresses.
_916482
650 0 _aConstraint programming (Computer science)
_vCongresses.
_918047
650 0 _aDeclarative programming
_vCongresses.
_915358
650 0 _aLogic programming
_vCongresses.
_914819
650 6 _aGestion des connaissances
_vCongrès.
_919247
650 6 _aProgrammation par contraintes
_vCongrès.
_919773
650 6 _aProgrammation déclarative
_vCongrès.
_920455
650 6 _aProgrammation logique
_vCongrès.
_914820
650 7 _aConstraint programming (Computer science)
_2fast
_915538
650 7 _aDeclarative programming
_2fast
_915359
650 7 _aKnowledge management
_2fast
_91209
650 7 _aLogic programming
_2fast
_96178
655 2 _aCongress
_911670
655 7 _aproceedings (reports)
_2aat
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aHanus, Michael,
_d1959-
_eeditor.
_1https://id.oclc.org/worldcat/entity/E39PCjBVQVrHT6MvMdq3QRJWwy
_923492
700 1 _aRocha, Ricardo,
_eeditor.
_951988
711 2 _aInternational Conference on Applications on Declarative Programming and Knowledge Management
_n(20th :
_d2013 :
_cKiel, Germany)
_951989
711 2 _aWFLP (Workshop)
_n(22nd :
_d2013 :
_cKiel, Germany)
_951990
711 2 _aWorkshop on Logic Programming
_n(27th :
_d2013 :
_cKiel, Germany)
_951991
758 _ihas work:
_aDeclarative programming and knowledge management (Text)
_1https://id.oclc.org/worldcat/entity/E39PCG9xyfF6MGYP79Fx74kCHy
_4https://id.oclc.org/worldcat/ontology/hasWork
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319089089
830 0 _aLecture notes in computer science.
_pLecture notes in artificial intelligence ;
_v8439.
_914916
830 0 _aLNCS sublibrary.
_nSL 7,
_pArtificial intelligence.
_920712
856 4 0 _uhttps://link.springer.com/10.1007/978-3-319-08909-6
938 _aAskews and Holts Library Services
_bASKH
_nAH29495319
938 _aProQuest Ebook Central
_bEBLB
_nEBL6283804
938 _aProQuest Ebook Central
_bEBLB
_nEBL5610737
938 _aYBP Library Services
_bYANK
_n12013333
994 _a92
_bATIST
999 _c643537
_d643537