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
1. 
Cover image for Methods of legal reasoning
Methods of legal reasoning
Author 
Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4939-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
Author 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Reasoning about Preference Dynamics
Reasoning about Preference Dynamics
Author 
Liu, Fenrong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1344-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Constitutionalism and Legal Reasoning
Constitutionalism and Legal Reasoning
Author 
Torre, Massimo La. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Case-Based Approximate Reasoning
Case-Based Approximate Reasoning
Author 
Hüllermeier, Eyke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5695-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Robots, Reasoning, and Reification
Robots, Reasoning, and Reification
Author 
Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87488-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
Author 
d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
XX(520609.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Handbook of Parallel Constraint Reasoning
Handbook of Parallel Constraint Reasoning
Author 
Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63516-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Linked Data Storing, Querying, and Reasoning
Linked Data Storing, Querying, and Reasoning
Author 
Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73515-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Successful Case-based Reasoning Applications-2
Successful Case-based Reasoning Applications-2
Author 
Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-38736-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Case-Based Reasoning A Textbook
Case-Based Reasoning A Textbook
Author 
Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334902.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action