Arama Sonu&ccedil;lar&#305; Gabbay, Dov. - Daralt&#305;lm&#305;&#351;: Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dGabbay$00252C$002bDov.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300? 2024-11-17T18:47:14Z Reactive Kripke Semantics ent://SD_ILS/0/SD_ILS:335100 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335100.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Approaches to Legal Rationality ent://SD_ILS/0/SD_ILS:205533 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;Gabbay, Dov M. editor.&#160;Canivez, Patrice. editor.&#160;Rahman, Shahid. editor.&#160;Thiercelin, Alexandre. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9588-6">http://dx.doi.org/10.1007/978-90-481-9588-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Conditionals and Modularity in General Logics ent://SD_ILS/0/SD_ILS:193923 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logical Tools for Handling Change in Agent-Based Systems ent://SD_ILS/0/SD_ILS:190937 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Revision, Acceptability and Context Theoretical and Algorithmic Aspects ent://SD_ILS/0/SD_ILS:192565 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;Gabbay, Dov M. author.&#160;Rodrigues, Odinaldo T. author.&#160;Russo, Alessandra. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14159-1">http://dx.doi.org/10.1007/978-3-642-14159-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Handbook of temporal reasoning in artificial intelligence ent://SD_ILS/0/SD_ILS:253803 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;Fisher, Michael, 1962-&#160;Gabbay, Dov M., 1945-&#160;Vila, L. (Lluis)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444514936">http://www.sciencedirect.com/science/book/9780444514936</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural-Symbolic Cognitive Reasoning ent://SD_ILS/0/SD_ILS:186786 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;d&rsquo;Avila Garcez, Artur S. author.&#160;Lamb, Lu&iacute;s C. author.&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2024-11-17T18:47:14Z 2024-11-17T18:47:14Z Yazar&#160;Metcalfe, George. author.&#160;Olivetti, Nicola. author.&#160;Gabbay, Dov. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9409-5">http://dx.doi.org/10.1007/978-1-4020-9409-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>