04057nam 22007455 450 99646621550331620200705130918.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[electronic resource] 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 ;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 ;11468Artificial intelligenceComputer logicMathematical logicApplication softwareProgramming languages (Electronic computers)Computer programmingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial intelligence.Computer logic.Mathematical logic.Application software.Programming languages (Electronic computers).Computer programming.Artificial Intelligence.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Computer Appl. in Administrative Data Processing.Programming Languages, Compilers, Interpreters.Programming Techniques.006.3Calimeri Francescoedthttp://id.loc.gov/vocabulary/relators/edtLeone Nicolaedthttp://id.loc.gov/vocabulary/relators/edtManna Marcoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466215503316Logics in Artificial Intelligence772596UNISA