Limit Search Results
Author
Voronkov, Andrei. editor.
(10)
Croitoru, Madalina. editor.
(5)
Rudolph, Sebastian. editor.
(5)
Eiter, Thomas. editor.
(4)
Iliadis, Lazaros. editor. (orcid)
(4)
Language
Publication Date
-
2023
(87)
2015
(66)
2011
(17)
2005
(16)
2008
(15)
Subject
Artificial intelligence.
(117)
Computer science.
(94)
Software engineering.
(40)
Information systems.
(34)
Logic design.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
307 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Case-Based Reasoning on Images and Signals
Case-Based Reasoning on Images and Signals
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73180-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Visualization, Explanation and Reasoning Styles in Mathematics
Visualization, Explanation and Reasoning Styles in Mathematics
Author 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint Satisfaction Techniques for Agent-Based Reasoning
Author 
Neagu, Nicoleta. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137139
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521244.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures
Author 
Bertossi, Leopoldo. editor. Xiao, Guohui. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521291.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31414-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings
Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings
Author 
Massie, Stewart. editor. Chakraborti, Sutanu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521060.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses
Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses
Author 
Dobber, Jos. author. Harmsen, José. author. van Iersel, Margriet. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521939.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27069-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Author 
Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521072.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40960-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Author 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings
Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings
Author 
Bach, Kerstin. editor. (orcid)0000-0002-4256-7676 Marling, Cindy. editor. (orcid)0000-0002-4155-5155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29249-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action