Limit Search Results
Author
SpringerLink (Online service)
(139)
Voronkov, Andrei. editor.
(9)
Schmidt, Renate A. editor.
(4)
d’Amato, Claudia. editor.
(4)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(3)
Language
English
(140)
Publication Date
-
Subject
Artificial intelligence.
(103)
Software engineering.
(60)
Logic design.
(34)
Information systems.
(32)
Information storage and retrieval systems.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
140 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
Author 
Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23580-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
Author 
Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15918-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
Select an Action