Arama Sonu&ccedil;lar&#305; Symbolic AI. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSymbolic$002bAI.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2026-05-14T17:12:31Z Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606755 2026-05-14T17:12:31Z 2026-05-14T17:12:31Z Yazar&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75434-0">https://doi.org/10.1007/978-3-031-75434-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605096 2026-05-14T17:12:31Z 2026-05-14T17:12:31Z Yazar&#160;Besold, Tarek R. editor. (orcid)0000-0002-8002-0049&#160;d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518&#160;Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599&#160;Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123&#160;Madhyastha, Pranava. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-71167-1">https://doi.org/10.1007/978-3-031-71167-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603086 2026-05-14T17:12:31Z 2026-05-14T17:12:31Z Yazar&#160;Amigoni, Francesco. editor. (orcid)0000-0001-8146-6213&#160;Sinha, Arunesh. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-56255-6">https://doi.org/10.1007/978-3-031-56255-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605097 2026-05-14T17:12:31Z 2026-05-14T17:12:31Z Yazar&#160;Besold, Tarek R. editor. (orcid)0000-0002-8002-0049&#160;d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518&#160;Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599&#160;Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123&#160;Madhyastha, Pranava. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-71170-1">https://doi.org/10.1007/978-3-031-71170-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-05-14T17:12:31Z 2026-05-14T17:12:31Z Yazar&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>