Search Results for Reasoning. - Narrowed by: Electronic Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dReasoning.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-28T15:18:36Z
Commonsense reasoning
ent://SD_ILS/0/SD_ILS:253776
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Mueller, Erik T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonmonotonic reasoning
ent://SD_ILS/0/SD_ILS:219861
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Antoniou, G. (Grigoris) Williams, M. A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning about knowledge
ent://SD_ILS/0/SD_ILS:219980
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Fagin, Ronald.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint-based reasoning
ent://SD_ILS/0/SD_ILS:220198
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Freuder, Eugene C. Mackworth, Alan K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Diagrammatic reasoning in AI
ent://SD_ILS/0/SD_ILS:297644
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Nakatsu, Robbie, 1964-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=469746">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=469746</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470400777">http://dx.doi.org/10.1002/9780470400777</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=245548&ref=toc">http://www.myilibrary.com?id=245548&ref=toc</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10355297">http://site.ebrary.com/lib/alltitles/Doc?id=10355297</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods of legal reasoning
ent://SD_ILS/0/SD_ILS:152330
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4939-0">http://dx.doi.org/10.1007/1-4020-4939-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Reasoning with Diagrams
ent://SD_ILS/0/SD_ILS:332637
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332637.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning about Preference Dynamics
ent://SD_ILS/0/SD_ILS:206040
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Liu, Fenrong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1344-4">http://dx.doi.org/10.1007/978-94-007-1344-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constitutionalism and Legal Reasoning
ent://SD_ILS/0/SD_ILS:152405
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Torre, Massimo La. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5595-9">http://dx.doi.org/10.1007/978-1-4020-5595-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Approximate Reasoning
ent://SD_ILS/0/SD_ILS:169568
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hüllermeier, Eyke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge representation and reasoning
ent://SD_ILS/0/SD_ILS:253700
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Brachman, Ronald J., 1949- Levesque, Hector J., 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558609327">http://www.sciencedirect.com/science/book/9781558609327</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Nature of Reasoning
ent://SD_ILS/0/SD_ILS:235764
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Leighton, Jacqueline P.. Sternberg, Robert J..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511818714">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robots, Reasoning, and Reification
ent://SD_ILS/0/SD_ILS:167813
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
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/>
Handbook of automated reasoning
ent://SD_ILS/0/SD_ILS:253802
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Robinson, J. A. (John Alan) Voronkov, Andrei, 1959-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444508133">http://www.sciencedirect.com/science/book/9780444508133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning about rational agents
ent://SD_ILS/0/SD_ILS:219964
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Wooldridge, Michael J., 1966-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267359">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267359</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Legal method, skills and reasoning
ent://SD_ILS/0/SD_ILS:266855
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hanson, Sharon, LLB. Hanson, Sharon, LLB. Legal method & reasoning.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203876749">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Preferred Shelf Number XX(520609.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39179-8">https://doi.org/10.1007/978-3-031-39179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Parallel Constraint Reasoning
ent://SD_ILS/0/SD_ILS:400510
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Linked Data Storing, Querying, and Reasoning
ent://SD_ILS/0/SD_ILS:401935
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Successful Case-based Reasoning Applications-2
ent://SD_ILS/0/SD_ILS:488305
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Case-based reasoning a concise introduction
ent://SD_ILS/0/SD_ILS:281379
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author López, Beatriz.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578513">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578513</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning A Textbook
ent://SD_ILS/0/SD_ILS:334902
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334902.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Emotions, imagination, and moral reasoning
ent://SD_ILS/0/SD_ILS:260069
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Langdon, Robyn. Mackenzie, Catriona.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203803134">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decentralized Reasoning in Ambient Intelligence
ent://SD_ILS/0/SD_ILS:173543
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning in Event-Based Distributed Systems
ent://SD_ILS/0/SD_ILS:194135
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Helmer, Sven. editor. Poulovassilis, Alexandra. editor. Xhafa, Fatos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental uncertainty rationality and plausible reasoning
ent://SD_ILS/0/SD_ILS:278755
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Marzetti Dall'Aste Brandolini, Silva. Scazzieri, Roberto. Palgrave Connect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=376458">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=376458</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Reasoning under Uncertainty
ent://SD_ILS/0/SD_ILS:191458
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bouchon-Meunier, Bernadette. editor. Magdalena, Luis. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José-Luis. editor. Yager, Ronald R. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Successful Case-based Reasoning Applications - I
ent://SD_ILS/0/SD_ILS:192543
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
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/>
Modelling and Reasoning with Vague Concepts
ent://SD_ILS/0/SD_ILS:165711
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Lawry, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy expert systems and fuzzy reasoning
ent://SD_ILS/0/SD_ILS:301644
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Siler, William. Buckley, James J., 1936-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={132CAECB-B836-49EA-AE5A-8E6AC4BA0AE8}&Format=50">Click for information</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471698504">http://dx.doi.org/10.1002/0471698504</a>
ebrary <a href="http://site.ebrary.com/id/10114104">http://site.ebrary.com/id/10114104</a>
HathiTrust Digital Library Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/55146362.html">http://catalog.hathitrust.org/api/volumes/oclc/55146362.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of soft case-based reasoning
ent://SD_ILS/0/SD_ILS:301578
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Pal, Sankar K. Shiu, Simon C. K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/0471644676">http://dx.doi.org/10.1002/0471644676</a>
HathiTrust Digital Library, Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/53138696.html">http://catalog.hathitrust.org/api/volumes/oclc/53138696.html</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=36798&ref=toc">http://www.myilibrary.com?id=36798&ref=toc</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clinical reasoning for manual therapists
ent://SD_ILS/0/SD_ILS:257634
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Jones, Mark A. Rivett, Darren A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750639064">http://www.sciencedirect.com/science/book/9780750639064</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Qualitative methods for reasoning under uncertainty
ent://SD_ILS/0/SD_ILS:219946
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Parsons, Simon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Causality : models, reasoning, and inference
ent://SD_ILS/0/SD_ILS:506350
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Pearl, Judea, author.<br/>Preferred Shelf Number BD541 .P43 2000<br/>Electronic Access <a href="https://doi.org/10.1017/CBO9780511803161">https://doi.org/10.1017/CBO9780511803161</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Legal reasoning and legal theory
ent://SD_ILS/0/SD_ILS:234603
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author MacCormick, Neil.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Qualitative reasoning about physical systems
ent://SD_ILS/0/SD_ILS:258112
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bobrow, Daniel G. (Daniel Gureasko), 1935-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876706">http://www.sciencedirect.com/science/book/9780444876706</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning for Systems Biology and Medicine
ent://SD_ILS/0/SD_ILS:483246
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Workflow Modeling Assistance by Case-based Reasoning
ent://SD_ILS/0/SD_ILS:399633
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Müller, Gilbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning : the neuroscience of how we think
ent://SD_ILS/0/SD_ILS:459900
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Krawczyk, Daniel, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128092859">https://www.sciencedirect.com/science/book/9780128092859</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Commonsense reasoning an event calculus-based approach
ent://SD_ILS/0/SD_ILS:355437
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Mueller, Erik T., author.<br/>Preferred Shelf Number ONLINE(355437.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128014165">http://www.sciencedirect.com/science/book/9780128014165</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Approaches to Analogical Reasoning: Current Trends
ent://SD_ILS/0/SD_ILS:487950
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332107.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Domain-Level Reasoning for Spoken Dialogue Systems
ent://SD_ILS/0/SD_ILS:173291
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9728-9">http://dx.doi.org/10.1007/978-1-4419-9728-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical reasoning patterns, problems, conjectures, and proofs
ent://SD_ILS/0/SD_ILS:265616
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Nickerson, Raymond S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teaching Mathematical Reasoning in Secondary School Classrooms
ent://SD_ILS/0/SD_ILS:164775
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Brodie, Karin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09742-8">http://dx.doi.org/10.1007/978-0-387-09742-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Practical Logic and Automated Reasoning
ent://SD_ILS/0/SD_ILS:237206
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Harrison, John.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning on Images and Signals
ent://SD_ILS/0/SD_ILS:186766
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Satisfaction Techniques for Agent-Based Reasoning
ent://SD_ILS/0/SD_ILS:197849
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Neagu, Nicoleta. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137139">http://dx.doi.org/10.1007/b137139</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of temporal reasoning in artificial intelligence
ent://SD_ILS/0/SD_ILS:253803
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444514936">http://www.sciencedirect.com/science/book/9780444514936</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rippling: Meta-Level Guidance for Mathematical Reasoning
ent://SD_ILS/0/SD_ILS:238201
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511543326">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visualization, Explanation and Reasoning Styles in Mathematics
ent://SD_ILS/0/SD_ILS:168874
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transfer of learning cognition, instruction, and reasoning
ent://SD_ILS/0/SD_ILS:258259
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Haskell, Robert E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123305954">http://www.sciencedirect.com/science/book/9780123305954</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mental models in discourse processing and reasoning
ent://SD_ILS/0/SD_ILS:258277
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Rickheit, Gert. Habel, Christopher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444502742">http://www.sciencedirect.com/science/book/9780444502742</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence, mind, and reasoning structure and development
ent://SD_ILS/0/SD_ILS:258358
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Demetriou, Andreas. Efklides, Anastasia.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444897145">http://www.sciencedirect.com/science/book/9780444897145</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The hands-on guide to clinical reasoning in medicine
ent://SD_ILS/0/SD_ILS:424554
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Irfan, Mujammil, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1002/9781119578055">Wiley Online Library</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic projection for image information retrieval and spatial reasoning
ent://SD_ILS/0/SD_ILS:254812
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Chang, S. K. (Shi Kuo), 1944- Jungert, Erland.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121680305">http://www.sciencedirect.com/science/book/9780121680305</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521139
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:521291
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bertossi, Leopoldo. editor. Xiao, Guohui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521291.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31414-8">https://doi.org/10.1007/978-3-031-31414-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses
ent://SD_ILS/0/SD_ILS:521939
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Dobber, Jos. author. Harmsen, José. author. van Iersel, Margriet. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521939.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27069-7">https://doi.org/10.1007/978-3-031-27069-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521060
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Massie, Stewart. editor. Chakraborti, Sutanu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521060.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40177-0">https://doi.org/10.1007/978-3-031-40177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521072
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521072.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40960-8">https://doi.org/10.1007/978-3-031-40960-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Farmer, William M. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520259.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521244
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521244.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense Control- and Game-Theoretic Approaches to Cyber Security
ent://SD_ILS/0/SD_ILS:483947
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Cybenko, George. editor. Liu, Peng. editor. Wang, Cliff. editor. Wellman, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30719-6">https://doi.org/10.1007/978-3-030-30719-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bach, Kerstin. editor. (orcid)0000-0002-4256-7676 Marling, Cindy. editor. (orcid)0000-0002-4155-5155 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
ent://SD_ILS/0/SD_ILS:486057
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational models for biomedical reasoning and problem solving
ent://SD_ILS/0/SD_ILS:482002
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Chen, Chung-Hao, 1974- editor. Cheung, Sen-Ching Samson, 1969- editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Cyber Deception Reasoning, Adaptive Planning, and Evaluation of HoneyThings
ent://SD_ILS/0/SD_ILS:482942
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Al-Shaer, Ehab. editor. Wei, Jinpeng. editor. (orcid)0000-0002-6982-7386 Hamlen, Kevin W. editor. Wang, Cliff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
ent://SD_ILS/0/SD_ILS:401923
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Akama, Seiki. author. Murai, Tetsuya. author. Kudo, Yasuo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Logical investigative methods : critical thinking and reasoning for successful investigations
ent://SD_ILS/0/SD_ILS:356395
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Girod, Robert J., author.<br/>Preferred Shelf Number ONLINE(356395.1)<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781482243147">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518774
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hüllermeier, Eyke. editor. Minor, Mirjam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518774.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24586-7">https://doi.org/10.1007/978-3-319-24586-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519157
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519157.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22002-4">https://doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Strategic Reasoning Logics, Games, and Communities
ent://SD_ILS/0/SD_ILS:519080
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519080.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519103
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519103.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519113
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519113.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20807-7">https://doi.org/10.1007/978-3-319-20807-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
ent://SD_ILS/0/SD_ILS:518822
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518822.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518971
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author De Nivelle, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518971.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24312-2">https://doi.org/10.1007/978-3-319-24312-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518979
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. Stapleton, Gem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518979.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28702-7">https://doi.org/10.1007/978-3-319-28702-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519293.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning and Public Health: New Ways of Coping with Uncertainty
ent://SD_ILS/0/SD_ILS:519555
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cummings, Louise. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519555.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15013-0">https://doi.org/10.1007/978-3-319-15013-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Limits of Legal Reasoning and the European Court of Justice
ent://SD_ILS/0/SD_ILS:238927
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Conway, Gerard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511735929">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
ent://SD_ILS/0/SD_ILS:488488
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Addis, Tom. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489078
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11113-1">https://doi.org/10.1007/978-3-319-11113-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hernandez, Nathalie. editor. Jäschke, Robert. editor. Croitoru, Madalina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Lamontagne, Luc. editor. Plaza, Enric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences
ent://SD_ILS/0/SD_ILS:290918
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Jenicek, Milos, 1935-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466515598">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334832.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Modeling and Reasoning of Human-Centered Freeform Products
ent://SD_ILS/0/SD_ILS:330961
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Wang, Charlie C. L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330961.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4360-4">http://dx.doi.org/10.1007/978-1-4471-4360-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334848.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.<br/>Preferred Shelf Number ONLINE(334092.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334719.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Gaag, Linda C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334728.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of autonomy law, morality and autonomous reasoning
ent://SD_ILS/0/SD_ILS:281259
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Sieckmann, Jan-Reinard, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thinking and reasoning an introduction to the psychology of reason, judgment and decision making
ent://SD_ILS/0/SD_ILS:259704
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Manktelow, K. I., 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203115466">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms
ent://SD_ILS/0/SD_ILS:195717
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kountchev, Roumen. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197336
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33203-6">http://dx.doi.org/10.1007/978-3-642-33203-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The reasoning criminologist essays in honour of Ronald V. Clarke
ent://SD_ILS/0/SD_ILS:259007
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Clarke, R. V. G. Tilley, Nick. Farrell, Graham.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203154403">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
More! teaching fractions and ratios for understanding : in-depth discussion and reasoning activities
ent://SD_ILS/0/SD_ILS:261145
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Lamon, Susan J., 1949- Lamon, Susan J., 1949- More.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203803196">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application of nursing process and nursing diagnosis an interactive text for diagnostic reasoning
ent://SD_ILS/0/SD_ILS:279506
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Doenges, Marilynn E., 1922- Moorhouse, Mary Frances, 1947-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=529107">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=529107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value
ent://SD_ILS/0/SD_ILS:206573
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Maier, Donald S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-3991-8">http://dx.doi.org/10.1007/978-94-007-3991-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The reputational premium : a theory of party identification and policy reasoning
ent://SD_ILS/0/SD_ILS:376471
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Sniderman, Paul M., author. Stiglitz, Edward H., 1980- author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7s54x">http://www.jstor.org/stable/10.2307/j.ctt7s54x</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Approximate Reasoning by Parts An Introduction to Rough Mereology
ent://SD_ILS/0/SD_ILS:194973
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Polkowski, Lech. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195384
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23580-1">http://dx.doi.org/10.1007/978-3-642-23580-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generic Inference a Unifying Theory for Automated Reasoning
ent://SD_ILS/0/SD_ILS:298843
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118010877">An electronic book accessible through the World Wide Web; click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9781118010860">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10469758">http://site.ebrary.com/lib/alltitles/Doc?id=10469758</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9781118010860">http://proquest.tech.safaribooksonline.de/9781118010860</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Liu, Weiru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hartanto, Ronny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
ent://SD_ILS/0/SD_ILS:205893
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0615-6">http://dx.doi.org/10.1007/978-94-007-0615-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
ent://SD_ILS/0/SD_ILS:207018
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning from Race feminism, law, and the civil rights revolution
ent://SD_ILS/0/SD_ILS:230506
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Mayeri, Serena.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.4159/harvard.9780674061101">http://dx.doi.org/10.4159/harvard.9780674061101</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arguing global governance agency, lifeworld, and shared reasoning
ent://SD_ILS/0/SD_ILS:262653
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bjola, Corneliu. Kornprobst, Markus.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203842577">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens
ent://SD_ILS/0/SD_ILS:200492
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Beißel, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-6232-4">http://dx.doi.org/10.1007/978-3-8349-6232-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193176
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
By parallel reasoning the construction and evaluation of analogical arguments
ent://SD_ILS/0/SD_ILS:232992
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bartha, Paul F. A., 1964-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195325539.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195325539.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Use of representations in reasoning and problem solving analysis and improvement
ent://SD_ILS/0/SD_ILS:262773
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Verschaffel, Lieven, 1957-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203847824">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networks, crowds, and markets reasoning about a highly connected world
ent://SD_ILS/0/SD_ILS:278039
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Easley, David. Kleinberg, Jon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324125">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324125</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
ent://SD_ILS/0/SD_ILS:192546
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cao, Tru Hoang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty
ent://SD_ILS/0/SD_ILS:205508
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cummings, Louise. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9504-6">http://dx.doi.org/10.1007/978-90-481-9504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots
ent://SD_ILS/0/SD_ILS:191341
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Wallgrün, Jan Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
ent://SD_ILS/0/SD_ILS:192900
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193127
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15918-3">http://dx.doi.org/10.1007/978-3-642-15918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
ent://SD_ILS/0/SD_ILS:168080
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-98132-1">http://dx.doi.org/10.1007/978-0-387-98132-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Computational Intelligence Volume 2 Approximate Reasoning
ent://SD_ILS/0/SD_ILS:190029
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hassanien, Aboul-Ella. editor. Abraham, Ajith. editor. Herrera, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Defending Copernicus and Galileo Critical Reasoning in the Two Affairs
ent://SD_ILS/0/SD_ILS:205007
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Finocchiaro, Maurice A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3201-0">http://dx.doi.org/10.1007/978-90-481-3201-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
College organization and professional development integrating moral reasoning and reflective practice
ent://SD_ILS/0/SD_ILS:266966
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author St. John, Edward P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203881668">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abductive Cognition The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
ent://SD_ILS/0/SD_ILS:190685
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Magnani, Lorenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190634
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03459-6">http://dx.doi.org/10.1007/978-3-642-03459-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:191152
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05082-4">http://dx.doi.org/10.1007/978-3-642-05082-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:190727
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Dompere, Kofi Kissi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics by experiment plausible reasoning in the 21st century
ent://SD_ILS/0/SD_ILS:287065
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Borwein, Jonathan M. Bailey, David H.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865361">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Balanced Scorecard und Ursache-Wirkungsbeziehungen Kausale Modellierung und Simulation mithilfe von Methoden des Qualitative Reasoning
ent://SD_ILS/0/SD_ILS:201293
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hügens, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8349-8171-4">http://dx.doi.org/10.1007/978-3-8349-8171-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:188747
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189114
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88737-9">http://dx.doi.org/10.1007/978-3-540-88737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach
ent://SD_ILS/0/SD_ILS:185687
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Wolter, Diedrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems
ent://SD_ILS/0/SD_ILS:188307
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bessière, Pierre. editor. Laugier, Christian. editor. Siegwart, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-12-28T15:18:36Z
2024-12-28T15:18:36Z
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/>
Developing Students’ Statistical Reasoning Connecting Research and Teaching Practice
ent://SD_ILS/0/SD_ILS:170144
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Garfield, Joan B. author. Ben-Zvi, Dani. author. Chance, Beth. author. Medina, Elsa. author. Roseth, Cary. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8383-9">http://dx.doi.org/10.1007/978-1-4020-8383-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bayesian rationality the probabilistic approach to human reasoning
ent://SD_ILS/0/SD_ILS:231474
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Oaksford, M. (Mike) Chater, Nick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780198524496.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780198524496.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Judicial Reasoning under the UK Human Rights Act
ent://SD_ILS/0/SD_ILS:234940
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Fenwick, Helen. Phillipson, Gavin . Masterman, Roger.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511493775">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adversarial reasoning computational approaches to reading the opponent's mind
ent://SD_ILS/0/SD_ILS:288385
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kott, Alexander W. McEneaney, William M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420011012">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of hand therapy clinical reasoning and treatment guidelines for common diagnoses of the upper extremity
ent://SD_ILS/0/SD_ILS:145878
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Cooper, Cynthia, CHT.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780323033862">http://www.sciencedirect.com/science/book/9780323033862</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Olivetti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Mellouli, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Reasoning in Science, Technology, and Medicine
ent://SD_ILS/0/SD_ILS:186423
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kacprzyk, Janusz. editor. Magnani, Lorenzo. editor. Li, Ping. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning in Biological Discoveries Essays on Mechanisms, Interfield Relations, and Anomaly Resolution
ent://SD_ILS/0/SD_ILS:237046
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Darden, Lindley.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498442">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11853107">http://dx.doi.org/10.1007/11853107</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
ent://SD_ILS/0/SD_ILS:152207
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author ALISEDA, ATOCHA. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Consistent Preferences Approach to Deductive Reasoning in Games
ent://SD_ILS/0/SD_ILS:165247
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Asheim, Geir B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-26237-6">http://dx.doi.org/10.1007/978-0-387-26237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805816">http://dx.doi.org/10.1007/11805816</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:184679
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11837787">http://dx.doi.org/10.1007/11837787</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11829263">http://dx.doi.org/10.1007/11829263</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical Reasoning in Medicine The Intuitive P-Value Primer
ent://SD_ILS/0/SD_ILS:166329
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Moyé, Lemuel A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-46212-7">http://dx.doi.org/10.1007/978-0-387-46212-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beyond reasonable doubt reasoning processes in obsessive-compulsive disorder and related disorders
ent://SD_ILS/0/SD_ILS:295809
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author O'Connor, Kieron Philip. Aardema, Frederick. Pélissier, Marie-Claude.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470030271">An electronic book accessible through the World Wide Web; click for information</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470030271">http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470030271</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0616/2004011339-b.html">http://catdir.loc.gov/catdir/enhancements/fy0616/2004011339-b.html</a>
HathiTrust Digital Library Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/55475112.html">http://catalog.hathitrust.org/api/volumes/oclc/55475112.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rhetoric and the rule of law a theory of legal reasoning
ent://SD_ILS/0/SD_ILS:233235
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author MacCormick, Neil.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199571246.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199571246.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interdisciplinary Public Health Reasoning and Epidemic Modelling: The Case of Black Death
ent://SD_ILS/0/SD_ILS:181669
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Christakos, George. author. Olea, Ricardo A. author. Serre, Marc L. author. Yu, Hwa-Lung. author. Wang, Lin-Lin. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28165-7">http://dx.doi.org/10.1007/3-540-28165-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Judicial Process Realism, Pragmatism, Practical Reasoning and Principles
ent://SD_ILS/0/SD_ILS:235425
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Thomas, E. W..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511493768">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Robots The Art and Science of Programming Robotic Agents
ent://SD_ILS/0/SD_ILS:152109
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Thielscher, Michael. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Challenge of Developing Statistical Literacy, Reasoning and Thinking
ent://SD_ILS/0/SD_ILS:168685
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Ben-Zvi, Dani. editor. Garfield, Joan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2278-6">http://dx.doi.org/10.1007/1-4020-2278-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138799">http://dx.doi.org/10.1007/b138799</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106616">http://dx.doi.org/10.1007/b106616</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Beckert, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11546207">http://dx.doi.org/10.1007/11546207</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11536406">http://dx.doi.org/10.1007/11536406</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Godo, Lluís. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138862">http://dx.doi.org/10.1007/b138862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Law in a Market Context An Introduction to Market Concepts in Legal Reasoning
ent://SD_ILS/0/SD_ILS:238293
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Malloy, Robin Paul.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511599415">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thinking psychological perspectives on reasoning, judgment, and decision making
ent://SD_ILS/0/SD_ILS:295671
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hardman, David. Macchi, Laura, 1961- John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/047001332X">http://dx.doi.org/10.1002/047001332X</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley047/2003003951.html">http://catdir.loc.gov/catdir/bios/wiley047/2003003951.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dimensions of Private Law Categories and Concepts in Anglo-American Legal Reasoning
ent://SD_ILS/0/SD_ILS:235456
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Waddams, Stephen.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511495564">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing the Horizons of the Mind Relational and Contextual Reasoning and the Resolution of Cognitive Conflict
ent://SD_ILS/0/SD_ILS:235387
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Reich, K. Helmut.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511489983">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Reasoning in a Social World How We Act Together
ent://SD_ILS/0/SD_ILS:235889
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Graham, Keith.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487408">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clinical epidemiology & evidence-based medicine fundamental principles of clinical reasoning & research
ent://SD_ILS/0/SD_ILS:367878
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Katz, David L., 1963-<br/>Preferred Shelf Number ONLINE(367878.1)<br/>Electronic Access SAGE knowledge <a href="http://sk.sagepub.com/books/clinical-epidemiology-and-evidence-based-medicine">http://sk.sagepub.com/books/clinical-epidemiology-and-evidence-based-medicine</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic programming and non-monotonic reasoning proceedings of the second international workshop
ent://SD_ILS/0/SD_ILS:220274
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Pereira, Luís Moniz. Nerode, Anil, 1932-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning about actions and plans proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon
ent://SD_ILS/0/SD_ILS:254904
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Georgeff, Michael P., 1946- Lansky, Amy L., 1955- American Association for Artificial Intelligence. Center for the Study of Language and Information (U.S.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780934613309">http://www.sciencedirect.com/science/book/9780934613309</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coherent systems
ent://SD_ILS/0/SD_ILS:256520
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Schlechta, Karl.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517890">http://www.sciencedirect.com/science/book/9780444517890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creating consilience integrating the sciences and the humanities
ent://SD_ILS/0/SD_ILS:234636
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Slingerland, Edward G. (Edward Gilman) Collard, Mark.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199794393.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199794393.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of modal logic
ent://SD_ILS/0/SD_ILS:148544
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.sciencedirect.com/science/publication?issn=15702464&volume=3">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516909">http://www.sciencedirect.com/science/book/9780444516909</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of the logic of argument and inference the turn towards the practical
ent://SD_ILS/0/SD_ILS:256606
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Gabbay, Dov M., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506504">http://www.sciencedirect.com/science/book/9780444506504</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-12-28T15:18:36Z
2024-12-28T15:18:36Z
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/>
Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520424
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Maglogiannis, Ilias. editor. (orcid) Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520424.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34107-6">https://doi.org/10.1007/978-3-031-34107-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520425
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520425.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34111-3">https://doi.org/10.1007/978-3-031-34111-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520663
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.<br/>Preferred Shelf Number XX(520663.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26886-1">https://doi.org/10.1007/978-3-031-26886-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Dynamic Data Driven Applications Systems Volume 2
ent://SD_ILS/0/SD_ILS:520614
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520614.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27986-7">https://doi.org/10.1007/978-3-031-27986-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520756
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520756.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25088-0">https://doi.org/10.1007/978-3-031-25088-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520784
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Preferred Shelf Number XX(520784.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520788
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520788.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520796
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520796.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19907-3">https://doi.org/10.1007/978-3-031-19907-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521136
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Liu, Feng. editor. Zhang, Yu. editor. Kuai, Hongzhi. editor. Stephen, Emily P. editor. Wang, Hongjun. editor.<br/>Preferred Shelf Number XX(521136.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43075-6">https://doi.org/10.1007/978-3-031-43075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521137
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.<br/>Preferred Shelf Number XX(521137.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40953-0">https://doi.org/10.1007/978-3-031-40953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2023: Advances in Artificial Intelligence 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521154
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Seipel, Dietmar. editor. Steen, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521154.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42608-7">https://doi.org/10.1007/978-3-031-42608-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:521166
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521166.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44204-9">https://doi.org/10.1007/978-3-031-44204-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521168
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521168.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44210-0">https://doi.org/10.1007/978-3-031-44210-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521363
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.<br/>Preferred Shelf Number XX(521363.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49008-8">https://doi.org/10.1007/978-3-031-49008-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teaching Professional Attitudes and Basic Clinical Skills to Medical Students A Practical Guide
ent://SD_ILS/0/SD_ILS:521639
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Benbassat, Jochanan. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521639.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26542-6">https://doi.org/10.1007/978-3-031-26542-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521379
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Preferred Shelf Number XX(521379.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520239
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Gupta, Deep. editor. Bhurchandi, Kishor. editor. Murala, Subrahmanyam. editor. Raman, Balasubramanian. editor. Kumar, Sanjeev. editor.<br/>Preferred Shelf Number XX(520239.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31417-9">https://doi.org/10.1007/978-3-031-31417-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Healthcare Industry
ent://SD_ILS/0/SD_ILS:520479
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Talukdar, Jyotismita. author. Singh, Thipendra P. author. Barman, Basanta. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520479.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3157-6">https://doi.org/10.1007/978-981-99-3157-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers
ent://SD_ILS/0/SD_ILS:520482
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520482.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37189-9">https://doi.org/10.1007/978-3-031-37189-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman
ent://SD_ILS/0/SD_ILS:520483
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Jonoska, Nataša. editor. Winfree, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520483.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9891-1">https://doi.org/10.1007/978-981-19-9891-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520668
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.<br/>Preferred Shelf Number XX(520668.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29126-5">https://doi.org/10.1007/978-3-031-29126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520731
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520731.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7869-4">https://doi.org/10.1007/978-981-99-7869-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520703
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Aiello, Marco. editor. Barzen, Johanna. editor. Dustdar, Schahram. editor. Leymann, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520703.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45728-9">https://doi.org/10.1007/978-3-031-45728-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520934
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.<br/>Preferred Shelf Number XX(520934.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30108-7">https://doi.org/10.1007/978-3-031-30108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Knowledge Discovery and Data Mining 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:520947
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520947.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33380-4">https://doi.org/10.1007/978-3-031-33380-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521061
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.<br/>Preferred Shelf Number XX(521061.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40286-9">https://doi.org/10.1007/978-3-031-40286-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521251
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.<br/>Preferred Shelf Number XX(521251.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43458-7">https://doi.org/10.1007/978-3-031-43458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521271
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.<br/>Preferred Shelf Number XX(521271.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47262-6">https://doi.org/10.1007/978-3-031-47262-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521177
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521177.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43619-2">https://doi.org/10.1007/978-3-031-43619-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:521287
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)<br/>Preferred Shelf Number XX(521287.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28241-6">https://doi.org/10.1007/978-3-031-28241-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521296
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521296.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33469-6">https://doi.org/10.1007/978-3-031-33469-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521340
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521340.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47963-2">https://doi.org/10.1007/978-3-031-47963-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521346
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521346.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48539-8">https://doi.org/10.1007/978-3-031-48539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521353
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.<br/>Preferred Shelf Number XX(521353.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47969-4">https://doi.org/10.1007/978-3-031-47969-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521192
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521192.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521194
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521194.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43153-1">https://doi.org/10.1007/978-3-031-43153-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database Systems for Advanced Applications. DASFAA 2023 International Workshops BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521196
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author El Abbadi, Amr. editor. Dobbie, Gillian. editor. Feng, Zhiyong. editor. Chen, Lu. editor. Tao, Xiaohui. editor.<br/>Preferred Shelf Number XX(521196.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35415-1">https://doi.org/10.1007/978-3-031-35415-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521222
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521222.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44693-1">https://doi.org/10.1007/978-3-031-44693-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521408
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.<br/>Preferred Shelf Number XX(521408.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46661-8">https://doi.org/10.1007/978-3-031-46661-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:521411
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521411.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52038-9">https://doi.org/10.1007/978-3-031-52038-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520200
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Quan, Wei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520200.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9697-9">https://doi.org/10.1007/978-981-19-9697-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520281
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Longo, Luca. editor. (orcid) O'Reilly, Ruairi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520281.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26438-2">https://doi.org/10.1007/978-3-031-26438-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China
ent://SD_ILS/0/SD_ILS:520310
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liu, Xin. editor. Na, Zhenyu. editor.<br/>Preferred Shelf Number XX(520310.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-1256-8">https://doi.org/10.1007/978-981-99-1256-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520739
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Pillay, Anban. editor. Jembere, Edgar. editor. J. Gerber, Aurona. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520739.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49002-6">https://doi.org/10.1007/978-3-031-49002-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Graph and Semantic Computing: Knowledge Graph Empowers Artificial General Intelligence 8th China Conference, CCKS 2023, Shenyang, China, August 24-27, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520721
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Wang, Haofen. editor. Han, Xianpei. editor. Liu, Ming. editor. Cheng, Gong. editor. Liu, Yongbin. editor.<br/>Preferred Shelf Number XX(520721.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7224-1">https://doi.org/10.1007/978-981-99-7224-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520843
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520843.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:520864
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520864.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520880
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520880.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520889.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520984.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521094
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521094.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36822-6">https://doi.org/10.1007/978-3-031-36822-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520976.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520981
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Preferred Shelf Number XX(520981.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5834-4">https://doi.org/10.1007/978-981-99-5834-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521001
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.<br/>Preferred Shelf Number XX(521001.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36402-0">https://doi.org/10.1007/978-3-031-36402-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521104
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521104.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35969-9">https://doi.org/10.1007/978-3-031-35969-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521105
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521105.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36049-7">https://doi.org/10.1007/978-3-031-36049-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image and Graphics 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:521269
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Lu, Huchuan. editor. Ouyang, Wanli. editor. Huang, Hui. editor. Lu, Jiwen. editor. Liu, Risheng. editor.<br/>Preferred Shelf Number XX(521269.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46314-3">https://doi.org/10.1007/978-3-031-46314-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521004.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:521303
2024-12-28T15:18:36Z
2024-12-28T15:18:36Z
Author Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.<br/>Preferred Shelf Number XX(521303.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40292-0">https://doi.org/10.1007/978-3-031-40292-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>