Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /
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 pape...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , , |
| פורמט: | אלקטרוני ספר אלקטרוני |
| שפה: | אנגלית |
| יצא לאור: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| מהדורה: | 1st ed. 2023. |
| סדרה: | Lecture Notes in Artificial Intelligence,
14281 |
| נושאים: | |
| גישה מקוונת: | https://doi.org/10.1007/978-3-031-43619-2 |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-43619-2 | ||
| 003 | DE-He213 | ||
| 005 | 20260810165929.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230923s2023 sz | o |||| 0|eng d | ||
| 020 | |a 9783031436192 |9 978-3-031-43619-2 | ||
| 024 | 7 | |a 10.1007/978-3-031-43619-2 |2 doi | |
| 050 | 4 | |a Q334-342 | |
| 050 | 4 | |a TA347.A78 | |
| 072 | 7 | |a UYQ |2 bicssc | |
| 072 | 7 | |a COM004000 |2 bisacsh | |
| 072 | 7 | |a UYQ |2 thema | |
| 082 | 0 | 4 | |a 006.3 |2 23 |
| 245 | 1 | 0 | |a Logics in Artificial Intelligence |h [electronic resource] : |b 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / |c edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz. |
| 250 | |a 1st ed. 2023. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2023. | |
| 300 | |a 1 online resource (XVIII, 831 p. 114 illus.). |b 38 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Artificial Intelligence, |x 2945-9141 ; |v 14281 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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). | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Application software. | |
| 650 | 0 | |a Computers, Special purpose. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 1 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Computer and Information Systems Applications. |
| 650 | 2 | 4 | |a Special Purpose and Application-Based Systems. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Programming Techniques. |
| 700 | 1 | |a Gaggl, Sarah. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Martinez, Maria Vanina. |e editor. |0 (orcid)0000-0003-2819-4735 |1 https://orcid.org/0000-0003-2819-4735 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Ortiz, Magdalena. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031436185 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031436208 |
| 830 | 0 | |a Lecture Notes in Artificial Intelligence, |x 2945-9141 ; |v 14281 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-43619-2 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||