Arama Sonuçları Artificial intelligence. - Daraltılmış: Logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dArtificial$002bintelligence.$0026qf$003dSUBJECT$002509Konu$002509Logic.$002509Logic.$0026ps$003d300?dt=list
2024-11-26T00:51:41Z
Artificial General Intelligence
ent://SD_ILS/0/SD_ILS:185553
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Goertzel, Ben. editor. Pennachin, Cassio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68677-4">http://dx.doi.org/10.1007/978-3-540-68677-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Argumentation Methods for Artificial Intelligence in Law
ent://SD_ILS/0/SD_ILS:152562
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Walton, Douglas. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27881-8">http://dx.doi.org/10.1007/3-540-27881-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Belief Change Introduction and Overview
ent://SD_ILS/0/SD_ILS:401219
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Fermé, Eduardo. author. Hansson, Sven Ove. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60535-7">https://doi.org/10.1007/978-3-319-60535-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
ent://SD_ILS/0/SD_ILS:399566
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
ent://SD_ILS/0/SD_ILS:399576
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335100.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Paraconsistency: Logic and Applications
ent://SD_ILS/0/SD_ILS:335759
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335759.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4438-7">http://dx.doi.org/10.1007/978-94-007-4438-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330925.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Debate Dynamics: How Controversy Improves Our Beliefs
ent://SD_ILS/0/SD_ILS:335787
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Betz, Gregor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335787.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4599-5">http://dx.doi.org/10.1007/978-94-007-4599-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recognizing Variable Environments The Theory of Cognitive Prism
ent://SD_ILS/0/SD_ILS:195532
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Dong, Tiansi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24058-4">http://dx.doi.org/10.1007/978-3-642-24058-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Approaches to Legal Rationality
ent://SD_ILS/0/SD_ILS:205533
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conditionals and Modularity in General Logics
ent://SD_ILS/0/SD_ILS:193923
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge in Formation A Computational Theory of Interpretation
ent://SD_ILS/0/SD_ILS:193503
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17089-8">http://dx.doi.org/10.1007/978-3-642-17089-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Working with Preferences: Less Is More Less Is More
ent://SD_ILS/0/SD_ILS:193554
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Kaci, Souhila. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17280-9">http://dx.doi.org/10.1007/978-3-642-17280-9</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-26T00:51:41Z
2024-11-26T00:51:41Z
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/>
Logical Tools for Handling Change in Agent-Based Systems
ent://SD_ILS/0/SD_ILS:190937
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Natural Deduction, Hybrid Systems and Modal Logics
ent://SD_ILS/0/SD_ILS:205315
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Degrees of Belief
ent://SD_ILS/0/SD_ILS:170468
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9198-8">http://dx.doi.org/10.1007/978-1-4020-9198-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proof Theory for Fuzzy Logics
ent://SD_ILS/0/SD_ILS:170527
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities
ent://SD_ILS/0/SD_ILS:188988
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
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-88083-7">http://dx.doi.org/10.1007/978-3-540-88083-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes
ent://SD_ILS/0/SD_ILS:188989
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
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-88085-1">http://dx.doi.org/10.1007/978-3-540-88085-1</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-26T00:51:41Z
2024-11-26T00:51:41Z
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/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
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/>
Dynamic Epistemic Logic
ent://SD_ILS/0/SD_ILS:152432
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5839-4">http://dx.doi.org/10.1007/978-1-4020-5839-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Philosophical Logic
ent://SD_ILS/0/SD_ILS:152492
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6324-4">http://dx.doi.org/10.1007/978-1-4020-6324-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rigid Flexibility The Logic of Intelligence
ent://SD_ILS/0/SD_ILS:169355
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Wang, Pei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5045-3">http://dx.doi.org/10.1007/1-4020-5045-3</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-26T00:51:41Z
2024-11-26T00:51:41Z
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/>
Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation
ent://SD_ILS/0/SD_ILS:152329
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Hitchcock, David. Verheij, Bart. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-4938-5">http://dx.doi.org/10.1007/978-1-4020-4938-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty, Rationality, and Agency
ent://SD_ILS/0/SD_ILS:169236
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Hoek, Wiebe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4631-6">http://dx.doi.org/10.1007/1-4020-4631-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Dynamics of Thought
ent://SD_ILS/0/SD_ILS:152137
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Gärdenfors, Peter. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3399-0">http://dx.doi.org/10.1007/1-4020-3399-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information, Interaction and Agency
ent://SD_ILS/0/SD_ILS:152227
2024-11-26T00:51:41Z
2024-11-26T00:51:41Z
Yazar Hoek, Wiebe. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4094-6">http://dx.doi.org/10.1007/1-4020-4094-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>