000 03633nam a22006495i 4500
001 978-3-031-43619-2
003 DE-He213
005 20240730200829.0
007 cr nn 008mamaa
008 230923s2023 sz | s |||| 0|eng d
020 _a9783031436192
_9978-3-031-43619-2
024 7 _a10.1007/978-3-031-43619-2
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aLogics in Artificial Intelligence
_h[electronic resource] :
_b18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings /
_cedited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXVIII, 831 p. 114 illus., 38 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v14281
505 0 _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.
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).
650 0 _aArtificial intelligence.
_93407
650 0 _aApplication software.
_9165012
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9165013
650 0 _aComputer programming.
_94169
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer and Information Systems Applications.
_9165014
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9165015
650 2 4 _aProgramming Techniques.
_9165016
700 1 _aGaggl, Sarah.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9165017
700 1 _aMartinez, Maria Vanina.
_eeditor.
_0(orcid)
_10000-0003-2819-4735
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9165018
700 1 _aOrtiz, Magdalena.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9165019
710 2 _aSpringerLink (Online service)
_9165020
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031436185
776 0 8 _iPrinted edition:
_z9783031436208
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v14281
_9165021
856 4 0 _uhttps://doi.org/10.1007/978-3-031-43619-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96256
_d96256