Search Results for - Narrowed by: Artificial intelligence. - Logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026ps$003d300$0026isd$003dtrue? 2024-09-11T05:30:28Z Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties ent://SD_ILS/0/SD_ILS:399566 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size ent://SD_ILS/0/SD_ILS:399576 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belief Change Introduction and Overview ent://SD_ILS/0/SD_ILS:401219 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Ferm&eacute;, Eduardo. author.&#160;Hansson, Sven Ove. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belief Revision in Non-Classical Logics ent://SD_ILS/0/SD_ILS:330925 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Ribeiro, M&aacute;rcio Moretto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330925.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reactive Kripke Semantics ent://SD_ILS/0/SD_ILS:335100 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335100.1)<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Debate Dynamics: How Controversy Improves Our Beliefs ent://SD_ILS/0/SD_ILS:335787 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Betz, Gregor. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335787.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Paraconsistency: Logic and Applications ent://SD_ILS/0/SD_ILS:335759 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Tanaka, Koji. editor.&#160;Berto, Francesco. editor.&#160;Mares, Edwin. editor.&#160;Paoli, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335759.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recognizing Variable Environments The Theory of Cognitive Prism ent://SD_ILS/0/SD_ILS:195532 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Dong, Tiansi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge in Formation A Computational Theory of Interpretation ent://SD_ILS/0/SD_ILS:193503 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Sarbo, Janos J. author.&#160;Farkas, Jozsef I. author.&#160;Breemen, Auke J.J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Working with Preferences: Less Is More Less Is More ent://SD_ILS/0/SD_ILS:193554 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Kaci, Souhila. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conditionals and Modularity in General Logics ent://SD_ILS/0/SD_ILS:193923 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Approaches to Legal Rationality ent://SD_ILS/0/SD_ILS:205533 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Gabbay, Dov M. editor.&#160;Canivez, Patrice. editor.&#160;Rahman, Shahid. editor.&#160;Thiercelin, Alexandre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Reasoning A Formal Approach ent://SD_ILS/0/SD_ILS:185626 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Gergely, Tam&aacute;s. author.&#160;Anshakov, Oleg M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Tools for Handling Change in Agent-Based Systems ent://SD_ILS/0/SD_ILS:190937 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Deduction, Hybrid Systems and Modal Logics ent://SD_ILS/0/SD_ILS:205315 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Indrzejczak, Andrzej. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Metcalfe, George. author.&#160;Olivetti, Nicola. author.&#160;Gabbay, Dov. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities ent://SD_ILS/0/SD_ILS:188988 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Dompere, Kofi Kissi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes ent://SD_ILS/0/SD_ILS:188989 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Dompere, Kofi Kissi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior ent://SD_ILS/0/SD_ILS:188990 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Dompere, Kofi Kissi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Degrees of Belief ent://SD_ILS/0/SD_ILS:170468 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Huber, Franz. editor.&#160;Schmidt-Petri, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural-Symbolic Cognitive Reasoning ent://SD_ILS/0/SD_ILS:186786 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Epistemic Logic ent://SD_ILS/0/SD_ILS:152432 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Ditmarsch, Hans.&#160;Hoek, Wiebe.&#160;Kooi, Barteld.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Philosophical Logic ent://SD_ILS/0/SD_ILS:152492 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Gabbay, D.M.&#160;Guenthner, F.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence ent://SD_ILS/0/SD_ILS:185553 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Goertzel, Ben. editor.&#160;Pennachin, Cassio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty, Rationality, and Agency ent://SD_ILS/0/SD_ILS:169236 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Hoek, Wiebe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION ent://SD_ILS/0/SD_ILS:152207 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;ALISEDA, ATOCHA.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation ent://SD_ILS/0/SD_ILS:152329 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Hitchcock, David.&#160;Verheij, Bart.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigid Flexibility The Logic of Intelligence ent://SD_ILS/0/SD_ILS:169355 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Wang, Pei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information, Interaction and Agency ent://SD_ILS/0/SD_ILS:152227 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;Hoek, Wiebe.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Dynamics of Thought ent://SD_ILS/0/SD_ILS:152137 2024-09-11T05:30:28Z 2024-09-11T05:30:28Z Author&#160;G&auml;rdenfors, Peter.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>