Atnaujinkite slapukų nuostatas

Hybrid Models for Coupling Deductive and Inductive Reasoning: Third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024, Revised Selected Papers [Minkštas viršelis]

Edited by , Edited by , Edited by , Edited by
  • Formatas: Paperback / softback, 107 pages, aukštis x plotis: 235x155 mm, 31 Illustrations, color; 9 Illustrations, black and white; IX, 107 p. 40 illus., 31 illus. in color., 1 Paperback / softback
  • Serija: Communications in Computer and Information Science 2492
  • Išleidimo metai: 08-May-2025
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3031893654
  • ISBN-13: 9783031893650
Kitos knygos pagal šią temą:
Hybrid Models for Coupling Deductive and Inductive Reasoning: Third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024, Revised Selected PapersDidesnis paveikslėlis
  • Formatas: Paperback / softback, 107 pages, aukštis x plotis: 235x155 mm, 31 Illustrations, color; 9 Illustrations, black and white; IX, 107 p. 40 illus., 31 illus. in color., 1 Paperback / softback
  • Serija: Communications in Computer and Information Science 2492
  • Išleidimo metai: 08-May-2025
  • Leidėjas: Springer International Publishing AG
  • ISBN-10: 3031893654
  • ISBN-13: 9783031893650
Kitos knygos pagal šią temą:
Pastovi nuoroda: https://www.kriso.lt/db/9783031893650.html
Raktažodžiai:
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.
.- 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.