Hybrid Models for Coupling Deductive and Inductive Reasoning Third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024, Revised Selected Papers /
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 review...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , , |
| Natura: | Elettronico eBook |
| Lingua: | inglese |
| Pubblicazione: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edizione: | 1st ed. 2025. |
| Serie: | Communications in Computer and Information Science,
2492 |
| Soggetti: | |
| Accesso online: | https://doi.org/10.1007/978-3-031-89366-7 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-89366-7 | ||
| 003 | DE-He213 | ||
| 005 | 20260706115914.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250507s2025 sz | s |||| 0|eng d | ||
| 020 | |a 9783031893667 |9 978-3-031-89366-7 | ||
| 024 | 7 | |a 10.1007/978-3-031-89366-7 |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 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, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a IX, 107 p. 40 illus., 31 illus. in color. |b online resource. | ||
| 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 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 Artificial intelligence. | |
| 650 | 0 | |a Machine learning. | |
| 650 | 1 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Machine Learning. |
| 700 | 1 | |a Bruno, Pierangela. |e editor. |0 (orcid)0000-0002-0832-0151 |1 https://orcid.org/0000-0002-0832-0151 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Calimeri, Francesco. |e editor. |0 (orcid)0000-0002-0866-0834 |1 https://orcid.org/0000-0002-0866-0834 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Cauteruccio, Francesco. |e editor. |0 (orcid)0000-0001-8400-1083 |1 https://orcid.org/0000-0001-8400-1083 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Terracina, Giorgio. |e editor. |0 (orcid)0000-0002-3090-7223 |1 https://orcid.org/0000-0002-3090-7223 |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 9783031893650 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031893674 |
| 830 | 0 | |a Communications in Computer and Information Science, |x 1865-0937 ; |v 2492 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-89366-7 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-243 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Proceedings in AI Research (SpringerNature-85413) | ||