LEADER 03430nam  22007215  450 
001 9910337846503321
005 20251225193524.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 $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,$x2945-9141 ;$v11468
300   $aIncludes Index.
311 08$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,$x2945-9141 ;$v11468
606   $aArtificial intelligence
606   $aComputer science
606   $aMachine theory
606   $aInformation technology$xManagement
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aArtificial Intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aComputer Application in Administrative Data Processing
606   $aCompilers and Interpreters
606   $aProgramming Techniques
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aInformation technology$xManagement.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Application in Administrative Data Processing.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
676   $a006.3
702   $aCalimeri$b Francesco & Leone, Nicola & Manna, Marco
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337846503321
996   $aLogics in Artificial Intelligence$9772596
997   $aUNINA