東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logics in artificial intelligence = ...

JELIA (Conference) (2023 :)

FindBook

Google Book

Amazon

博客來

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logics in artificial intelligence/ edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz.
其他題名:	18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
其他題名:	JELIA 2023
其他作者:	Gaggl, Sarah.
團體作者:	JELIA (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xviii, 831 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Artificial intelligence - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-43619-2
ISBN:	9783031436192

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
Logics in artificial intelligence18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /[electronic resource] :JELIA 2023edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz. - Cham :Springer Nature Switzerland :2023. - xviii, 831 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,142810302-9743 ;. - Lecture notes in computer science ;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)

ISBN: 9783031436192

Standard No.: 10.1007/978-3-031-43619-2doiSubjects--Topical Terms:

606815
Artificial intelligence
--Congresses.

LC Class. No.: Q334 / .J45 2023

Dewey Class. No.: 006.3

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
LDR:02189nmm a2200361 a 4500 001 2334539
003 DE-He213
005 20230923165300.0
006 m d
007 cr nn 008maaau
008 240402s2023 sz s 0 eng d
020 $a 9783031436192 $q (electronic bk.)
020 $a 9783031436185 $q (paper)
024 7 $a 10.1007/978-3-031-43619-2 $2 doi
035 $a 978-3-031-43619-2
040 $a GP $c GP
041 0 $a eng
050 4 $a Q334 $b .J45 2023
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
090 $a Q334 $b .J48 2023
111 2 $a JELIA (Conference) $n (18th : $d 2023 : $c Dresden, Germany) $3 3666216
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.
246 3 $a JELIA 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xviii, 831 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14281
490 1 $a Lecture notes in artificial intelligence
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)
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 0 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
650 0 $a Computer science $v Congresses. $3 606819
650 0 $a Software engineering $x Congresses. $3 696781
650 0 $a Computer logic $x Congresses. $3 726280
650 0 $a Database management $v Congresses. $3 551624
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Computer and Information Systems Applications. $3 3538505
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Formal Languages and Automata Theory. $3 3592087
650 2 4 $a Programming Techniques. $3 892496
700 1 $a Gaggl, Sarah. $3 3666217
700 1 $a Martinez, Maria Vanina. $3 3666218
700 1 $a Ortiz, Magdalena. $3 2209965
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14281. $3 3666219
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-031-43619-2
950 $a Computer Science (SpringerNature-11645)