Search Results for Reasoning. - Narrowed by: Online Library

Commonsense reasoning

2024-10-04T11:26:27Z

Author Mueller, Erik T.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: Electronic Resources
Availability Online Library~1

Nonmonotonic reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning about knowledge

2024-10-04T11:26:27Z

Author Fagin, Ronald.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835
Format: Electronic Resources
Availability Online Library~1

Constraint-based reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Diagrammatic reasoning in AI

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Methods of legal reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Visual Reasoning with Diagrams

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning about Preference Dynamics

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Constitutionalism and Legal Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Approximate Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Knowledge representation and reasoning

2024-10-04T11:26:27Z

Author Brachman, Ronald J., 1949- Levesque, Hector J., 1951-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558609327
Format: Electronic Resources
Availability Online Library~1

The Nature of Reasoning

2024-10-04T11:26:27Z

Author Leighton, Jacqueline P.. Sternberg, Robert J..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Robots, Reasoning, and Reification

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Neural-Symbolic Cognitive Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Handbook of automated reasoning

2024-10-04T11:26:27Z

Author Robinson, J. A. (John Alan) Voronkov, Andrei, 1959-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444508133
Format: Electronic Resources
Availability Online Library~1

Reasoning about rational agents

2024-10-04T11:26:27Z

Author Wooldridge, Michael J., 1966-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267359
Format: Electronic Resources
Availability Online Library~1

Legal method, skills and reasoning

2024-10-04T11:26:27Z

Author Hanson, Sharon, LLB. Hanson, Sharon, LLB. Legal method & reasoning.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Neuro Symbolic Reasoning and Learning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Handbook of Parallel Constraint Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Linked Data Storing, Querying, and Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Successful Case-based Reasoning Applications-2

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-based reasoning a concise introduction

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning A Textbook

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Emotions, imagination, and moral reasoning

2024-10-04T11:26:27Z

Author Langdon, Robyn. Mackenzie, Catriona.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Decentralized Reasoning in Ambient Intelligence

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Fundamental uncertainty rationality and plausible reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning in Event-Based Distributed Systems

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Cognitive Reasoning A Formal Approach

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Successful Case-based Reasoning Applications - I

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Foundations of Reasoning under Uncertainty

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Modelling and Reasoning with Vague Concepts

2024-10-04T11:26:27Z

Author Lawry, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30262-X
Format: Electronic Resources
Availability Online Library~1

Fuzzy expert systems and fuzzy reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Foundations of soft case-based reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Clinical reasoning for manual therapists

2024-10-04T11:26:27Z

Author Jones, Mark A. Rivett, Darren A.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750639064
Format: Electronic Resources
Availability Online Library~1

Qualitative methods for reasoning under uncertainty

2024-10-04T11:26:27Z

Author Parsons, Simon.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317
Format: Electronic Resources
Availability Online Library~1

Causality : models, reasoning, and inference

2024-10-04T11:26:27Z

Author Pearl, Judea, author.
Preferred Shelf Number BD541 .P43 2000
Electronic Access https://doi.org/10.1017/CBO9780511803161
Format: Electronic Resources
Availability Online Library~1

Legal reasoning and legal theory

2024-10-04T11:26:27Z

Author MacCormick, Neil.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001
Format: Electronic Resources
Availability Online Library~1

Qualitative reasoning about physical systems

2024-10-04T11:26:27Z

Author Bobrow, Daniel G. (Daniel Gureasko), 1935-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444876706
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning for Systems Biology and Medicine

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Workflow Modeling Assistance by Case-based Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning : the neuroscience of how we think

2024-10-04T11:26:27Z

Author Krawczyk, Daniel, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128092859
Format: Electronic Resources
Availability Online Library~1

Computational Approaches to Analogical Reasoning: Current Trends

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Commonsense reasoning an event calculus-based approach

2024-10-04T11:26:27Z

Author Mueller, Erik T., author.
Preferred Shelf Number ONLINE(355437.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: Electronic Resources
Availability Online Library~1

A General Framework for Reasoning On Inconsistency

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Domain-Level Reasoning for Spoken Dialogue Systems

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Mathematical reasoning patterns, problems, conjectures, and proofs

2024-10-04T11:26:27Z

Author Nickerson, Raymond S.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Teaching Mathematical Reasoning in Secondary School Classrooms

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Handbook of Practical Logic and Automated Reasoning

2024-10-04T11:26:27Z

Author Harrison, John.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning on Images and Signals

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rippling: Meta-Level Guidance for Mathematical Reasoning

2024-10-04T11:26:27Z

Author Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Constraint Satisfaction Techniques for Agent-Based Reasoning

2024-10-04T11:26:27Z

Author Neagu, Nicoleta. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137139
Format: Electronic Resources
Availability Online Library~1

Visualization, Explanation and Reasoning Styles in Mathematics

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Handbook of temporal reasoning in artificial intelligence

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Transfer of learning cognition, instruction, and reasoning

2024-10-04T11:26:27Z

Author Haskell, Robert E.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123305954
Format: Electronic Resources
Availability Online Library~1

Mental models in discourse processing and reasoning

2024-10-04T11:26:27Z

Author Rickheit, Gert. Habel, Christopher.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444502742
Format: Electronic Resources
Availability Online Library~1

Intelligence, mind, and reasoning structure and development

2024-10-04T11:26:27Z

Author Demetriou, Andreas. Efklides, Anastasia.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444897145
Format: Electronic Resources
Availability Online Library~1

The hands-on guide to clinical reasoning in medicine

2024-10-04T11:26:27Z

Author Irfan, Mujammil, author.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Symbolic projection for image information retrieval and spatial reasoning

2024-10-04T11:26:27Z

Author Chang, S. K. (Shi Kuo), 1944- Jungert, Erland.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780121680305
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Autonomous Cyber Deception Reasoning, Adaptive Planning, and Evaluation of HoneyThings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Adversarial and Uncertain Reasoning for Adaptive Cyber Defense Control- and Game-Theoretic Approaches to Cyber Security

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Computational models for biomedical reasoning and problem solving

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logical investigative methods : critical thinking and reasoning for successful investigations

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Models of Strategic Reasoning Logics, Games, and Communities

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning and Public Health: New Ways of Coping with Uncertainty

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

The Limits of Legal Reasoning and the European Court of Justice

2024-10-04T11:26:27Z

Author Conway, Gerard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking

2024-10-04T11:26:27Z

Author Addis, Tom. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11286-2
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Geometric Modeling and Reasoning of Human-Centered Freeform Products

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences

2024-10-04T11:26:27Z

Author Jenicek, Milos, 1935-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Thinking and reasoning an introduction to the psychology of reason, judgment and decision making

2024-10-04T11:26:27Z

Author Manktelow, K. I., 1952-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

The logic of autonomy law, morality and autonomous reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

The reasoning criminologist essays in honour of Ronald V. Clarke

2024-10-04T11:26:27Z

Author Clarke, R. V. G. Tilley, Nick. Farrell, Graham.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

More! teaching fractions and ratios for understanding : in-depth discussion and reasoning activities

2024-10-04T11:26:27Z

Author Lamon, Susan J., 1949- Lamon, Susan J., 1949- More.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Application of nursing process and nursing diagnosis an interactive text for diagnostic reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

The reputational premium : a theory of party identification and policy reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Generic Inference a Unifying Theory for Automated Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning from Race feminism, law, and the civil rights revolution

2024-10-04T11:26:27Z

Author Mayeri, Serena.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.4159/harvard.9780674061101
Format: Electronic Resources
Availability Online Library~1

Arguing global governance agency, lifeworld, and shared reasoning

2024-10-04T11:26:27Z

Author Bjola, Corneliu. Kornprobst, Markus.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Approximate Reasoning by Parts An Introduction to Rough Mereology

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Use of representations in reasoning and problem solving analysis and improvement

2024-10-04T11:26:27Z

Author Verschaffel, Lieven, 1957-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Networks, crowds, and markets reasoning about a highly connected world

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

By parallel reasoning the construction and evaluation of analogical arguments

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Defending Copernicus and Galileo Critical Reasoning in the Two Affairs

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Foundations of Computational Intelligence Volume 2 Approximate Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Abductive Cognition The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

College organization and professional development integrating moral reasoning and reflective practice

2024-10-04T11:26:27Z

Author St. John, Edward P.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Mathematics by experiment plausible reasoning in the 21st century

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Developing Students’ Statistical Reasoning Connecting Research and Teaching Practice

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Balanced Scorecard und Ursache-Wirkungsbeziehungen Kausale Modellierung und Simulation mithilfe von Methoden des Qualitative Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Adversarial reasoning computational approaches to reading the opponent's mind

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Bayesian rationality the probabilistic approach to human reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Judicial Reasoning under the UK Human Rights Act

2024-10-04T11:26:27Z

Author Fenwick, Helen. Phillipson, Gavin . Masterman, Roger.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Fundamentals of hand therapy clinical reasoning and treatment guidelines for common diagnoses of the upper extremity

2024-10-04T11:26:27Z

Author Cooper, Cynthia, CHT.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780323033862
Format: Electronic Resources
Availability Online Library~1

Model-Based Reasoning in Science, Technology, and Medicine

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning in Biological Discoveries Essays on Mechanisms, Interfield Relations, and Anomaly Resolution

2024-10-04T11:26:27Z

Author Darden, Lindley.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The Consistent Preferences Approach to Deductive Reasoning in Games

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Statistical Reasoning in Medicine The Intuitive P-Value Primer

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION

2024-10-04T11:26:27Z

Author ALISEDA, ATOCHA. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3907-7
Format: Electronic Resources
Availability Online Library~1

Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2024-10-04T11:26:27Z

Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11916277
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-10-04T11:26:27Z

Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814771
Format: Electronic Resources
Availability Online Library~1

Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello

2024-10-04T11:26:27Z

Author Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11829263
Format: Electronic Resources
Availability Online Library~1

Beyond reasonable doubt reasoning processes in obsessive-compulsive disorder and related disorders

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

The Challenge of Developing Statistical Literacy, Reasoning and Thinking

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Interdisciplinary Public Health Reasoning and Epidemic Modelling: The Case of Black Death

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2024-10-04T11:26:27Z

Author Thielscher, Michael. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3069-X
Format: Electronic Resources
Availability Online Library~1

Rhetoric and the rule of law a theory of legal reasoning

2024-10-04T11:26:27Z

Author MacCormick, Neil.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199571246.001.0001
Format: Electronic Resources
Availability Online Library~1

The Judicial Process Realism, Pragmatism, Practical Reasoning and Principles

2024-10-04T11:26:27Z

Author Thomas, E. W..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-10-04T11:26:27Z

Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591191
Format: Electronic Resources
Availability Online Library~1

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2024-10-04T11:26:27Z

Author Beckert, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554554
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

2024-10-04T11:26:27Z

Author Godo, Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138862
Format: Electronic Resources
Availability Online Library~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-10-04T11:26:27Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-10-04T11:26:27Z

Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106931
Format: Electronic Resources
Availability Online Library~1

Law in a Market Context An Introduction to Market Concepts in Legal Reasoning

2024-10-04T11:26:27Z

Author Malloy, Robin Paul.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Thinking psychological perspectives on reasoning, judgment, and decision making

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Dimensions of Private Law Categories and Concepts in Anglo-American Legal Reasoning

2024-10-04T11:26:27Z

Author Waddams, Stephen.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Practical Reasoning in a Social World How We Act Together

2024-10-04T11:26:27Z

Author Graham, Keith.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Developing the Horizons of the Mind Relational and Contextual Reasoning and the Resolution of Cognitive Conflict

2024-10-04T11:26:27Z

Author Reich, K. Helmut.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Clinical epidemiology & evidence-based medicine fundamental principles of clinical reasoning & research

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic programming and non-monotonic reasoning proceedings of the second international workshop

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Reasoning about actions and plans proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Coherent systems

2024-10-04T11:26:27Z

Author Schlechta, Karl.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444517890
Format: Electronic Resources
Availability Online Library~1

Creating consilience integrating the sciences and the humanities

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Handbook of modal logic

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Handbook of the logic of argument and inference the turn towards the practical

2024-10-04T11:26:27Z

Author Gabbay, Dov M., 1945-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: Electronic Resources
Availability Online Library~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Image and Graphics 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Deep Cognitive Networks Enhance Deep Learning by Modeling Human Cognitive Mechanism

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Healthcare Industry

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Information Systems 19th European, Mediterranean, and Middle Eastern Conference, EMCIS 2022, Virtual Event, December 21-22, 2022, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems Volume 2

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Medical Persuasion Understanding the Impact on Medical Argumentation

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

KI 2023: Advances in Artificial Intelligence 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Remediation in Medical Education A Mid-Course Correction

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

2024-10-04T11:26:27Z

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: Electronic Resources
Availability Online Library~1