소장자료
| LDR | 03632nam a22006255i 4500 | ||
| 001 | 0100794887▲ | ||
| 003 | DE-He213▲ | ||
| 005 | 20240305134622▲ | ||
| 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▲ | |
| 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.▲ | |
| 650 | 0 | ▼aApplication software.▲ | |
| 650 | 0 | ▼aComputers, Special purpose.▲ | |
| 650 | 0 | ▼aComputer science.▲ | |
| 650 | 0 | ▼aMachine theory.▲ | |
| 650 | 0 | ▼aComputer programming.▲ | |
| 650 | 1 | 4 | ▼aArtificial Intelligence.▲ |
| 650 | 2 | 4 | ▼aComputer and Information Systems Applications.▲ |
| 650 | 2 | 4 | ▼aSpecial Purpose and Application-Based Systems.▲ |
| 650 | 2 | 4 | ▼aComputer Science Logic and Foundations of Programming.▲ |
| 650 | 2 | 4 | ▼aFormal Languages and Automata Theory.▲ |
| 650 | 2 | 4 | ▼aProgramming Techniques.▲ |
| 700 | 1 | ▼aGaggl, Sarah.▼eeditor.▼0(orcid)0000-0003-2425-6089▼1https://orcid.org/0000-0003-2425-6089▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 700 | 1 | ▼aMartinez, Maria Vanina.▼eeditor.▼0(orcid)0000-0003-2819-4735▼1https://orcid.org/0000-0003-2819-4735▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 700 | 1 | ▼aOrtiz, Magdalena.▼eeditor.▼0(orcid)0000-0002-2344-9658▼1https://orcid.org/0000-0002-2344-9658▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 710 | 2 | ▼aSpringerLink (Online service)▲ | |
| 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▲ | |
| 856 | 4 | 0 | ▼uhttps://doi.org/10.1007/978-3-031-43619-2▲ |
Logics in Artificial Intelligence[electronic resource] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
자료유형
국외eBook
서명/책임사항
Logics in Artificial Intelligence [electronic resource] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz.
판사항
1st ed. 2023.
형태사항
XVIII, 831 p. 114 illus., 38 illus. in color. online resource.
총서사항
Lecture Notes in Artificial Intelligence , 2945-9141 ; 14281
Lecture Notes in Artificial Intelligence , 2945-9141 ; 14281
Lecture Notes in Artificial Intelligence , 2945-9141 ; 14281
내용주기
Invited 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.
요약주기
This 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).
주제
Artificial intelligence.
Application software.
Computers, Special purpose.
Computer science.
Machine theory.
Computer programming.
Artificial Intelligence.
Computer and Information Systems Applications.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Programming Techniques.
Application software.
Computers, Special purpose.
Computer science.
Machine theory.
Computer programming.
Artificial Intelligence.
Computer and Information Systems Applications.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Programming Techniques.
ISBN
9783031436192
관련 인기대출 도서