LEADER 04057nam  22007455  450 
001 996466215503316
005 20200705130918.0
010   $a3-030-19570-8
024 7 $a10.1007/978-3-030-19570-0
035   $a(CKB)4100000008103813
035   $a(DE-He213)978-3-030-19570-0
035   $a(MiAaPQ)EBC5925949
035   $a(PPN)236522051
035   $a(EXLCZ)994100000008103813
100   $a20190506d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogics in Artificial Intelligence$b[electronic resource] $e16th European Conference, JELIA 2019, Rende, Italy, May 7?11, 2019, Proceedings /$fedited by Francesco Calimeri, Nicola Leone, Marco Manna
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XV, 822 p. 1646 illus., 29 illus. in color.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v11468
300   $aIncludes Index.
311   $a3-030-19569-4 
327   $aBelief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic.
330   $aThis book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.
410  0$aLecture Notes in Artificial Intelligence ;$v11468
606   $aArtificial intelligence
606   $aComputer logic
606   $aMathematical logic
606   $aApplication software
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aApplication software.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aComputer Appl. in Administrative Data Processing.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
676   $a006.3
702   $aCalimeri$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLeone$b Nicola$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aManna$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466215503316
996   $aLogics in Artificial Intelligence$9772596
997   $aUNISA