OPAC

検索結果一覧に戻る

Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 14281)

データ種別	電子ブック
版	1st ed. 2023.
出版者	(Cham : Springer Nature Switzerland : Imprint: Springer)
出版年	2023
大きさ	XVIII, 831 p. 114 illus., 38 illus. in color : online resource
著者標目	Gaggl, Sarah editor Martinez, Maria Vanina editor Ortiz, Magdalena editor SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0004521	Computer Scinece R0 2005-6,2022-3				9783031436192

書誌詳細を非表示

一般注記	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) HTTP:URL=https://doi.org/10.1007/978-3-031-43619-2
件　名	LCSH:Artificial intelligence LCSH:Application software LCSH:Computers, Special purpose LCSH:Computer science LCSH:Machine theory LCSH:Computer programming FREE:Artificial Intelligence FREE:Computer and Information Systems Applications FREE:Special Purpose and Application-Based Systems FREE:Computer Science Logic and Foundations of Programming FREE:Formal Languages and Automata Theory FREE:Programming Techniques
分　類	LCC:Q334-342 LCC:TA347.A78 DC23:006.3
書誌ID	EB00003909
ISBN	9783031436192