Search Results for Reasoning. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dReasoning.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-11-14T09:11:29Z
Case-Based Approximate Reasoning
ent://SD_ILS/0/SD_ILS:169568
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Hüllermeier, Eyke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5695-8">http://dx.doi.org/10.1007/1-4020-5695-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robots, Reasoning, and Reification
ent://SD_ILS/0/SD_ILS:167813
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-87488-3">http://dx.doi.org/10.1007/978-0-387-87488-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural-Symbolic Cognitive Reasoning
ent://SD_ILS/0/SD_ILS:186786
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linked Data Storing, Querying, and Reasoning
ent://SD_ILS/0/SD_ILS:401935
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73515-3">https://doi.org/10.1007/978-3-319-73515-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning A Textbook
ent://SD_ILS/0/SD_ILS:334902
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334902.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40167-1">http://dx.doi.org/10.1007/978-3-642-40167-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decentralized Reasoning in Ambient Intelligence
ent://SD_ILS/0/SD_ILS:173543
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4168-6">http://dx.doi.org/10.1007/978-1-4471-4168-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Reasoning A Formal Approach
ent://SD_ILS/0/SD_ILS:185626
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Reasoning with Vague Concepts
ent://SD_ILS/0/SD_ILS:165711
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Lawry, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30262-X">http://dx.doi.org/10.1007/0-387-30262-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332107.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Domain-Level Reasoning for Spoken Dialogue Systems
ent://SD_ILS/0/SD_ILS:173291
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9728-9">http://dx.doi.org/10.1007/978-1-4419-9728-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Satisfaction Techniques for Agent-Based Reasoning
ent://SD_ILS/0/SD_ILS:197849
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Neagu, Nicoleta. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137139">http://dx.doi.org/10.1007/b137139</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402536
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398962
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:399284
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00338-8">https://doi.org/10.1007/978-3-030-00338-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400874
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334092
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.<br/>Preferred Shelf Number ONLINE(334092.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334832.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334848
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334848.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334719
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334719.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39056-2">http://dx.doi.org/10.1007/978-3-642-39056-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Gaag, Linda C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334728.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197327
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33158-9">http://dx.doi.org/10.1007/978-3-642-33158-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197336
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33203-6">http://dx.doi.org/10.1007/978-3-642-33203-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196702
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29449-5">http://dx.doi.org/10.1007/978-3-642-29449-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197306
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32986-9">http://dx.doi.org/10.1007/978-3-642-32986-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194920
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194930
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Liu, Weiru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195060
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22546-8">http://dx.doi.org/10.1007/978-3-642-22546-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195217
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23032-5">http://dx.doi.org/10.1007/978-3-642-23032-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195299
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23291-6">http://dx.doi.org/10.1007/978-3-642-23291-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference
ent://SD_ILS/0/SD_ILS:207018
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-11-4">http://dx.doi.org/10.2991/978-94-91216-11-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
ent://SD_ILS/0/SD_ILS:195071
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Hartanto, Ronny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195384
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23580-1">http://dx.doi.org/10.1007/978-3-642-23580-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193176
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16074-5">http://dx.doi.org/10.1007/978-3-642-16074-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:194501
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:193003
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15543-7">http://dx.doi.org/10.1007/978-3-642-15543-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192577
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14203-1">http://dx.doi.org/10.1007/978-3-642-14203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192600
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14274-1">http://dx.doi.org/10.1007/978-3-642-14274-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193127
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15918-3">http://dx.doi.org/10.1007/978-3-642-15918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:191152
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05082-4">http://dx.doi.org/10.1007/978-3-642-05082-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190485
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02998-1">http://dx.doi.org/10.1007/978-3-642-02998-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190634
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03459-6">http://dx.doi.org/10.1007/978-3-642-03459-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190408
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02716-1">http://dx.doi.org/10.1007/978-3-642-02716-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190456
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02906-6">http://dx.doi.org/10.1007/978-3-642-02906-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:190727
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186004
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70596-3">http://dx.doi.org/10.1007/978-3-540-70596-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
ent://SD_ILS/0/SD_ILS:169939
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188878
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87601-4">http://dx.doi.org/10.1007/978-3-540-87601-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189114
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88737-9">http://dx.doi.org/10.1007/978-3-540-88737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188712
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85502-6">http://dx.doi.org/10.1007/978-3-540-85502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:188747
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189332
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89765-1">http://dx.doi.org/10.1007/978-3-540-89765-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186472
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72200-7">http://dx.doi.org/10.1007/978-3-540-72200-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187067
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74141-1">http://dx.doi.org/10.1007/978-3-540-74141-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186741
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Olivetti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187471
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75666-8">http://dx.doi.org/10.1007/978-3-540-75666-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:187554
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75989-8">http://dx.doi.org/10.1007/978-3-540-75989-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:187214
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187375
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Mellouli, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75256-1">http://dx.doi.org/10.1007/978-3-540-75256-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184450
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805816">http://dx.doi.org/10.1007/11805816</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:184679
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11837787">http://dx.doi.org/10.1007/11837787</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184738
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11853107">http://dx.doi.org/10.1007/11853107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185067
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184493
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
ent://SD_ILS/0/SD_ILS:184651
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11829263">http://dx.doi.org/10.1007/11829263</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183242
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106616">http://dx.doi.org/10.1007/b106616</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:182822
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182908
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Beckert, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182913
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11546207">http://dx.doi.org/10.1007/11546207</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182941
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11536406">http://dx.doi.org/10.1007/11536406</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182974
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Godo, Lluís. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138862">http://dx.doi.org/10.1007/b138862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Robots The Art and Science of Programming Robotic Agents
ent://SD_ILS/0/SD_ILS:152109
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Thielscher, Michael. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3069-X">http://dx.doi.org/10.1007/1-4020-3069-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
ent://SD_ILS/0/SD_ILS:183093
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
ent://SD_ILS/0/SD_ILS:175236
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138799">http://dx.doi.org/10.1007/b138799</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
ent://SD_ILS/0/SD_ILS:336157
2024-11-14T09:11:29Z
2024-11-14T09:11:29Z
Author Cellucci, Carlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>