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
94 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Author 
Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28717-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Author 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
Author 
Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32986-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
Author 
Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33158-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Author 
Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33203-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Author 
Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31365-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Author 
Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29449-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
Author 
Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22546-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
Author 
Hartanto, Ronny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22580-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets