Depending on the amount of data to process, file generation may take longer.

If it takes too long to generate, you can limit the data by, for example, reducing the range of years.

Book

Download BibTeX

Title

NeSy 2023 Neural-Symbolic Learning and Reasoning 2023 : Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023

Editors

Year of publication

2023

Book type

edited book

Publication language

english

Publisher name

CEUR

Date of publication

2023

Number of pages

435

ISSN

1613-0073

URL

https://ceur-ws.org/Vol-3432/

Published in

Book series: CEUR Workshop Proceedings

Number in series

vol. 3432

Chapters
Is the Proof Length a Good Indicator of Hardness for Reason-able Embeddings? (p. 150-161)
Conference

17th International Workshop on Neural-Symbolic Learning and Reasoning, 3-5.07.2023, Siena, Italy

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.