000 06043cam a2200757 a 4500
001 ocn728101840
003 OCoLC
005 20250703160603.0
006 m o d
007 cr cn|||||||||
008 110602s2011 gw a ob 101 0 eng d
040 _aGW5XE
_beng
_epn
_cGW5XE
_dOCLCQ
_dE7B
_dOCLCQ
_dC$Q
_dOCLCQ
_dOCLCA
_dOCLCF
_dOCLCO
_dA7U
_dYDXCP
_dOCL
_dOCLCO
_dOCLCQ
_dEBLCP
_dOCLCQ
_dESU
_dOCLCQ
_dSHS
_dIOG
_dCEF
_dCRU
_dOCLCQ
_dTFW
_dU3W
_dOCLCA
_dWYU
_dYOU
_dLEAUB
_dAU@
_dOCLCQ
_dOL$
_dOCLCQ
_dAJS
_dDKU
_dOCLCO
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCL
_dOCLCQ
_dOCLCL
019 _a769768404
020 _a9783642205897
_q(electronic bk.)
020 _a3642205895
_q(electronic bk.)
024 7 _a10.1007/978-3-642-20589-7
_2doi
029 1 _aDKDLA
_b820120-katalog:000461510
029 1 _aDKDLA
_b820120-katalog:000686689
029 1 _aNZ1
_b13849349
029 1 _aNZ1
_b13853825
035 _a(OCoLC)728101840
_z(OCoLC)769768404
050 4 _aQA76.615
_b.I58 2011
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a005.13/1
_222
049 _aMAIN
111 2 _aInternational Conference on Applications of Declarative Programming and Knowledge Management
_n(18th :
_d2009 :
_cÉvora, Portugal)
_941895
245 1 0 _aApplications of declarative programming and knowledge management :
_b18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised selected papers /
_cSalvador Abreu, Dietmar Seipel (Eds.).
246 3 0 _aINAP 2009
260 _aBerlin ;
_aHeidelberg ;
_aNew York :
_bSpringer,
_c©2011.
300 _a1 online resource (x, 238 pages)
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v6547.
_aLecture notes in artificial intelligence
490 1 _aLNCS sublibrary. SL 7, Artificial intelligence
504 _aIncludes bibliographical references and index.
588 0 _aPrint version record.
520 _aThis book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.
505 0 0 _aMachine generated contents note:
_tInvited Talks --
_tDesign Patterns for Tabled Logic Programming /
_rTerrance Swift --
_tAlternative High-Level Approach to Interaction with Databases /
_rAntonio Porto --
_tFoundations and Extensions of Logic Programming --
_tISTO: A Language for Temporal Organizational Information Systems /
_rSalvador Abreu --
_tProgramming Patterns for Logtalk Parametric Objects /
_rPaulo Moura --
_tStable Model Implementation of Layer Supported Models by Program Transformation /
_rAlexandre Miguel Pinto --
_tTowards Computing Revised Models for FO Theories /
_rMarc Denecker --
_tAdaptive Reasoning for Cooperative Agents /
_rAlexandre Miguel Pinto --
_tDatabases and Query Languages --
_tExtending XQuery for Semantic Web Reasoning /
_rJesus Manuel Almendros-Jimenez --
_tReference Model and Perspective Schemata Inference for Enterprise Data Integration /
_rJoao Carlos Moura Pires --
_tJSquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements /
_rMarkus Frohlich --
_tApplications --
_tElder Care via Intention Recognition and Evolution Prospection /
_rThe Anh Han --
_tKnowledge Management Strategy and Tactics for Forging Die Design Support /
_rYuji Mure --
_tSearching in Protein State Space /
_rJorg Schultz --
_tNetwork Monitoring with Constraint Programming: Preliminary Specification and Analysis /
_rSalvador Abreu.
650 0 _aDeclarative programming
_vCongresses.
_915358
650 0 _aKnowledge management
_vCongresses.
_916482
650 6 _aProgrammation déclarative
_vCongrès.
_920455
650 6 _aGestion des connaissances
_vCongrès.
_919247
650 7 _aDeclarative programming
_2fast
_915359
650 7 _aKnowledge management
_2fast
_91209
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 _aAbreu, Salvador,
_d1961-
_1https://id.oclc.org/worldcat/entity/E39PCjMvm9bxFqfVR8HqpqK883
_917690
700 1 _aSeipel, Dietmar.
_918823
758 _ihas work:
_aApplications of declarative programming and knowledge management (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGFm74Krmk6RyDrcJkPjfm
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aInternational Conference on Applications of Declarative Programming and Knowledge Management (18th : 2009 : Évora, Portugal).
_tApplications of declarative programming and knowledge management.
_b1st ed.
_dBerlin : Springer, ©2011
_z9783642205880
_w(DLC) 2011925389
_w(OCoLC)731644472
830 0 _aLecture notes in computer science ;
_v6547.
_x0302-9743
830 0 _aLecture notes in computer science.
_pLecture notes in artificial intelligence.
_914916
830 0 _aLNCS sublibrary.
_nSL 7,
_pArtificial intelligence.
_920712
856 4 0 _uhttps://link.springer.com/10.1007/978-3-642-20589-7
938 _aProQuest Ebook Central
_bEBLB
_nEBL3066655
938 _aebrary
_bEBRY
_nebr10465347
938 _aYBP Library Services
_bYANK
_n5489076
994 _a92
_bATIST
999 _c640859
_d640859