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...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: SpringerLink (Online service)
Tác giả khác: Bruno, Pierangela (Biên tập viên), Calimeri, Francesco (Biên tập viên), Cauteruccio, Francesco (Biên tập viên), Terracina, Giorgio (Biên tập viên)
Định dạng: Điện tử eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Phiên bản:1st ed. 2025.
Loạt:Communications in Computer and Information Science, 2492
Những chủ đề:
Truy cập trực tuyến:https://doi.org/10.1007/978-3-031-89366-7
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Mục lục:
  • -- 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.