LEADER 03642nam  22007455  450 
001 9910747000103321
005 20230923165300.0
010   $a3-031-43619-9
024 7 $a10.1007/978-3-031-43619-2
035   $a(MiAaPQ)EBC30752333
035   $a(Au-PeEL)EBL30752333
035   $a(DE-He213)978-3-031-43619-2
035   $a(PPN)272734470
035   $a(CKB)28284164500041
035   $a(EXLCZ)9928284164500041
100   $a20230923d2023      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogics in Artificial Intelligence $e18th European Conference, JELIA 2023, Dresden, Germany, September 20?22, 2023, Proceedings /$fedited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
205   $a1st ed. 2023.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023.
215   $a1 online resource (834 pages)
225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14281
311 08$aPrint version: Gaggl, Sarah Logics in Artificial Intelligence Cham : Springer,c2023 9783031436185 
327   $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.
330   $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).
410  0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14281
606   $aArtificial intelligence
606   $aApplication software
606   $aComputers, Special purpose
606   $aComputer science
606   $aMachine theory
606   $aComputer programming
606   $aArtificial Intelligence
606   $aComputer and Information Systems Applications
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aComputers, Special purpose.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aComputer and Information Systems Applications.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
676   $a006.3
700   $aGaggl$b Sarah$01429348
701   $aMartinez$b Maria Vanina$01059359
701   $aOrtiz$b Magdalena$01429349
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910747000103321
996   $aLogics in Artificial Intelligence$93568325
997   $aUNINA