Limit Search Results
Author
SpringerLink (Online service)
(94)
Voronkov, Andrei. editor.
(9)
d’Amato, Claudia. editor.
(4)
Lukasiewicz, Thomas. editor.
(3)
Polleres, Axel. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(79)
Software engineering.
(37)
Logic design.
(34)
Information systems.
(32)
Information storage and retrieval systems.
(27)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
94 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
Cover image for Decentralized Reasoning in Ambient Intelligence
Decentralized Reasoning in Ambient Intelligence
Author 
Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cognitive Reasoning A Formal Approach
Cognitive Reasoning A Formal Approach
Author 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Modelling and Reasoning with Vague Concepts
Modelling and Reasoning with Vague Concepts
Author 
Lawry, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30262-X
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for A General Framework for Reasoning On Inconsistency
A General Framework for Reasoning On Inconsistency
Author 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Domain-Level Reasoning for Spoken Dialogue Systems
Domain-Level Reasoning for Spoken Dialogue Systems
Author 
Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Author 
Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78102-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action