Limit Search Results
Author
SpringerLink (Online service)
(307)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Croitoru, Madalina. editor.
(5)
Project Muse.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(121)
Computer science.
(94)
Software engineering.
(40)
Information systems.
(34)
Logic design.
(34)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
437 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Commonsense reasoning
Commonsense reasoning
Author 
Mueller, Erik T.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Nonmonotonic reasoning
Nonmonotonic reasoning
Author 
Antoniou, G. (Grigoris) Williams, M. A.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Reasoning about knowledge
Reasoning about knowledge
Author 
Fagin, Ronald.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Constraint-based reasoning
Constraint-based reasoning
Author 
Freuder, Eugene C. Mackworth, Alan K.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Diagrammatic reasoning in AI
Diagrammatic reasoning in AI
Author 
Nakatsu, Robbie, 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=469746
John Wiley http://dx.doi.org/10.1002/9780470400777
MyiLibrary, Table of contents http://www.myilibrary.com?id=245548&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10355297
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Methods of legal reasoning
Methods of legal reasoning
Author 
Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4939-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
Author 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Reasoning about Preference Dynamics
Reasoning about Preference Dynamics
Author 
Liu, Fenrong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1344-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Constitutionalism and Legal Reasoning
Constitutionalism and Legal Reasoning
Author 
Torre, Massimo La. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Case-Based Approximate Reasoning
Case-Based Approximate Reasoning
Author 
Hüllermeier, Eyke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5695-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Knowledge representation and reasoning
Knowledge representation and reasoning
Author 
Brachman, Ronald J., 1949- Levesque, Hector J., 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558609327
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Nature of Reasoning
The Nature of Reasoning
Author 
Leighton, Jacqueline P.. Sternberg, Robert J..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Robots, Reasoning, and Reification
Robots, Reasoning, and Reification
Author 
Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87488-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
Author 
d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Handbook of automated reasoning
Handbook of automated reasoning
Author 
Robinson, J. A. (John Alan) Voronkov, Andrei, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508133
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Reasoning about rational agents
Reasoning about rational agents
Author 
Wooldridge, Michael J., 1966-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267359
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Legal method, skills and reasoning
Legal method, skills and reasoning
Author 
Hanson, Sharon, LLB. Hanson, Sharon, LLB. Legal method & reasoning.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
XX(520609.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Handbook of Parallel Constraint Reasoning
Handbook of Parallel Constraint Reasoning
Author 
Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63516-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Linked Data Storing, Querying, and Reasoning
Linked Data Storing, Querying, and Reasoning
Author 
Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73515-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Successful Case-based Reasoning Applications-2
Successful Case-based Reasoning Applications-2
Author 
Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-38736-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Case-based reasoning a concise introduction
Case-based reasoning a concise introduction
Author 
López, Beatriz.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578513
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Case-Based Reasoning A Textbook
Case-Based Reasoning A Textbook
Author 
Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334902.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Emotions, imagination, and moral reasoning
Emotions, imagination, and moral reasoning
Author 
Langdon, Robyn. Mackenzie, Catriona.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Decentralized Reasoning in Ambient Intelligence
Decentralized Reasoning in Ambient Intelligence
Author 
Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Fundamental uncertainty rationality and plausible reasoning
Fundamental uncertainty rationality and plausible reasoning
Author 
Marzetti Dall'Aste Brandolini, Silva. Scazzieri, Roberto. Palgrave Connect (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=376458
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Reasoning in Event-Based Distributed Systems
Reasoning in Event-Based Distributed Systems
Author 
Helmer, Sven. editor. Poulovassilis, Alexandra. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19724-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Cognitive Reasoning A Formal Approach
Cognitive Reasoning A Formal Approach
Author 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Successful Case-based Reasoning Applications - I
Successful Case-based Reasoning Applications - I
Author 
Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14078-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Foundations of Reasoning under Uncertainty
Foundations of Reasoning under Uncertainty
Author 
Bouchon-Meunier, Bernadette. editor. Magdalena, Luis. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José-Luis. editor. Yager, Ronald R. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10728-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Modelling and Reasoning with Vague Concepts
Modelling and Reasoning with Vague Concepts
Author 
Lawry, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30262-X
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Fuzzy expert systems and fuzzy reasoning
Fuzzy expert systems and fuzzy reasoning
Author 
Siler, William. Buckley, James J., 1936-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
John Wiley http://dx.doi.org/10.1002/0471698504
ebrary http://site.ebrary.com/id/10114104
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/55146362.html
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Foundations of soft case-based reasoning
Foundations of soft case-based reasoning
Author 
Pal, Sankar K. Shiu, Simon C. K.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0471644676
HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/53138696.html
MyiLibrary, Table of contents http://www.myilibrary.com?id=36798&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Clinical reasoning for manual therapists
Clinical reasoning for manual therapists
Author 
Jones, Mark A. Rivett, Darren A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750639064
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Qualitative methods for reasoning under uncertainty
Qualitative methods for reasoning under uncertainty
Author 
Parsons, Simon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Causality : models, reasoning, and inference
Causality : models, reasoning, and inference
Author 
Pearl, Judea, author.
Preferred Shelf Number 
BD541 .P43 2000
Electronic Access 
https://doi.org/10.1017/CBO9780511803161
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Legal reasoning and legal theory
Legal reasoning and legal theory
Author 
MacCormick, Neil.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Author 
Bobrow, Daniel G. (Daniel Gureasko), 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876706
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Author 
Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Workflow Modeling Assistance by Case-based Reasoning
Workflow Modeling Assistance by Case-based Reasoning
Author 
Müller, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-23559-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Reasoning : the neuroscience of how we think
Reasoning : the neuroscience of how we think
Author 
Krawczyk, Daniel, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128092859
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computational Approaches to Analogical Reasoning: Current Trends
Computational Approaches to Analogical Reasoning: Current Trends
Author 
Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54516-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Commonsense reasoning an event calculus-based approach
Commonsense reasoning an event calculus-based approach
Author 
Mueller, Erik T., author.
Preferred Shelf Number 
ONLINE(355437.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for A General Framework for Reasoning On Inconsistency
A General Framework for Reasoning On Inconsistency
Author 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Domain-Level Reasoning for Spoken Dialogue Systems
Domain-Level Reasoning for Spoken Dialogue Systems
Author 
Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Mathematical reasoning patterns, problems, conjectures, and proofs
Mathematical reasoning patterns, problems, conjectures, and proofs
Author 
Nickerson, Raymond S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Teaching Mathematical Reasoning in Secondary School Classrooms
Teaching Mathematical Reasoning in Secondary School Classrooms
Author 
Brodie, Karin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09742-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
Author 
Harrison, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Case-Based Reasoning on Images and Signals
Case-Based Reasoning on Images and Signals
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73180-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
Author 
Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint Satisfaction Techniques for Agent-Based Reasoning
Author 
Neagu, Nicoleta. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137139
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Visualization, Explanation and Reasoning Styles in Mathematics
Visualization, Explanation and Reasoning Styles in Mathematics
Author 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Handbook of temporal reasoning in artificial intelligence
Handbook of temporal reasoning in artificial intelligence
Author 
Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444514936
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Transfer of learning cognition, instruction, and reasoning
Transfer of learning cognition, instruction, and reasoning
Author 
Haskell, Robert E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123305954
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Mental models in discourse processing and reasoning
Mental models in discourse processing and reasoning
Author 
Rickheit, Gert. Habel, Christopher.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502742
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Intelligence, mind, and reasoning structure and development
Intelligence, mind, and reasoning structure and development
Author 
Demetriou, Andreas. Efklides, Anastasia.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444897145
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for The hands-on guide to clinical reasoning in medicine
The hands-on guide to clinical reasoning in medicine
Author 
Irfan, Mujammil, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Symbolic projection for image information retrieval and spatial reasoning
Symbolic projection for image information retrieval and spatial reasoning
Author 
Chang, S. K. (Shi Kuo), 1944- Jungert, Erland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121680305
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings
Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings
Author 
Massie, Stewart. editor. Chakraborti, Sutanu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521060.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Author 
Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521072.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40960-8
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
Author 
Bertossi, Leopoldo. editor. Xiao, Guohui. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521291.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31414-8
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521244.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses
Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses
Author 
Dobber, Jos. author. Harmsen, José. author. van Iersel, Margriet. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521939.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27069-7
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Autonomous Cyber Deception Reasoning, Adaptive Planning, and Evaluation of HoneyThings
Autonomous Cyber Deception Reasoning, Adaptive Planning, and Evaluation of HoneyThings
Author 
Al-Shaer, Ehab. editor. Wei, Jinpeng. editor. (orcid)0000-0002-6982-7386 Hamlen, Kevin W. editor. Wang, Cliff. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02110-8
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Author 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Adversarial and Uncertain Reasoning for Adaptive Cyber Defense Control- and Game-Theoretic Approaches to Cyber Security
Adversarial and Uncertain Reasoning for Adaptive Cyber Defense Control- and Game-Theoretic Approaches to Cyber Security
Author 
Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Cybenko, George. editor. Liu, Peng. editor. Wang, Cliff. editor. Wellman, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30719-6
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
Author 
Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29765-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Author 
Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19052-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
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)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31095-0
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings
Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings
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)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23182-8
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
Author 
Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31423-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Computational models for biomedical reasoning and problem solving
Computational models for biomedical reasoning and problem solving
Author 
Chen, Chung-Hao, 1974- editor. Cheung, Sen-Ching Samson, 1969- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
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)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20528-7
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings
Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings
Author 
Bach, Kerstin. editor. (orcid)0000-0002-4256-7676 Marling, Cindy. editor. (orcid)0000-0002-4155-5155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29249-2
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
Author 
Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01081-2
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures
Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures
Author 
d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00338-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Author 
Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78102-0
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
Author 
Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91379-7
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
Author 
Akama, Seiki. author. Murai, Tetsuya. author. Kudo, Yasuo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72691-5
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for 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
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
Author 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Author 
Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518822.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21768-0
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Author 
ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519157.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Author 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519103.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
Author 
Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519113.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20807-7
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Logical investigative methods : critical thinking and reasoning for successful investigations
Logical investigative methods : critical thinking and reasoning for successful investigations
Author 
Girod, Robert J., author.
Preferred Shelf Number 
ONLINE(356395.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings
Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings
Author 
Hüllermeier, Eyke. editor. Minor, Mirjam. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518774.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24586-7
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Author 
De Nivelle, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518971.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24312-2
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
Author 
Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. Stapleton, Gem. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518979.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Author 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519293.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Author 
van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519080.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48540-8
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Reasoning and Public Health: New Ways of Coping with Uncertainty
Reasoning and Public Health: New Ways of Coping with Uncertainty
Author 
Cummings, Louise. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519555.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15013-0
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for The Limits of Legal Reasoning and the European Court of Justice
The Limits of Legal Reasoning and the European Court of Justice
Author 
Conway, Gerard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
Author 
Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10587-1
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Author 
Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
Author 
Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13413-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings
Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings
Author 
Lamontagne, Luc. editor. Plaza, Enric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Author 
Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08587-6
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
Author 
Addis, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11286-2
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
Author 
Hernandez, Nathalie. editor. Jäschke, Robert. editor. Croitoru, Madalina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Author 
Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11113-1
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Geometric Modeling and Reasoning of Human-Centered Freeform Products
Geometric Modeling and Reasoning of Human-Centered Freeform Products
Author 
Wang, Charlie C. L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330961.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4360-4
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Author 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
Author 
Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334719.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39056-2
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Author 
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334728.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Author 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334969.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Author 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335196.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Author 
Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39666-3
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Author 
Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334848.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences
A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences
Author 
Jenicek, Milos, 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Thinking and reasoning an introduction to the psychology of reason, judgment and decision making
Thinking and reasoning an introduction to the psychology of reason, judgment and decision making
Author 
Manktelow, K. I., 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for The logic of autonomy law, morality and autonomous reasoning
The logic of autonomy law, morality and autonomous reasoning
Author 
Sieckmann, Jan-Reinard, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for The reasoning criminologist essays in honour of Ronald V. Clarke
The reasoning criminologist essays in honour of Ronald V. Clarke
Author 
Clarke, R. V. G. Tilley, Nick. Farrell, Graham.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for More! teaching fractions and ratios for understanding : in-depth discussion and reasoning activities
More! teaching fractions and ratios for understanding : in-depth discussion and reasoning activities
Author 
Lamon, Susan J., 1949- Lamon, Susan J., 1949- More.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Application of nursing process and nursing diagnosis an interactive text for diagnostic reasoning
Application of nursing process and nursing diagnosis an interactive text for diagnostic reasoning
Author 
Doenges, Marilynn E., 1922- Moorhouse, Mary Frances, 1947-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=529107
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Author 
Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29449-5
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value
What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value
Author 
Maier, Donald S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-3991-8
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Author 
Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28717-6
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Author 
Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31365-3
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Author 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
Author 
Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32986-9
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
Author 
Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33158-9
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Author 
Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33203-6
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms
Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms
Author 
Kountchev, Roumen. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24693-7
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for The reputational premium : a theory of party identification and policy reasoning
The reputational premium : a theory of party identification and policy reasoning
Author 
Sniderman, Paul M., author. Stiglitz, Edward H., 1980- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7s54x
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Generic Inference a Unifying Theory for Automated Reasoning
Generic Inference a Unifying Theory for Automated Reasoning
Author 
Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878
http://site.ebrary.com/lib/alltitles/Doc?id=10469758
Volltext http://proquest.tech.safaribooksonline.de/9781118010860
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
Author 
Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for 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
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
Author 
Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16074-5
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Author 
Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20832-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Author 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Author 
Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22119-4
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Author 
Liu, Weiru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22152-1
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Author 
Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22546-8
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
Author 
Hartanto, Ronny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22580-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
Author 
Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23291-6
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens
Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens
Author 
Beißel, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8349-6232-4
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Reasoning from Race feminism, law, and the civil rights revolution
Reasoning from Race feminism, law, and the civil rights revolution
Author 
Mayeri, Serena.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.4159/harvard.9780674061101
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Arguing global governance agency, lifeworld, and shared reasoning
Arguing global governance agency, lifeworld, and shared reasoning
Author 
Bjola, Corneliu. Kornprobst, Markus.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Approximate Reasoning by Parts An Introduction to Rough Mereology
Approximate Reasoning by Parts An Introduction to Rough Mereology
Author 
Polkowski, Lech. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22279-5
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures
Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures
Author 
Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23032-5
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Author 
Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23580-1
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
Author 
Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-11-4
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Use of representations in reasoning and problem solving analysis and improvement
Use of representations in reasoning and problem solving analysis and improvement
Author 
Verschaffel, Lieven, 1957-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Networks, crowds, and markets reasoning about a highly connected world
Networks, crowds, and markets reasoning about a highly connected world
Author 
Easley, David. Kleinberg, Jon.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324125
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty
Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty
Author 
Cummings, Louise. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9504-6
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms
Author 
Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-98132-1
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
Author 
Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15223-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Author 
Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
Author 
Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15918-3
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots
Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots
Author 
Wallgrün, Jan Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10345-2
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Author 
Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
Author 
Cao, Tru Hoang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14087-7
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Author 
Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16242-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for By parallel reasoning the construction and evaluation of analogical arguments
By parallel reasoning the construction and evaluation of analogical arguments
Author 
Bartha, Paul F. A., 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195325539.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
Author 
Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14274-1
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Author 
Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17511-4
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Defending Copernicus and Galileo Critical Reasoning in the Two Affairs
Defending Copernicus and Galileo Critical Reasoning in the Two Affairs
Author 
Finocchiaro, Maurice A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3201-0
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
Author 
Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03754-2
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Author 
Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
Author 
Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05082-4
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
Author 
Dompere, Kofi Kissi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88087-5
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Foundations of Computational Intelligence Volume 2 Approximate Reasoning
Foundations of Computational Intelligence Volume 2 Approximate Reasoning
Author 
Hassanien, Aboul-Ella. editor. Abraham, Ajith. editor. Herrera, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01533-5
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Author 
Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02716-1
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
Author 
Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02906-6
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
Author 
McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02998-1
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Abductive Cognition The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
Abductive Cognition The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
Author 
Magnani, Lorenzo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03631-6
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for 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
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
Author 
Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03459-6
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for College organization and professional development integrating moral reasoning and reflective practice
College organization and professional development integrating moral reasoning and reflective practice
Author 
St. John, Edward P.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Mathematics by experiment plausible reasoning in the 21st century
Mathematics by experiment plausible reasoning in the 21st century
Author 
Borwein, Jonathan M. Bailey, David H.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
Author 
Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Author 
Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Author 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Developing Students’ Statistical Reasoning Connecting Research and Teaching Practice
Developing Students’ Statistical Reasoning Connecting Research and Teaching Practice
Author 
Garfield, Joan B. author. Ben-Zvi, Dani. author. Chance, Beth. author. Medina, Elsa. author. Roseth, Cary. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8383-9
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
Author 
Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70596-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Probabilistic Reasoning and Decision Making in Sensory-Motor Systems
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems
Author 
Bessière, Pierre. editor. Laugier, Christian. editor. Siegwart, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79007-5
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
Author 
Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89765-1
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach
Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach
Author 
Wolter, Diedrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69012-2
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Author 
Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
Author 
Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87601-4
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
Author 
Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
Author 
Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88808-6
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Author 
Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Balanced Scorecard und Ursache-Wirkungsbeziehungen Kausale Modellierung und Simulation mithilfe von Methoden des Qualitative Reasoning
Balanced Scorecard und Ursache-Wirkungsbeziehungen Kausale Modellierung und Simulation mithilfe von Methoden des Qualitative Reasoning
Author 
Hügens, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8349-8171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Adversarial reasoning computational approaches to reading the opponent's mind
Adversarial reasoning computational approaches to reading the opponent's mind
Author 
Kott, Alexander W. McEneaney, William M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Bayesian rationality the probabilistic approach to human reasoning
Bayesian rationality the probabilistic approach to human reasoning
Author 
Oaksford, M. (Mike) Chater, Nick.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198524496.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Judicial Reasoning under the UK Human Rights Act
Judicial Reasoning under the UK Human Rights Act
Author 
Fenwick, Helen. Phillipson, Gavin . Masterman, Roger.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Fundamentals of hand therapy clinical reasoning and treatment guidelines for common diagnoses of the upper extremity
Fundamentals of hand therapy clinical reasoning and treatment guidelines for common diagnoses of the upper extremity
Author 
Cooper, Cynthia, CHT.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780323033862
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Model-Based Reasoning in Science, Technology, and Medicine
Model-Based Reasoning in Science, Technology, and Medicine
Author 
Kacprzyk, Janusz. editor. Magnani, Lorenzo. editor. Li, Ping. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71986-1
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
Author 
Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72200-7
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Author 
Olivetti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers
Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers
Author 
Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75666-8
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Author 
Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings
Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings
Author 
Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74141-1
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
Author 
Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74615-7
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
Author 
Mellouli, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75256-1
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Author 
Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
Author 
Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75989-8
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Reasoning in Biological Discoveries Essays on Mechanisms, Interfield Relations, and Anomaly Resolution
Reasoning in Biological Discoveries Essays on Mechanisms, Interfield Relations, and Anomaly Resolution
Author 
Darden, Lindley.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for The Consistent Preferences Approach to Deductive Reasoning in Games
The Consistent Preferences Approach to Deductive Reasoning in Games
Author 
Asheim, Geir B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-26237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Statistical Reasoning in Medicine The Intuitive P-Value Primer
Statistical Reasoning in Medicine The Intuitive P-Value Primer
Author 
Moyé, Lemuel A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-46212-7
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings
Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings
Author 
Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11805816
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
Author 
Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11853107
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
Author 
ALISEDA, ATOCHA. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3907-7
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
Author 
Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11837787
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Author 
Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11916277
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Author 
Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11814771
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
Author 
Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11829263
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Beyond reasonable doubt reasoning processes in obsessive-compulsive disorder and related disorders
Beyond reasonable doubt reasoning processes in obsessive-compulsive disorder and related disorders
Author 
O'Connor, Kieron Philip. Aardema, Frederick. Pélissier, Marie-Claude.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470030271
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0616/2004011339-b.html
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/55475112.html
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for The Challenge of Developing Statistical Literacy, Reasoning and Thinking
The Challenge of Developing Statistical Literacy, Reasoning and Thinking
Author 
Ben-Zvi, Dani. editor. Garfield, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2278-6
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Author 
Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138799
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Interdisciplinary Public Health Reasoning and Epidemic Modelling: The Case of Black Death
Interdisciplinary Public Health Reasoning and Epidemic Modelling: The Case of Black Death
Author 
Christakos, George. author. Olea, Ricardo A. author. Serre, Marc L. author. Yu, Hwa-Lung. author. Wang, Lin-Lin. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28165-7
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Reasoning Robots The Art and Science of Programming Robotic Agents
Reasoning Robots The Art and Science of Programming Robotic Agents
Author 
Thielscher, Michael. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3069-X
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Rhetoric and the rule of law a theory of legal reasoning
Rhetoric and the rule of law a theory of legal reasoning
Author 
MacCormick, Neil.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199571246.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for The Judicial Process Realism, Pragmatism, Practical Reasoning and Principles
The Judicial Process Realism, Pragmatism, Practical Reasoning and Principles
Author 
Thomas, E. W..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Author 
Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11591191
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
Author 
Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11526988
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
Author 
Beckert, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554554
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
Author 
Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11546207
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings
Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings
Author 
Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11536406
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
Author 
Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11552222
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
Author 
Godo, Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138862
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Author 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106663
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
Author 
Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106616
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Author 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106931
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Law in a Market Context An Introduction to Market Concepts in Legal Reasoning
Law in a Market Context An Introduction to Market Concepts in Legal Reasoning
Author 
Malloy, Robin Paul.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Thinking psychological perspectives on reasoning, judgment, and decision making
Thinking psychological perspectives on reasoning, judgment, and decision making
Author 
Hardman, David. Macchi, Laura, 1961- John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/047001332X
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2003003951.html
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Dimensions of Private Law Categories and Concepts in Anglo-American Legal Reasoning
Dimensions of Private Law Categories and Concepts in Anglo-American Legal Reasoning
Author 
Waddams, Stephen.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Practical Reasoning in a Social World How We Act Together
Practical Reasoning in a Social World How We Act Together
Author 
Graham, Keith.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Developing the Horizons of the Mind Relational and Contextual Reasoning and the Resolution of Cognitive Conflict
Developing the Horizons of the Mind Relational and Contextual Reasoning and the Resolution of Cognitive Conflict
Author 
Reich, K. Helmut.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Clinical epidemiology & evidence-based medicine fundamental principles of clinical reasoning & research
Clinical epidemiology & evidence-based medicine fundamental principles of clinical reasoning & research
Author 
Katz, David L., 1963-
Preferred Shelf Number 
ONLINE(367878.1)
Electronic Access 
SAGE knowledge http://sk.sagepub.com/books/clinical-epidemiology-and-evidence-based-medicine
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Logic programming and non-monotonic reasoning proceedings of the second international workshop
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Author 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Reasoning about actions and plans proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon
Reasoning about actions and plans proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon
Author 
Georgeff, Michael P., 1946- Lansky, Amy L., 1955- American Association for Artificial Intelligence. Center for the Study of Language and Information (U.S.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780934613309
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Coherent systems
Coherent systems
Author 
Schlechta, Karl.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517890
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Creating consilience integrating the sciences and the humanities
Creating consilience integrating the sciences and the humanities
Author 
Slingerland, Edward G. (Edward Gilman) Collard, Mark.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199794393.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Handbook of modal logic
Handbook of modal logic
Author 
Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Handbook of the logic of argument and inference the turn towards the practical
Handbook of the logic of argument and inference the turn towards the practical
Author 
Gabbay, Dov M., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Author 
Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
Author 
Longo, Luca. editor. (orcid) O'Reilly, Ruairi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520281.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26438-2
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings
Author 
Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520731.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7869-4
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings
Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings
Author 
Pillay, Anban. editor. Jembere, Edgar. editor. J. Gerber, Aurona. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520739.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49002-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
Author 
Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520756.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25088-0
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for 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
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
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers
Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers
Author 
Aiello, Marco. editor. Barzen, Johanna. editor. Dustdar, Schahram. editor. Leymann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520703.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45728-9
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for 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
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
Author 
Wang, Haofen. editor. Han, Xianpei. editor. Liu, Ming. editor. Cheng, Gong. editor. Liu, Yongbin. editor.
Preferred Shelf Number 
XX(520721.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7224-1
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II
Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II
Author 
Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Preferred Shelf Number 
XX(521061.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40286-9
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for 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
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
Author 
Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521094.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for 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
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
Author 
Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521104.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35969-9
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for 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
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
Author 
Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521105.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36049-7
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Author 
Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521177.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43619-2
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Image and Graphics 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV
Image and Graphics 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV
Author 
Lu, Huchuan. editor. Ouyang, Wanli. editor. Huang, Hui. editor. Lu, Jiwen. editor. Liu, Risheng. editor.
Preferred Shelf Number 
XX(521269.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-46314-3
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Author 
Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.
Preferred Shelf Number 
XX(521271.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47262-6
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Author 
Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521340.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
Author 
Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521346.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-48539-8
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I
Author 
Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number 
XX(521353.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47969-4
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
XX(521363.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Deep Cognitive Networks Enhance Deep Learning by Modeling Human Cognitive Mechanism
Deep Cognitive Networks Enhance Deep Learning by Modeling Human Cognitive Mechanism
Author 
Huang, Yan. author. Wang, Liang. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520396.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-0279-8
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520403.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1645-0
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520404.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1639-9
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II
Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II
Author 
Maglogiannis, Ilias. editor. (orcid) Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520424.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34107-6
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I
Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I
Author 
Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520425.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34111-3
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Artificial Intelligence in Healthcare Industry
Artificial Intelligence in Healthcare Industry
Author 
Talukdar, Jyotismita. author. Singh, Thipendra P. author. Barman, Basanta. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520479.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-3157-6
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers
Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers
Author 
Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520482.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37189-9
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman
Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman
Author 
Jonoska, Nataša. editor. Winfree, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520483.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9891-1
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Information Systems 19th European, Mediterranean, and Middle Eastern Conference, EMCIS 2022, Virtual Event, December 21-22, 2022, Proceedings
Information Systems 19th European, Mediterranean, and Middle Eastern Conference, EMCIS 2022, Virtual Event, December 21-22, 2022, Proceedings
Author 
Papadaki, Maria. editor. Rupino da Cunha, Paulo. editor. Themistocleous, Marinos. editor. Christodoulou, Klitos. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520571.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30694-5
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Handbook of Dynamic Data Driven Applications Systems Volume 2
Handbook of Dynamic Data Driven Applications Systems Volume 2
Author 
Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520614.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27986-7
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
Author 
Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Preferred Shelf Number 
XX(520784.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Author 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520796.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Author 
Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520927.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29786-1
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III
Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III
Author 
Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)
Preferred Shelf Number 
XX(521287.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28241-6
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Medical Persuasion Understanding the Impact on Medical Argumentation
Medical Persuasion Understanding the Impact on Medical Argumentation
Author 
Velanovich, Vic. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521482.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30371-5
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(521309.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42505-9
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Author 
Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521322.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings
Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings
Author 
Blanc-Talon, Jaques. editor. Delmas, Patrice. editor. Philips, Wilfried. editor. Scheunders, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521326.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45382-3
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II
Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II
Author 
Gupta, Deep. editor. Bhurchandi, Kishor. editor. Murala, Subrahmanyam. editor. Raman, Balasubramanian. editor. Kumar, Sanjeev. editor.
Preferred Shelf Number 
XX(520239.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31417-9
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
Author 
Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520200.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9697-9
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China
Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China
Author 
Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liu, Xin. editor. Na, Zhenyu. editor.
Preferred Shelf Number 
XX(520310.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1256-8
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for 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
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
Author 
Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Preferred Shelf Number 
XX(520663.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26886-1
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
Author 
Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.
Preferred Shelf Number 
XX(520668.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29126-5
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520864.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Author 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520880.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520934.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for 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
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
Author 
Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520947.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33380-4
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
XX(520981.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
XX(521001.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Author 
David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521004.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
Author 
Liu, Feng. editor. Zhang, Yu. editor. Kuai, Hongzhi. editor. Stephen, Emily P. editor. Wang, Hongjun. editor.
Preferred Shelf Number 
XX(521136.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number 
XX(521137.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for KI 2023: Advances in Artificial Intelligence 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
KI 2023: Advances in Artificial Intelligence 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
Author 
Seipel, Dietmar. editor. Steen, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521154.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42608-7
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
Author 
Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Preferred Shelf Number 
XX(521251.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
Author 
Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.
Preferred Shelf Number 
XX(521126.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42935-4
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521127.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Remediation in Medical Education A Mid-Course Correction
Remediation in Medical Education A Mid-Course Correction
Author 
Kalet, Adina. editor. Chou, Calvin L. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521870.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32404-8
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Author 
Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number 
XX(521379.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Availability 
Online Library~1
Available:
Copies: