Search Results for Reasoning. - Narrowed by: Artificial intelligence.

Case-Based Approximate Reasoning

2026-03-26T08:04:08Z

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

Neural-Symbolic Cognitive Reasoning

2026-03-26T08:04:08Z

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

Robots, Reasoning, and Reification

2026-03-26T08:04:08Z

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

Linked Data Storing, Querying, and Reasoning

2026-03-26T08:04:08Z

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

Handbook of Parallel Constraint Reasoning

2026-03-26T08:04:08Z

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

Description Logics in Multimedia Reasoning

2026-03-26T08:04:08Z

Author Sikos, Leslie F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54066-5
Format: Electronic Resources
Availability Online Library~1

Successful Case-based Reasoning Applications-2

2026-03-26T08:04:08Z

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 Textbook

2026-03-26T08:04:08Z

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

Decentralized Reasoning in Ambient Intelligence

2026-03-26T08:04:08Z

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

Reasoning in Event-Based Distributed Systems

2026-03-26T08:04:08Z

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

Successful Case-based Reasoning Applications - I

2026-03-26T08:04:08Z

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

Cognitive Reasoning A Formal Approach

2026-03-26T08:04:08Z

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

Foundations of Reasoning under Uncertainty

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

Qualitative reasoning about physical systems

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

Computational Approaches to Analogical Reasoning: Current Trends

2026-03-26T08:04:08Z

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

A General Framework for Reasoning On Inconsistency

2026-03-26T08:04:08Z

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

Case-Based Reasoning on Images and Signals

2026-03-26T08:04:08Z

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

Constraint Satisfaction Techniques for Agent-Based Reasoning

2026-03-26T08:04:08Z

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

Handbook of temporal reasoning in artificial intelligence

2026-03-26T08:04:08Z

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

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

2026-03-26T08:04:08Z

Author Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74209-5
Format: Electronic Resources
Availability Online Library~1

Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI

2026-03-26T08:04:08Z

Author Dujmović, Jozo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88558-7
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

2026-03-26T08:04:08Z

Author Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-05134-9
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 33rd International Conference, ICCBR 2025, Biarritz, France, June 30-July 3, 2025, Proceedings

2026-03-26T08:04:08Z

Author Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X López, Beatriz. editor. (orcid)0000-0001-9210-0073 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96559-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Models for Coupling Deductive and Inductive Reasoning Third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024, Revised Selected Papers

2026-03-26T08:04:08Z

Author Bruno, Pierangela. editor. (orcid)0000-0002-0832-0151 Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Cauteruccio, Francesco. editor. (orcid)0000-0001-8400-1083 Terracina, Giorgio. editor. (orcid)0000-0002-3090-7223 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89366-7
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

2026-03-26T08:04:08Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63498-7
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

2026-03-26T08:04:08Z

Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63501-4
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

2026-03-26T08:04:08Z

Author Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45608-4
Format: Electronic Resources
Availability Online Library~1

Fuzzy Rule-Based Inference Advances and Applications in Reasoning with Approximate Knowledge Interpolation

2026-03-26T08:04:08Z

Author Li, Fangyi. author. Shen, Qiang. author. (orcid)0000-0001-9333-4605 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0491-0
Format: Electronic Resources
Availability Online Library~1

Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I

2026-03-26T08:04:08Z

Author Besold, Tarek R. editor. (orcid)0000-0002-8002-0049 d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518 Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599 Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123 Madhyastha, Pranava. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71167-1
Format: Electronic Resources
Availability Online Library~1

Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II

2026-03-26T08:04:08Z

Author Besold, Tarek R. editor. (orcid)0000-0002-8002-0049 d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518 Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599 Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123 Madhyastha, Pranava. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71170-1
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1-4, 2024, Proceedings

2026-03-26T08:04:08Z

Author Recio-Garcia, Juan A. editor. (orcid)0000-0001-8731-6195 Orozco-del-Castillo, Mauricio G. editor. (orcid)0000-0001-5793-6449 Bridge, Derek. editor. (orcid)0000-0002-8720-3876 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63646-2
Format: Electronic Resources
Availability Online Library~1

Epistemic Situation Calculus Based on Granular Computing A New Approach to Common-Sense Reasoning

2026-03-26T08:04:08Z

Author Akama, Seiki. author. Nakayama, Yotaro. author. Murai, Tetsuya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28551-6
Format: Electronic Resources
Availability Online Library~1

Fuzzy Petri Nets for Knowledge Representation, Acquisition and Reasoning

2026-03-26T08:04:08Z

Author Shi, Hua. author. Liu, Hu-Chen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5154-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures

2026-03-26T08:04:08Z

Author Pan, Jeff Z. editor. Calvanese, Diego. editor. Eiter, Thomas. editor. Horrocks, Ian. editor. Kifer, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49493-7
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

2026-03-26T08:04:08Z

Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61252-2
Format: Electronic Resources
Availability Online Library~1

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic

2026-03-26T08:04:08Z

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

2026-03-26T08:04:08Z

Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61581-3
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings

2026-03-26T08:04:08Z

Author Aha, David W. editor. Lieber, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61030-6
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2026-03-26T08:04:08Z

Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61660-5
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

2026-03-26T08:04:08Z

Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

2026-03-26T08:04:08Z

Author Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61033-7
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representation and Reasoning 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

2026-03-26T08:04:08Z

Author Haemmerlé, Ollivier. editor. Stapleton, Gem. editor. Faron Zucker, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40985-6
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings

2026-03-26T08:04:08Z

Author Goel, Ashok. editor. Díaz-Agudo, M Belén. editor. Roth-Berghofer, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47096-2
Format: Electronic Resources
Availability Online Library~1

Probability Logics Probability-Based Formalization of Uncertain Reasoning

2026-03-26T08:04:08Z

Author Ognjanović, Zoran. author. Rašković, Miodrag. author. Marković, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47012-2
Format: Electronic Resources
Availability Online Library~1

Subjective Logic A Formalism for Reasoning Under Uncertainty

2026-03-26T08:04:08Z

Author Jøsang, Audun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42337-1
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

2026-03-26T08:04:08Z

Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources
Availability Online Library~1

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning

2026-03-26T08:04:08Z

Author Abe, Jair Minoro. author. Akama, Seiki. author. Nakamatsu, Kazumi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17912-4
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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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 with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

Approximate Reasoning by Parts An Introduction to Rough Mereology

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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 Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

2026-03-26T08:04:08Z

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

Model-Based Reasoning in Science, Technology, and Medicine

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

Reasoning Robots The Art and Science of Programming Robotic Agents

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

2026-03-26T08:04:08Z

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

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

2026-03-26T08:04:08Z

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

Neuro-Symbolic Artificial Intelligence Bridging Logic and Learning

2026-03-26T08:04:08Z

Author Bhuyan, Bikram Pratim. author. (orcid)0000-0001-5373-8912 Ramdane-Cherif, Amar. author. Singh, Thipendra P. author. (orcid)0000-0002-9991-6494 Tomar, Ravi. author. (orcid)0000-0002-8957-6756 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8171-3
Format: Electronic Resources
Availability Online Library~1

Intelligence Science V 6th IFIP TC 12 International Conference, ICIS 2024, Nanjing, China, October 25-28, 2024, Proceedings

2026-03-26T08:04:08Z

Author Shi, Zhongzhi. editor. Witbrock, Michael. editor. Tian, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71253-1
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-03-26T08:04:08Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78709-6
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-03-26T08:04:08Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78750-8
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings

2026-03-26T08:04:08Z

Author Correia, Luís. editor. (orcid)0000-0003-2439-1168 Rosá, Aiala. editor. Garijo, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80366-6
Format: Electronic Resources
Availability Online Library~1

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings

2026-03-26T08:04:08Z

Author Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84595-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference

2026-03-26T08:04:08Z

Author Mehmood, Rashid. editor. (orcid)0000-0002-4997-5322 Hernández, Guillermo. editor. (orcid)0000-0002-7481-5961 Praça, Isabel. editor. (orcid)0000-0002-2519-9859 Wikarek, Jaroslaw. editor. Loukanova, Roussanka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76459-2
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings

2026-03-26T08:04:08Z

Author Collier, Rem. editor. (orcid)0000-0003-0319-0797 Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Nallur, Vivek. editor. (orcid)0000-0003-0447-4150 Burattini, Samuele. editor. (orcid)0009-0009-4853-7783 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93930-3
Format: Electronic Resources
Availability Online Library~1

An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic

2026-03-26T08:04:08Z

Author Abe, Jair Minoro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97810-4
Format: Electronic Resources
Availability Online Library~1

Electronic Voting 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings

2026-03-26T08:04:08Z

Author Duenas-Cid, David. editor. (orcid)0000-0002-0451-4514 Roenne, Peter. editor. (orcid)0000-0002-2785-8301 Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400 Blom, Michelle. editor. (orcid)0000-0002-0459-9917
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72244-8
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

2026-03-26T08:04:08Z

Author Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66149-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Techniques for Analysing Sensitive Data in Medical Cyber-Physical Systems System Protection and Data Analysis

2026-03-26T08:04:08Z

Author Ficco, Massimo. editor. (orcid)0000-0003-4199-8199 D'Angelo, Gianni. editor. (orcid)0000-0001-7164-5736 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70775-9
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-03-26T08:04:08Z

Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7956-0
Format: Electronic Resources
Availability Online Library~1

Robotics Goes MOOC Knowledge

2026-03-26T08:04:08Z

Author Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74095-9
Format: Electronic Resources
Availability Online Library~1

AI and common sense : ambitions and frictions

2026-03-26T08:04:08Z

Author Bauer, Martin W., editor. Schiele, Bernard, editor.
Preferred Shelf Number Q338.85
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032626192 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Social Media Processing 11th Chinese National Conference, SMP 2023, Anhui, China, November 23-26, 2023, Proceedings

2026-03-26T08:04:08Z

Author Wu, Feng. editor. Huang, Xuanjing. editor. (orcid)0000-0001-9197-9426 He, Xiangnan. editor. Tang, Jiliang. editor. Zhao, Shu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7596-9
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

2026-03-26T08:04:08Z

Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55630-2
Format: Electronic Resources
Availability Online Library~1

Advances in Real-Time Intelligent Systems Real-Time Intelligent Systems 2023

2026-03-26T08:04:08Z

Author Pichappan, Pit. editor. (orcid)0000-0002-8558-0563 Rodriguez Jorge, Ricardo. editor. Chung, Yao-Liang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55848-1
Format: Electronic Resources
Availability Online Library~1

Role of Explainable Artificial Intelligence in E-Commerce

2026-03-26T08:04:08Z

Author Gaur, Loveleen. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55615-9
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings

2026-03-26T08:04:08Z

Author Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62799-6
Format: Electronic Resources
Availability Online Library~1

Causality for Artificial Intelligence From a Philosophical Perspective

2026-03-26T08:04:08Z

Author Vallverdú, Jordi. author. (orcid)0000-0001-9975-7780 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3187-9
Format: Electronic Resources
Availability Online Library~1

Feature Models AI-Driven Design, Analysis and Applications

2026-03-26T08:04:08Z

Author Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61874-1
Format: Electronic Resources
Availability Online Library~1

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I

2026-03-26T08:04:08Z

Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63787-2
Format: Electronic Resources
Availability Online Library~1

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

2026-03-26T08:04:08Z

Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63797-1
Format: Electronic Resources
Availability Online Library~1

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III

2026-03-26T08:04:08Z

Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63800-8
Format: Electronic Resources
Availability Online Library~1

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV

2026-03-26T08:04:08Z

Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63803-9
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings

2026-03-26T08:04:08Z

Author Thórisson, Kristinn R. editor. (orcid)0000-0003-3842-0564 Isaev, Peter. editor. Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65572-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of World Conference on Artificial Intelligence: Advances and Applications WCAIAA 2024

2026-03-26T08:04:08Z

Author Tripathi, Ashish Kumar. editor. Anand, Darpan. editor. (orcid)0000-0002-7067-0320 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-4496-1
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8429-9
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8432-9
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8540-1
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8549-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8462-6
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8546-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8558-6
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8552-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8555-5
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8543-2
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Mathematics for Tackling Complex Problems 5

2026-03-26T08:04:08Z

Author Cornejo, M.Eugenia. editor. Kóczy, László T. editor. (orcid)0000-0003-1316-4832 Medina, Jesús. editor. (orcid)0000-0002-3931-5873 Ramírez-Poussa, Eloísa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46979-4
Format: Electronic Resources
Availability Online Library~1

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III

2026-03-26T08:04:08Z

Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7025-4
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI-isAI 2023 International Workshops, JURISIN, SCIDOCA, EmSemi and AI-Biz, Kumamoto, Japan, June 4-6, 2023, Revised Selected Papers

2026-03-26T08:04:08Z

Author Bono, Mayumi. editor. Takama, Yasufumi. editor. (orcid)0000-0003-3072-5785 Satoh, Ken. editor. (orcid)0000-0002-9309-4602 Nguyen, Le-Minh. editor. (orcid)0000-0002-2265-1010 Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60511-6
Format: Electronic Resources
Availability Online Library~1

Generalizing from Limited Resources in the Open World Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings

2026-03-26T08:04:08Z

Author Guo, Jinyang. editor. (orcid)0000-0003-1956-3367 Ma, Yuqing. editor. Ding, Yifu. editor. Gong, Ruihao. editor. Zheng, Xingyu. editor. (orcid)0009-0009-6283-7635
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6125-8
Format: Electronic Resources
Availability Online Library~1

Advances in Self-Organizing Maps, Learning Vector Quantization, Interpretable Machine Learning, and Beyond Proceedings of the 15th International Workshop, WSOM+ 2024, Mittweida, Germany, July 10-12, 2024

2026-03-26T08:04:08Z

Author Villmann, Thomas. editor. (orcid)0000-0001-6725-0141 Kaden, Marika. editor. Geweniger, Tina. editor. Schleif, Frank-Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67159-3
Format: Electronic Resources
Availability Online Library~1

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I

2026-03-26T08:04:08Z

Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7019-3
Format: Electronic Resources
Availability Online Library~1

Computational Modelling of Robot Personhood and Relationality

2026-03-26T08:04:08Z

Author Clocksin, William F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44159-2
Format: Electronic Resources
Availability Online Library~1

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II

2026-03-26T08:04:08Z

Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7022-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III

2026-03-26T08:04:08Z

Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8435-0
Format: Electronic Resources
Availability Online Library~1

Data-Driven Approach for Bio-medical and Healthcare

2026-03-26T08:04:08Z

Author Dey, Nilanjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-5184-8
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Artificial Intelligence, 19th International Conference

2026-03-26T08:04:08Z

Author Omatu, Sigeru. editor. Mehmood, Rashid. editor. Sitek, Pawel. editor. Cicerone, Serafino. editor. Rodríguez, Sara. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20859-1
Format: Electronic Resources
Availability Online Library~1

Innovation in Medicine and Healthcare Proceedings of 11th KES-InMed 2023

2026-03-26T08:04:08Z

Author Chen, Yen-Wei. editor. Tanaka, Satoshi. editor. Howlett, R. J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-3311-2
Format: Electronic Resources
Availability Online Library~1

Handling Uncertainty in Artificial Intelligence

2026-03-26T08:04:08Z

Author Chaki, Jyotismita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5333-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Industrial Applications Smart Operation Management

2026-03-26T08:04:08Z

Author Masrour, Tawfik. editor. El Hassani, Ibtissam. editor. Barka, Noureddine. editor. (orcid)0000-0003-2330-8326 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43524-9
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Intelligence Enabled Research Selected Papers of Fourth Doctoral Symposium, DoSIER 2022

2026-03-26T08:04:08Z

Author Bhattacharyya, Siddhartha. editor. Das, Gautam. editor. De, Sourav. editor. Mrsic, Leo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1472-2
Format: Electronic Resources
Availability Online Library~1

Parallel population and parallel human : a cyber-physical social approach

2026-03-26T08:04:08Z

Author Ye, Peijun, author. Wang, Fei-Yue, author.
Preferred Shelf Number QA76.9 .H85
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394181926
Format: Electronic Resources
Availability Online Library~1

Multimodal AI in Healthcare A Paradigm Shift in Health Intelligence

2026-03-26T08:04:08Z

Author Shaban-Nejad, Arash. editor. Michalowski, Martin. editor. Bianco, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-14771-5
Format: Electronic Resources
Availability Online Library~1

Computational Cognition

2026-03-26T08:04:08Z

Author Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37499-9
Format: Electronic Resources
Availability Online Library~1

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1

2026-03-26T08:04:08Z

Author Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39774-5
Format: Electronic Resources
Availability Online Library~1

Modeling and use of context in action

2026-03-26T08:04:08Z

Author Brézillon, Patrick, editor. Turner, Roy M., editor.
Preferred Shelf Number Q180.55 .M4 M63 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163960
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and data mining approaches in security frameworks

2026-03-26T08:04:08Z

Author Bhargava, Neeraj. Bhargava, Ritu. Rathore, Pramod Singh, 1988- Agrawal, Rashmi, 1978-
Preferred Shelf Number Q335
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119760429
Format: Electronic Resources
Availability Online Library~1

Towards cognitive autonomous networks : network management automation for 5G and beyond

2026-03-26T08:04:08Z

Author Mwanje, Stephen S., editor Mannweiler, Christian., editor
Preferred Shelf Number TK5103.2
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119586449
Format: Electronic Resources
Availability Online Library~1

Soft computing evaluation logic : the LSP decision method and its applications

2026-03-26T08:04:08Z

Author Dujmovic, Jozo, 1941- author.
Preferred Shelf Number QA76.9 .S63 D85 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489
Format: Electronic Resources
Availability Online Library~1

Knowledge Management in Organizations 12th International Conference, KMO 2017, Beijing, China, August 21-24, 2017, Proceedings

2026-03-26T08:04:08Z

Author Uden, Lorna. editor. Lu, Wei. editor. Ting, I-Hsien. editor. (orcid)0000-0002-6587-2438 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62698-7
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

2026-03-26T08:04:08Z

Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60042-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Autonomous Systems 14 Proceedings of the 14th International Conference IAS-14

2026-03-26T08:04:08Z

Author Chen, Weidong. editor. Hosoda, Koh. editor. Menegatti, Emanuele. editor. Shimizu, Masahiro. editor. Wang, Hesheng. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48036-7
Format: Electronic Resources
Availability Online Library~1

Springer Handbook of Model-Based Science

2026-03-26T08:04:08Z

Author Magnani, Lorenzo. editor. Bertolotti, Tommaso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30526-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence XXXIV 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings

2026-03-26T08:04:08Z

Author Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71078-5
Format: Electronic Resources
Availability Online Library~1

Introduction to Artificial Intelligence

2026-03-26T08:04:08Z

Author Ertel, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58487-4
Format: Electronic Resources
Availability Online Library~1

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2026-03-26T08:04:08Z

Author Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70169-1
Format: Electronic Resources
Availability Online Library~1

Fuzzy Pictures as Philosophical Problem and Scientific Practice A Study of Visual Vagueness

2026-03-26T08:04:08Z

Author Cat, Jordi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47190-7
Format: Electronic Resources
Availability Online Library~1

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I

2026-03-26T08:04:08Z

Author Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58068-5
Format: Electronic Resources
Availability Online Library~1

Rough Sets International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings, Part I

2026-03-26T08:04:08Z

Author Polkowski, Lech. editor. Yao, Yiyu. editor. Artiemjew, Piotr. editor. Ciucci, Davide. editor. Liu, Dun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60837-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II

2026-03-26T08:04:08Z

Author Nguyen, Ngoc Thanh. editor. Tojo, Satoshi. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54430-4
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings

2026-03-26T08:04:08Z

Author Phon-Amnuaisuk, Somnuk. editor. Ang, Swee-Peng. editor. Lee, Soo-Young. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69456-6
Format: Electronic Resources
Availability Online Library~1

Companion Technology A Paradigm Shift in Human-Technology Interaction

2026-03-26T08:04:08Z

Author Biundo, Susanne. editor. Wendemuth, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43665-4
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-26T08:04:08Z

Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54292-8
Format: Electronic Resources
Availability Online Library~1

Rough Sets International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings, Part II

2026-03-26T08:04:08Z

Author Polkowski, Lech. editor. Yao, Yiyu. editor. Artiemjew, Piotr. editor. Ciucci, Davide. editor. Liu, Dun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60840-2
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings

2026-03-26T08:04:08Z

Author Mouhoub, Malek. editor. Langlais, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57351-9
Format: Electronic Resources
Availability Online Library~1

Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications

2026-03-26T08:04:08Z

Author Raza, Muhammad Summair. author. Qamar, Usman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4965-1
Format: Electronic Resources
Availability Online Library~1

Granular, Soft and Fuzzy Approaches for Intelligent Systems Dedicated to Professor Ronald R. Yager

2026-03-26T08:04:08Z

Author Kacprzyk, Janusz. editor. Filev, Dimitar. editor. Beliakov, Gleb. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40314-4
Format: Electronic Resources
Availability Online Library~1

Robot Intelligence Technology and Applications 4 Results from the 4th International Conference on Robot Intelligence Technology and Applications

2026-03-26T08:04:08Z

Author Kim, Jong-Hwan. editor. Karray, Fakhri. editor. Jo, Jun. editor. Sincak, Peter. editor. Myung, Hyun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31293-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings

2026-03-26T08:04:08Z

Author Różewski, Przemysław. editor. Lange, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69548-8
Format: Electronic Resources
Availability Online Library~1

Semantic Technology 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings

2026-03-26T08:04:08Z

Author Wang, Zhe. editor. Turhan, Anni-Yasmin. editor. (orcid)0000-0001-6336-335X Wang, Kewen. editor. Zhang, Xiaowang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70682-5
Format: Electronic Resources
Availability Online Library~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-03-26T08:04:08Z

Author Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69868-7
Format: Electronic Resources
Availability Online Library~1

Real-life Applications with Membrane Computing

2026-03-26T08:04:08Z

Author Zhang, Gexiang. author. Pérez-Jiménez, Mario J. author. Gheorghe, Marian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55989-6
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Process-Aware Information Systems Concepts, Methods, and Technologies

2026-03-26T08:04:08Z

Author Grambow, Gregor. editor. Oberhauser, Roy. editor. Reichert, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52181-7
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings

2026-03-26T08:04:08Z

Author Li, Gang. editor. (orcid)0000-0003-1583-641X Ge, Yong. editor. Zhang, Zili. editor. Jin, Zhi. editor. Blumenstein, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63558-3
Format: Electronic Resources
Availability Online Library~1

Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

2026-03-26T08:04:08Z

Author Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62428-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I

2026-03-26T08:04:08Z

Author Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62434-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I

2026-03-26T08:04:08Z

Author Nguyen, Ngoc Thanh. editor. Tojo, Satoshi. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54472-4
Format: Electronic Resources
Availability Online Library~1

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

2026-03-26T08:04:08Z

Author Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67190-1
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings

2026-03-26T08:04:08Z

Author Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65340-2
Format: Electronic Resources
Availability Online Library~1

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part II

2026-03-26T08:04:08Z

Author Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58451-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-26T08:04:08Z

Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62075-6
Format: Electronic Resources
Availability Online Library~1

Quantitative Logic and Soft Computing 2016 Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016

2026-03-26T08:04:08Z

Author Fan, Tai-He. editor. Chen, Shui-Li. editor. Wang, San-Min. editor. Li, Yong-Ming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46206-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Knowledge Management EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised Selected Papers

2026-03-26T08:04:08Z

Author Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Horridge, Matthew. editor. Zhao, Jun. editor. Groza, Tudor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58694-6
Format: Electronic Resources
Availability Online Library~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-26T08:04:08Z

Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II

2026-03-26T08:04:08Z

Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60045-1
Format: Electronic Resources
Availability Online Library~1

Combinations of Intelligent Methods and Applications Proceedings of the 4th International Workshop, CIMA 2014, Limassol, Cyprus, November 2014 (at ICTAI 2014)

2026-03-26T08:04:08Z

Author Hatzilygeroudis, Ioannis. editor. Palade, Vasile. editor. Prentzas, Jim. editor. (orcid)0000-0002-9882-0351 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26860-6
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings

2026-03-26T08:04:08Z

Author Khoury, Richard. editor. Drummond, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34111-8
Format: Electronic Resources
Availability Online Library~1

Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

2026-03-26T08:04:08Z

Author Li, Yuan-Fang. editor. Hu, Wei. editor. Dong, Jin Song. editor. Antoniou, Grigoris. editor. Wang, Zhe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50112-3
Format: Electronic Resources
Availability Online Library~1

Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

2026-03-26T08:04:08Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39402-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision Technologies 2016 Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016) - Part I

2026-03-26T08:04:08Z

Author Czarnowski, Ireneusz. editor. (orcid)0000-0003-0867-3114 Caballero, Alfonso Mateos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39630-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Artificial Intelligence

2026-03-26T08:04:08Z

Author Flasiński, Mariusz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40022-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision Technologies 2016 Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016) - Part II

2026-03-26T08:04:08Z

Author Czarnowski, Ireneusz. editor. (orcid)0000-0003-0867-3114 Caballero, Alfonso Mateos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39627-9
Format: Electronic Resources
Availability Online Library~1

Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings

2026-03-26T08:04:08Z

Author Davis, Brian. editor. Pace, Gordon J. editor. Wyner, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41498-0
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2026-03-26T08:04:08Z

Author Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48758-8
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence - IBERAMIA 2016 15th Ibero-American Conference on AI, San José, Costa Rica, November 23-25, 2016, Proceedings

2026-03-26T08:04:08Z

Author Montes y Gómez, Manuel. editor. Escalante, Hugo Jair. editor. (orcid)0000-0003-4603-3513 Segura, Alberto. editor. Murillo, Juan de Dios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47955-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings

2026-03-26T08:04:08Z

Author Gyssens, Marc. editor. Simari, Guillermo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30024-5
Format: Electronic Resources
Availability Online Library~1

A New Perspective on Nonmonotonic Logics

2026-03-26T08:04:08Z

Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46817-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems and Applications Extended and Selected Results from the SAI Intelligent Systems Conference (IntelliSys) 2015

2026-03-26T08:04:08Z

Author Bi, Yaxin. editor. Kapoor, Supriya. editor. Bhatia, Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33386-1
Format: Electronic Resources
Availability Online Library~1

Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers

2026-03-26T08:04:08Z

Author Qi, Guilin. editor. Kozaki, Kouji. editor. Pan, Jeff Z. editor. Yu, Siwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31676-5
Format: Electronic Resources
Availability Online Library~1

Advances in Physarum Machines Sensing and Computing with Slime Mould

2026-03-26T08:04:08Z

Author Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26662-6
Format: Electronic Resources
Availability Online Library~1

AI 2016: Advances in Artificial Intelligence 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings

2026-03-26T08:04:08Z

Author Kang, Byeong Ho. editor. Bai, Quan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50127-7
Format: Electronic Resources
Availability Online Library~1

The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings

2026-03-26T08:04:08Z

Author Sack, Harald. editor. Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 d'Aquin, Mathieu. editor. Ghidini, Chiara. editor. Ponzetto, Simone Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34129-3
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2026-03-26T08:04:08Z

Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

2026-03-26T08:04:08Z

Author Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49397-8
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings

2026-03-26T08:04:08Z

Author Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45856-4
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

2026-03-26T08:04:08Z

Author Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0356-1
Format: Electronic Resources
Availability Online Library~1

Computational Autism

2026-03-26T08:04:08Z

Author Galitsky, Boris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39972-0
Format: Electronic Resources
Availability Online Library~1

Relaxed Abduction Robust Information Interpretation for Industrial Applications

2026-03-26T08:04:08Z

Author Hubauer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-14407-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Autonomous Systems 13 Proceedings of the 13th International Conference IAS-13

2026-03-26T08:04:08Z

Author Menegatti, Emanuele. editor. Michael, Nathan. editor. Berns, Karsten. editor. Yamaguchi, Hiroaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08338-4
Format: Electronic Resources
Availability Online Library~1

Beyond Artificial Intelligence The Disappearing Human-Machine Divide

2026-03-26T08:04:08Z

Author Romportl, Jan. editor. Zackova, Eva. editor. Kelemen, Jozef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09668-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)

2026-03-26T08:04:08Z

Author Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19857-6
Format: Electronic Resources
Availability Online Library~1

Design Computing and Cognition '14

2026-03-26T08:04:08Z

Author Gero, John S. editor. Hanna, Sean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14956-1
Format: Electronic Resources
Availability Online Library~1

Pattern Analysis, Intelligent Security and the Internet of Things

2026-03-26T08:04:08Z

Author Abraham, Ajith. editor. Muda, Azah Kamilah. editor. Choo, Yun-Huoy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17398-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cognitive Systems

2026-03-26T08:04:08Z

Author Nefti, S., ed. Gray, J. O., ed.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBCE071E
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence with uncertainty

2026-03-26T08:04:08Z

Author Li, Deyi, 1944, author. Du, Yi, 1971-
Preferred Shelf Number Q335 .L5 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain

2026-03-26T08:04:08Z

Author Konar, Amit, author.
Preferred Shelf Number QA76.9 .S63 K59 2000
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Do the right thing studies in limited rationality

2026-03-26T08:04:08Z

Author Russell, Stuart J. (Stuart Jonathan) Wefald, Eric, -1989.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267430
Format: Electronic Resources
Availability Online Library~1