LEADER 03810nam  22007575  450 
001 9910484354003321
005 20200702054358.0
010   $a3-319-48758-2
024 7 $a10.1007/978-3-319-48758-8
035   $a(CKB)3710000000926187
035   $a(DE-He213)978-3-319-48758-8
035   $a(MiAaPQ)EBC6298537
035   $a(MiAaPQ)EBC5590952
035   $a(Au-PeEL)EBL5590952
035   $a(OCoLC)962018294
035   $a(PPN)197136923
035   $a(EXLCZ)993710000000926187
100   $a20161031d2016      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogics in Artificial Intelligence $e15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings /$fedited by Loizos Michael, Antonis Kakas
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XXII, 586 p. 70 illus.)
225 1 $aLecture Notes in Artificial Intelligence ;$v10021
311   $a3-319-48757-4 
327   $aBelief revision -- Answer set programming -- Argumentation -- Probabilistic reasoning -- Handling inconsistencies -- Temporal logics and planning -- Description logics -- Decidability and complexity results.
330   $aThis book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
410  0$aLecture Notes in Artificial Intelligence ;$v10021
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer logic
606   $aSoftware engineering
606   $aApplication software
606   $aDatabase management
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aApplication software.
615  0$aDatabase management.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aDatabase Management.
676   $a006.3
702   $aMichael$b Loizos$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKakas$b Antonis$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484354003321
996   $aLogics in Artificial Intelligence$9772596
997   $aUNINA