001481105 000__ 03482cam\\22006257i\4500
001481105 001__ 1481105
001481105 003__ OCoLC
001481105 005__ 20231031003323.0
001481105 006__ m\\\\\o\\d\\\\\\\\
001481105 007__ cr\cn\nnnunnun
001481105 008__ 230926s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001481105 020__ $$a9783031436192$$q(electronic bk.)
001481105 020__ $$a3031436199$$q(electronic bk.)
001481105 020__ $$z9783031436185
001481105 0247_ $$a10.1007/978-3-031-43619-2$$2doi
001481105 035__ $$aSP(OCoLC)1399537327
001481105 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dWSU
001481105 049__ $$aISEA
001481105 050_4 $$aQ334
001481105 08204 $$a006.3$$223/eng/20230926
001481105 1112_ $$aJELIA (Conference)$$n(18th :$$d2023 :$$cDresden, Germany)
001481105 24510 $$aLogics in artificial intelligence :$$b18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /$$cSarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors.
001481105 24630 $$aJELIA 2023
001481105 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2023]
001481105 300__ $$a1 online resource (xviii, 831 pages) :$$billustrations (some color)
001481105 336__ $$atext$$btxt$$2rdacontent
001481105 337__ $$acomputer$$bc$$2rdamedia
001481105 338__ $$aonline resource$$bcr$$2rdacarrier
001481105 4901_ $$aLecture Notes in Artificial Intelligence ;$$v14281
001481105 4901_ $$aLecture Notes in Computer Science
001481105 500__ $$aIncludes author index.
001481105 5050_ $$aInvited Papers -- Special track: Logics for Explainable and Trustworthy AI -- Argumentation -- Answer Set Programming -- Description Logics and Ontological Reasoning -- Logics of Knowledge and Belief -- Non-monotonic Reasoning -- Planning -- Reasoning about Causes and Dependencies -- Reasoning about Quantities and Functions -- Temporal and Spatial Reasoning.
001481105 506__ $$aAccess limited to authorized users.
001481105 520__ $$aThis book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023. The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
001481105 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 26, 2023).
001481105 650_0 $$aArtificial intelligence$$vCongresses.$$xMedical applications$$0(DLC)sh 88003000
001481105 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.$$vCongresses$$0(DLC)sh2008107112
001481105 650_0 $$aComputer science$$vCongresses.$$0(DLC)sh2007006411
001481105 650_0 $$aSoftware engineering$$vCongresses.$$vCongresses$$0(DLC)sh2008111658
001481105 650_0 $$aComputer logic$$vCongresses.$$vCongresses$$0(DLC)sh2009121216
001481105 650_0 $$aDatabase management$$vCongresses.$$vCongresses$$0(DLC)sh2008102037
001481105 655_0 $$aElectronic books.
001481105 655_7 $$aConference papers and proceedings.$$2lcgft
001481105 7001_ $$aGaggl, Sarah,$$eeditor.
001481105 7001_ $$aMartinez, Maria Vanina,$$eeditor.
001481105 7001_ $$aOrtiz, Magdalena,$$d1978-$$eeditor.
001481105 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence ;$$v14281.
001481105 852__ $$bebk
001481105 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-43619-2$$zOnline Access$$91397441.1
001481105 909CO $$ooai:library.usi.edu:1481105$$pGLOBAL_SET
001481105 980__ $$aBIB
001481105 980__ $$aEBOOK
001481105 982__ $$aEbook
001481105 983__ $$aOnline
001481105 994__ $$a92$$bISE