Search Results for Logic. - Narrowed by: 2005 - Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-05T22:42:55Z Fuzzy Equational Logic ent://SD_ILS/0/SD_ILS:183348 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;B&#283;lohl&aacute;vek, Radim. author.&#160;Vychodil, Vil&eacute;m. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic, Identification and Predictive Control ent://SD_ILS/0/SD_ILS:175220 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Espinosa, Jairo. author.&#160;Vandewalle, Joos. author.&#160;Wertz, Vincent. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic in Financial Analysis ent://SD_ILS/0/SD_ILS:183311 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Gil-Lafuente, Anna Maria. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32368-6">http://dx.doi.org/10.1007/3-540-32368-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:182272 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Dix, J&uuml;rgen. editor.&#160;Leite, Jo&atilde;o. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104175">http://dx.doi.org/10.1007/b104175</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Baral, Chitta. editor.&#160;Greco, Gianluigi. editor.&#160;Leone, Nicola. editor.&#160;Terracina, Giorgio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11546207">http://dx.doi.org/10.1007/11546207</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182937 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Kramer, Stefan. editor.&#160;Pfahringer, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11536314">http://dx.doi.org/10.1007/11536314</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:182943 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Torroni, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11533092">http://dx.doi.org/10.1007/11533092</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183183 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor.&#160;Geske, Ulrich. editor.&#160;Bartenstein, Oskar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135595">http://dx.doi.org/10.1007/b135595</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Chen-Burger, Yun-Heh. author.&#160;Robertson, Dave. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138799">http://dx.doi.org/10.1007/b138799</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Sutcliffe, Geoff. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 &ndash; 28, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182829 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Etalle, Sandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137785">http://dx.doi.org/10.1007/b137785</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182983 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183019 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Gabbrielli, Maurizio. editor.&#160;Gupta, Gopal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11562931">http://dx.doi.org/10.1007/11562931</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183239 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Faltings, Boi V. editor.&#160;Petcu, Adrian. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Baader, Franz. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Robots The Art and Science of Programming Robotic Agents ent://SD_ILS/0/SD_ILS:152109 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Thielscher, Michael.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Dynamics of Thought ent://SD_ILS/0/SD_ILS:152137 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;G&auml;rdenfors, Peter.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3399-0">http://dx.doi.org/10.1007/1-4020-3399-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information, Interaction and Agency ent://SD_ILS/0/SD_ILS:152227 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Hoek, Wiebe.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4094-6">http://dx.doi.org/10.1007/1-4020-4094-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182375 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Odell, James. editor.&#160;Giorgini, Paolo. editor.&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:181842 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Moreno, J. Manuel. editor.&#160;Madrenas, Jordi. editor.&#160;Cosp, Jordi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182479 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Hinchey, Michael G. editor.&#160;Rash, James L. editor.&#160;Truszkowski, Walter F. editor.&#160;Rouff, Christopher A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers ent://SD_ILS/0/SD_ILS:182887 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Priami, Corrado. editor.&#160;Quaglia, Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182907 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Hurd, Joe. editor.&#160;Melham, Tom. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 &ndash; 11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182915 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Moreno D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182950 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Nieuwenhuis, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11532231">http://dx.doi.org/10.1007/11532231</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182968 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Zucker, Jean-Daniel. editor.&#160;Saitta, Lorenza. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11527862">http://dx.doi.org/10.1007/11527862</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183172 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Montoyo, Andr&eacute;s. editor.&#160;Mu&#324;oz, Rafael. editor.&#160;M&eacute;tais, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:183367 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Middeldorp, Aart. editor.&#160;Oostrom, Vincent. editor.&#160;Raamsdonk, Femke. editor.&#160;Vrijer, Roel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182752 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Hoos, Holger H. editor.&#160;Mitchell, David G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Eisinger, Norbert. editor.&#160;Ma&#322;uszy&#324;ski, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182826 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Bacchus, Fahiem. editor.&#160;Walsh, Toby. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182832 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Etessami, Kousha. editor.&#160;Rajamani, Sriram K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138445">http://dx.doi.org/10.1007/b138445</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183000 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Omicini, Andrea. editor.&#160;Torroni, Paolo. editor.&#160;Yolum, pInar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183056 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Bodik, Rastislav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr&uuml;cken, Germany, October 3-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183095 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Borrione, Dominique. editor.&#160;Paul, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183098 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Giesl, J&uuml;rgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183115 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Beek, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183187 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Barley, Michael Wayne. editor.&#160;Kasabov, Nik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107183">http://dx.doi.org/10.1007/b107183</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183145 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Gil, Yolanda. editor.&#160;Motta, Enrico. editor.&#160;Benjamins, V. Richard. editor.&#160;Musen, Mark A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechanizing Mathematical Reasoning Essays in Honor of J&ouml;rg H. Siekmann on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:183241 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Hutter, Dieter. editor.&#160;Stephan, Werner. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183245 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Eijk, Rogier M. editor.&#160;Huget, Marc-Philippe. editor.&#160;Dignum, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers ent://SD_ILS/0/SD_ILS:183247 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning ent://SD_ILS/0/SD_ILS:183261 2024-09-05T22:42:55Z 2024-09-05T22:42:55Z Author&#160;Kudenko, Daniel. editor.&#160;Kazakov, Dimitar. editor.&#160;Alonso, Eduardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106974">http://dx.doi.org/10.1007/b106974</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>