Search Results for Computer science - Narrowed by: Logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026ps$003d300?
2024-10-31T19:28:06Z
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330925.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
ent://SD_ILS/0/SD_ILS:399576
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Paraconsistency: Logic and Applications
ent://SD_ILS/0/SD_ILS:335759
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335759.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335100.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ent://SD_ILS/0/SD_ILS:335941
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335941.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
ent://SD_ILS/0/SD_ILS:336157
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Cellucci, Carlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Argument of Mathematics
ent://SD_ILS/0/SD_ILS:336263
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336263.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:207043
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-59-6">http://dx.doi.org/10.2991/978-94-91216-59-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Truth and Falsehood An Inquiry into Generalized Logical Values
ent://SD_ILS/0/SD_ILS:205958
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0907-2">http://dx.doi.org/10.1007/978-94-007-0907-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kreativität und Form Programm eines Glasperlenspiels zum Experimentieren mit Wissen
ent://SD_ILS/0/SD_ILS:196221
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Zimmermann, Rainer E. author. Wiedemann, Simon M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27521-0">http://dx.doi.org/10.1007/978-3-642-27521-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic : the laws of truth
ent://SD_ILS/0/SD_ILS:376248
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conditionals and Modularity in General Logics
ent://SD_ILS/0/SD_ILS:193923
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge in Formation A Computational Theory of Interpretation
ent://SD_ILS/0/SD_ILS:193503
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Working with Preferences: Less Is More Less Is More
ent://SD_ILS/0/SD_ILS:193554
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Kaci, Souhila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Logic and its Proof-Theory
ent://SD_ILS/0/SD_ILS:205716
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dual Tableaux: Foundations, Methodology, Case Studies
ent://SD_ILS/0/SD_ILS:205717
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilistic Logics and Probabilistic Networks
ent://SD_ILS/0/SD_ILS:205718
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0008-6">http://dx.doi.org/10.1007/978-94-007-0008-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Formal Epistemology
ent://SD_ILS/0/SD_ILS:205739
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0074-1">http://dx.doi.org/10.1007/978-94-007-0074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proof, Computation and Agency Logic at the Crossroads
ent://SD_ILS/0/SD_ILS:205741
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interpreted Languages and Compositionality
ent://SD_ILS/0/SD_ILS:206265
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Kracht, Marcus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2108-1">http://dx.doi.org/10.1007/978-94-007-2108-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Tools for Handling Change in Agent-Based Systems
ent://SD_ILS/0/SD_ILS:190937
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Deduction, Hybrid Systems and Modal Logics
ent://SD_ILS/0/SD_ILS:205315
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Games: Unifying Logic, Language, and Philosophy
ent://SD_ILS/0/SD_ILS:170517
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Degrees of Belief
ent://SD_ILS/0/SD_ILS:170468
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
ent://SD_ILS/0/SD_ILS:170236
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8590-1">http://dx.doi.org/10.1007/978-1-4020-8590-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Knowledge A Constructive Type-theoretical Approach
ent://SD_ILS/0/SD_ILS:169711
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Primiero, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6170-7">http://dx.doi.org/10.1007/978-1-4020-6170-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
ent://SD_ILS/0/SD_ILS:169939
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Institution-independent Model Theory
ent://SD_ILS/0/SD_ILS:198125
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Diaconescu, Răzvan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Epistemic Logic
ent://SD_ILS/0/SD_ILS:152432
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Zermelo An Approach to His Life and Work
ent://SD_ILS/0/SD_ILS:185226
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence
ent://SD_ILS/0/SD_ILS:185553
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Goertzel, Ben. editor. Pennachin, Cassio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Ontology and Conceptual Realism
ent://SD_ILS/0/SD_ILS:152480
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Cocchiarella, Nino B. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6204-9">http://dx.doi.org/10.1007/978-1-4020-6204-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic
ent://SD_ILS/0/SD_ILS:152492
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty, Rationality, and Agency
ent://SD_ILS/0/SD_ILS:169236
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Hoek, Wiebe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rigid Flexibility The Logic of Intelligence
ent://SD_ILS/0/SD_ILS:169355
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Wang, Pei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A Modern Perspective on Type Theory From its Origins until Today
ent://SD_ILS/0/SD_ILS:168693
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Thought and Action
ent://SD_ILS/0/SD_ILS:152117
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Vanderveken, Daniel. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3167-X">http://dx.doi.org/10.1007/1-4020-3167-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information, Interaction and Agency
ent://SD_ILS/0/SD_ILS:152227
2024-10-31T19:28:06Z
2024-10-31T19:28:06Z
Author Hoek, Wiebe. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>