LEADER 03233nam  22005895  450 
001 996465528503316
005 20200705211326.0
010   $a3-642-20589-5
024 7 $a10.1007/978-3-642-20589-7
035   $a(CKB)2670000000082471
035   $a(SSID)ssj0000534055
035   $a(PQKBManifestationID)11333914
035   $a(PQKBTitleCode)TC0000534055
035   $a(PQKBWorkID)10493414
035   $a(PQKB)10884496
035   $a(DE-He213)978-3-642-20589-7
035   $a(MiAaPQ)EBC3066655
035   $a(PPN)153867817
035   $a(EXLCZ)992670000000082471
100   $a20110419d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aApplications of Declarative Programming and Knowledge Management$b[electronic resource] $e18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers /$fedited by Salvador Abreu, Dietmar Seipel
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 239 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6547
300   $aInternational conference proceedings.
311   $a3-642-20588-7 
320   $aIncludes bibliographical references.
330   $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.
410  0$aLecture Notes in Artificial Intelligence ;$v6547
606   $aArtificial intelligence
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
608   $aConference papers and proceedings.$2fast
615  0$aArtificial intelligence.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aProgramming Techniques.
676   $a006.3
702   $aAbreu$b Salvador$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSeipel$b Dietmar$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Applications of Declarative Programming and Knowledge Management.
906   $aBOOK
912   $a996465528503316
996   $aApplications of Declarative Programming and Knowledge Management$9772096
997   $aUNISA