Arama Sonuçları Reasoning. - Daraltılmış: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dReasoning.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-22T11:43:14Z
Case-Based Approximate Reasoning
ent://SD_ILS/0/SD_ILS:169568
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Hüllermeier, Eyke. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5695-8">http://dx.doi.org/10.1007/1-4020-5695-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Robots, Reasoning, and Reification
ent://SD_ILS/0/SD_ILS:167813
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-87488-3">http://dx.doi.org/10.1007/978-0-387-87488-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Parallel Constraint Reasoning
ent://SD_ILS/0/SD_ILS:400510
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63516-3">https://doi.org/10.1007/978-3-319-63516-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Linked Data Storing, Querying, and Reasoning
ent://SD_ILS/0/SD_ILS:401935
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73515-3">https://doi.org/10.1007/978-3-319-73515-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Successful Case-based Reasoning Applications-2
ent://SD_ILS/0/SD_ILS:488305
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-38736-4">https://doi.org/10.1007/978-3-642-38736-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning A Textbook
ent://SD_ILS/0/SD_ILS:334902
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334902.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40167-1">http://dx.doi.org/10.1007/978-3-642-40167-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Decentralized Reasoning in Ambient Intelligence
ent://SD_ILS/0/SD_ILS:173543
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning in Event-Based Distributed Systems
ent://SD_ILS/0/SD_ILS:194135
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Helmer, Sven. editor. Poulovassilis, Alexandra. editor. Xhafa, Fatos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19724-6">http://dx.doi.org/10.1007/978-3-642-19724-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Successful Case-based Reasoning Applications - I
ent://SD_ILS/0/SD_ILS:192543
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14078-5">http://dx.doi.org/10.1007/978-3-642-14078-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Reasoning under Uncertainty
ent://SD_ILS/0/SD_ILS:191458
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bouchon-Meunier, Bernadette. editor. Magdalena, Luis. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José-Luis. editor. Yager, Ronald R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10728-3">http://dx.doi.org/10.1007/978-3-642-10728-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling and Reasoning with Vague Concepts
ent://SD_ILS/0/SD_ILS:165711
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Lawry, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-30262-X">http://dx.doi.org/10.1007/0-387-30262-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Qualitative reasoning about physical systems
ent://SD_ILS/0/SD_ILS:258112
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bobrow, Daniel G. (Daniel Gureasko), 1935-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876706">http://www.sciencedirect.com/science/book/9780444876706</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning for Systems Biology and Medicine
ent://SD_ILS/0/SD_ILS:483246
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17297-8">https://doi.org/10.1007/978-3-030-17297-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Workflow Modeling Assistance by Case-based Reasoning
ent://SD_ILS/0/SD_ILS:399633
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Müller, Gilbert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-23559-8">https://doi.org/10.1007/978-3-658-23559-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Approaches to Analogical Reasoning: Current Trends
ent://SD_ILS/0/SD_ILS:487950
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54516-0">https://doi.org/10.1007/978-3-642-54516-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332107.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning on Images and Signals
ent://SD_ILS/0/SD_ILS:186766
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Perner, Petra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73180-1">http://dx.doi.org/10.1007/978-3-540-73180-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Constraint Satisfaction Techniques for Agent-Based Reasoning
ent://SD_ILS/0/SD_ILS:197849
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Neagu, Nicoleta. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137139">http://dx.doi.org/10.1007/b137139</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of temporal reasoning in artificial intelligence
ent://SD_ILS/0/SD_ILS:253803
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444514936">http://www.sciencedirect.com/science/book/9780444514936</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:485354
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31423-1">https://doi.org/10.1007/978-3-030-31423-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483988
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Şotropa, Diana. editor. (orcid)0000-0003-4403-9946 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23182-8">https://doi.org/10.1007/978-3-030-23182-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484899
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29765-7">https://doi.org/10.1007/978-3-030-29765-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485169
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bach, Kerstin. editor. (orcid)0000-0002-4256-7676 Marling, Cindy. editor. (orcid)0000-0002-4155-5155 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29249-2">https://doi.org/10.1007/978-3-030-29249-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Autonomous Cyber Deception Reasoning, Adaptive Planning, and Evaluation of HoneyThings
ent://SD_ILS/0/SD_ILS:482942
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Al-Shaer, Ehab. editor. Wei, Jinpeng. editor. (orcid)0000-0002-6982-7386 Hamlen, Kevin W. editor. Wang, Cliff. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02110-8">https://doi.org/10.1007/978-3-030-02110-8</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-22T11:43:14Z
2024-11-22T11:43:14Z
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/>
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483605
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401227
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91379-7">https://doi.org/10.1007/978-3-319-91379-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:399284
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00338-8">https://doi.org/10.1007/978-3-030-00338-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400874
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398962
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
ent://SD_ILS/0/SD_ILS:401923
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Akama, Seiki. author. Murai, Tetsuya. author. Kudo, Yasuo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72691-5">https://doi.org/10.1007/978-3-319-72691-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402536
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485454
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04534-4">https://doi.org/10.1007/978-3-319-04534-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485806
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13413-0">https://doi.org/10.1007/978-3-319-13413-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486861
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Lamontagne, Luc. editor. Plaza, Enric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11209-1">https://doi.org/10.1007/978-3-319-11209-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489090
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Hernandez, Nathalie. editor. Jäschke, Robert. editor. Croitoru, Madalina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08389-6">https://doi.org/10.1007/978-3-319-08389-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485585
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08587-6">https://doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485675
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10587-1">https://doi.org/10.1007/978-3-319-10587-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
ent://SD_ILS/0/SD_ILS:488488
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Addis, Tom. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11286-2">https://doi.org/10.1007/978-3-319-11286-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Gaag, Linda C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334728.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334264.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</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-22T11:43:14Z
2024-11-22T11:43:14Z
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/>
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334092
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.<br/>Yer Numarası ONLINE(334092.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334719
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334719.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39056-2">http://dx.doi.org/10.1007/978-3-642-39056-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334848
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334848.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335196.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms
ent://SD_ILS/0/SD_ILS:195717
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Kountchev, Roumen. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24693-7">http://dx.doi.org/10.1007/978-3-642-24693-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196702
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197306
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32986-9">http://dx.doi.org/10.1007/978-3-642-32986-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197327
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33158-9">http://dx.doi.org/10.1007/978-3-642-33158-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</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-22T11:43:14Z
2024-11-22T11:43:14Z
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/>
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194920
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194930
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Liu, Weiru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</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-22T11:43:14Z
2024-11-22T11:43:14Z
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/>
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195060
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
ent://SD_ILS/0/SD_ILS:195071
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Hartanto, Ronny. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195299
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23291-6">http://dx.doi.org/10.1007/978-3-642-23291-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195217
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23032-5">http://dx.doi.org/10.1007/978-3-642-23032-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
ent://SD_ILS/0/SD_ILS:207018
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-11-4">http://dx.doi.org/10.2991/978-94-91216-11-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Approximate Reasoning by Parts An Introduction to Rough Mereology
ent://SD_ILS/0/SD_ILS:194973
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Polkowski, Lech. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22279-5">http://dx.doi.org/10.1007/978-3-642-22279-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
ent://SD_ILS/0/SD_ILS:192546
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Cao, Tru Hoang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14087-7">http://dx.doi.org/10.1007/978-3-642-14087-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192577
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14203-1">http://dx.doi.org/10.1007/978-3-642-14203-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192600
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14274-1">http://dx.doi.org/10.1007/978-3-642-14274-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots
ent://SD_ILS/0/SD_ILS:191341
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Wallgrün, Jan Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10345-2">http://dx.doi.org/10.1007/978-3-642-10345-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
ent://SD_ILS/0/SD_ILS:192900
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15223-8">http://dx.doi.org/10.1007/978-3-642-15223-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:193003
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15543-7">http://dx.doi.org/10.1007/978-3-642-15543-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190408
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02716-1">http://dx.doi.org/10.1007/978-3-642-02716-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190456
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02906-6">http://dx.doi.org/10.1007/978-3-642-02906-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
ent://SD_ILS/0/SD_ILS:188990
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88087-5">http://dx.doi.org/10.1007/978-3-540-88087-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Computational Intelligence Volume 2 Approximate Reasoning
ent://SD_ILS/0/SD_ILS:190029
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Hassanien, Aboul-Ella. editor. Abraham, Ajith. editor. Herrera, Francisco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01533-5">http://dx.doi.org/10.1007/978-3-642-01533-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190485
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02998-1">http://dx.doi.org/10.1007/978-3-642-02998-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abductive Cognition The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
ent://SD_ILS/0/SD_ILS:190685
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Magnani, Lorenzo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03631-6">http://dx.doi.org/10.1007/978-3-642-03631-6</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-22T11:43:14Z
2024-11-22T11:43:14Z
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/>
Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach
ent://SD_ILS/0/SD_ILS:185687
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Wolter, Diedrich. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69012-2">http://dx.doi.org/10.1007/978-3-540-69012-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186004
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70596-3">http://dx.doi.org/10.1007/978-3-540-70596-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems
ent://SD_ILS/0/SD_ILS:188307
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Bessière, Pierre. editor. Laugier, Christian. editor. Siegwart, Roland. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79007-5">http://dx.doi.org/10.1007/978-3-540-79007-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188878
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87601-4">http://dx.doi.org/10.1007/978-3-540-87601-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189332
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89765-1">http://dx.doi.org/10.1007/978-3-540-89765-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188712
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85502-6">http://dx.doi.org/10.1007/978-3-540-85502-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Reasoning in Science, Technology, and Medicine
ent://SD_ILS/0/SD_ILS:186423
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Kacprzyk, Janusz. editor. Magnani, Lorenzo. editor. Li, Ping. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71986-1">http://dx.doi.org/10.1007/978-3-540-71986-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:187214
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187375
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Mellouli, Khaled. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75256-1">http://dx.doi.org/10.1007/978-3-540-75256-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187471
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75666-8">http://dx.doi.org/10.1007/978-3-540-75666-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:187554
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75989-8">http://dx.doi.org/10.1007/978-3-540-75989-8</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-22T11:43:14Z
2024-11-22T11:43:14Z
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/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186741
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Olivetti, Nicola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187067
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74141-1">http://dx.doi.org/10.1007/978-3-540-74141-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184493
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
ent://SD_ILS/0/SD_ILS:184651
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11829263">http://dx.doi.org/10.1007/11829263</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185067
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184450
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11805816">http://dx.doi.org/10.1007/11805816</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
ent://SD_ILS/0/SD_ILS:152207
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar ALISEDA, ATOCHA. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3907-7">http://dx.doi.org/10.1007/1-4020-3907-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184738
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11853107">http://dx.doi.org/10.1007/11853107</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:182822
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182974
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Godo, Lluís. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138862">http://dx.doi.org/10.1007/b138862</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
ent://SD_ILS/0/SD_ILS:183093
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
ent://SD_ILS/0/SD_ILS:175236
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138799">http://dx.doi.org/10.1007/b138799</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182908
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Beckert, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</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-22T11:43:14Z
2024-11-22T11:43:14Z
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/>
Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182941
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11536406">http://dx.doi.org/10.1007/11536406</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183242
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106616">http://dx.doi.org/10.1007/b106616</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Robots The Art and Science of Programming Robotic Agents
ent://SD_ILS/0/SD_ILS:152109
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Thielscher, Michael. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3069-X">http://dx.doi.org/10.1007/1-4020-3069-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Cognitive Systems
ent://SD_ILS/0/SD_ILS:247724
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Nefti, S., ed. Gray, J. O., ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBCE071E">http://dx.doi.org/10.1049/PBCE071E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Do the right thing studies in limited rationality
ent://SD_ILS/0/SD_ILS:219893
2024-11-22T11:43:14Z
2024-11-22T11:43:14Z
Yazar Russell, Stuart J. (Stuart Jonathan) Wefald, Eric, -1989.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267430">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267430</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>