03430nam 22007215 450 991033784650332120251225193524.03-030-19570-810.1007/978-3-030-19570-0(CKB)4100000008103813(DE-He213)978-3-030-19570-0(MiAaPQ)EBC5925949(PPN)236522051(EXLCZ)99410000000810381320190506d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierLogics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /edited by Francesco Calimeri, Nicola Leone, Marco Manna1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XV, 822 p. 1646 illus., 29 illus. in color.) Lecture Notes in Artificial Intelligence,2945-9141 ;11468Includes Index.3-030-19569-4 Belief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic.This 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.Lecture Notes in Artificial Intelligence,2945-9141 ;11468Artificial intelligenceComputer scienceMachine theoryInformation technologyManagementCompilers (Computer programs)Computer programmingArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryComputer Application in Administrative Data ProcessingCompilers and InterpretersProgramming TechniquesArtificial intelligence.Computer science.Machine theory.Information technologyManagement.Compilers (Computer programs).Computer programming.Artificial Intelligence.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Computer Application in Administrative Data Processing.Compilers and Interpreters.Programming Techniques.006.3Calimeri Francesco & Leone, Nicola & Manna, MarcoMiAaPQMiAaPQMiAaPQBOOK9910337846503321Logics in Artificial Intelligence772596UNINA