Arama Sonuçları Nonmonotonic reasoning.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dNonmonotonic$002breasoning.$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-25T21:47:20Z
Nonmonotonic reasoning
ent://SD_ILS/0/SD_ILS:219861
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Antoniou, G. (Grigoris) Williams, M. A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483241
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519293.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:194501
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186472
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72200-7">http://dx.doi.org/10.1007/978-3-540-72200-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182913
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11546207">http://dx.doi.org/10.1007/11546207</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning
ent://SD_ILS/0/SD_ILS:77776
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Levi, Isaac, 1930-<br/>Yer Numarası BC 183 L48 1996<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic programming and non-monotonic reasoning proceedings of the second international workshop
ent://SD_ILS/0/SD_ILS:220274
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Pereira, Luís Moniz. Nerode, Anil, 1932-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521177
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521177.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43619-2">https://doi.org/10.1007/978-3-031-43619-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518763
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518763.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:519276
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519276.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14726-0">https://doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
ent://SD_ILS/0/SD_ILS:518563
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Trappl, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518563.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21548-8">https://doi.org/10.1007/978-3-319-21548-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The many valued and non-monotonic turn in logic
ent://SD_ILS/0/SD_ILS:147962
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The many valued and non-monotonic turn in logic
ent://SD_ILS/0/SD_ILS:147981
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The many valued and non-monotonic turn in logic
ent://SD_ILS/0/SD_ILS:148037
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The many valued and non-monotonic turn in logic
ent://SD_ILS/0/SD_ILS:148163
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=18745857&volume=8">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516237">http://www.sciencedirect.com/science/book/9780444516237</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coherent systems
ent://SD_ILS/0/SD_ILS:256520
2024-11-25T21:47:20Z
2024-11-25T21:47:20Z
Yazar Schlechta, Karl.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517890">http://www.sciencedirect.com/science/book/9780444517890</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>