東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Hybrid models for coupling deductive...

International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning (2024 :)

FindBook

Google Book

Amazon

博客來

Hybrid models for coupling deductive and inductive reasoning = third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Hybrid models for coupling deductive and inductive reasoning/ edited by Pierangela Bruno ... [et al.].
其他題名:	third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers /
其他題名:	HYDRA 2024
其他作者:	Bruno, Pierangela.
團體作者:	International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	ix, 107 p. :ill. (some col.), digital ;24 cm.
內容註:	Invited Talk: ASP and NeSy AI: Applications and Future Perspectives. -- Understanding Artificial Intelligence in Chess: the RubiChess case study. -- Evaluating Inductive Reasoning Capabilities of Large Language Models With The One Dimensional Abstract Reasoning Corpus. -- Program synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus. -- Trustworthy Inductive Knowledge for Tropical Cyclones Formation Detection. -- Automatic Curriculum Cohesion Analysis Based on Knowledge Graphs. -- Online inductive learning from answer sets for efficient reinforcement learning exploration.
Contained By:	Springer Nature eBook
標題:	Logic programming - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-89366-7
ISBN:	9783031893667

Hybrid models for coupling deductive and inductive reasoning = third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers /
Hybrid models for coupling deductive and inductive reasoningthird International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers /[electronic resource] :HYDRA 2024edited by Pierangela Bruno ... [et al.]. - Cham :Springer Nature Switzerland :2025. - ix, 107 p. :ill. (some col.), digital ;24 cm. - Communications in computer and information science,24921865-0937 ;. - Communications in computer and information science ;2492..

Invited Talk: ASP and NeSy AI: Applications and Future Perspectives. -- Understanding Artificial Intelligence in Chess: the RubiChess case study. -- Evaluating Inductive Reasoning Capabilities of Large Language Models With The One Dimensional Abstract Reasoning Corpus. -- Program synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus. -- Trustworthy Inductive Knowledge for Tropical Cyclones Formation Detection. -- Automatic Curriculum Cohesion Analysis Based on Knowledge Graphs. -- Online inductive learning from answer sets for efficient reinforcement learning exploration.

This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024, held in Santiago de Compostela, Spain, on October 20, 2024. The 6 full papers and 1 invited talk included in this book were carefully reviewed and selected from 7 submissions.The International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning (HYDRA) was designed as a forum for researchers to explore the exciting possibilities at the intersection of deductive and inductive reasoning.

ISBN: 9783031893667

Standard No.: 10.1007/978-3-031-89366-7doiSubjects--Topical Terms:

840448
Logic programming
--Congresses.

LC Class. No.: QA76.63

Dewey Class. No.: 005.115

Hybrid models for coupling deductive and inductive reasoning = third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers /
LDR:02412nmm a2200349 a 4500 001 2409730
003 DE-He213
005 20250507183926.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031893667 $q (electronic bk.)
020 $a 9783031893650 $q (paper)
024 7 $a 10.1007/978-3-031-89366-7 $2 doi
035 $a 978-3-031-89366-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.63
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 005.115 $2 23
090 $a QA76.63 $b .I61 2024
111 2 $a International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning $n (3rd : $d 2024 : $c Santiago de Compostela, Spain) $3 3783103
245 1 0 $a Hybrid models for coupling deductive and inductive reasoning $h [electronic resource] : $b third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024 : revised selected papers / $c edited by Pierangela Bruno ... [et al.].
246 3 $a HYDRA 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a ix, 107 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0937 ; $v 2492
505 0 $a Invited Talk: ASP and NeSy AI: Applications and Future Perspectives. -- Understanding Artificial Intelligence in Chess: the RubiChess case study. -- Evaluating Inductive Reasoning Capabilities of Large Language Models With The One Dimensional Abstract Reasoning Corpus. -- Program synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus. -- Trustworthy Inductive Knowledge for Tropical Cyclones Formation Detection. -- Automatic Curriculum Cohesion Analysis Based on Knowledge Graphs. -- Online inductive learning from answer sets for efficient reinforcement learning exploration.
520 $a This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024, held in Santiago de Compostela, Spain, on October 20, 2024. The 6 full papers and 1 invited talk included in this book were carefully reviewed and selected from 7 submissions.The International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning (HYDRA) was designed as a forum for researchers to explore the exciting possibilities at the intersection of deductive and inductive reasoning.
650 0 $a Logic programming $v Congresses. $3 840448
650 0 $a Induction (Logic) $x Congresses. $3 654795
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Machine Learning. $3 3382522
700 1 $a Bruno, Pierangela. $3 3783104
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 2492. $3 3783105
856 4 0 $u https://doi.org/10.1007/978-3-031-89366-7
950 $a Computer Science (SpringerNature-11645)