Limit Search Results
Author
SpringerLink (Online service)
(133)
Voronkov, Andrei. editor.
(9)
Croitoru, Madalina. editor.
(4)
Jain, Lakhmi C. editor.
(4)
d’Amato, Claudia. editor.
(4)
Language
English
(139)
Publication Date
-
Subject
Computer science.
(79)
Logic design.
(31)
Software engineering.
(31)
Information systems.
(23)
Information storage and retrieval systems.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
139 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework
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: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
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: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings
Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
Natural and Artificial Reasoning An Exploration of Modelling Human Thinking
Author 
Addis, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11286-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
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: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action