1. Introduction to default logic

by Besnard, Philippe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1989Availability: Items available for loan: [Call number: 006.3 BES] (1).
2. Emerging semantic web : selected papers from the first semantic web working symposium

by Cruz, Isabel | Decker, Stefan | Euzenat, Jerome | McGuinness, Deborah.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: IOS Press, 2002Availability: Items available for loan: [Call number: 025.04 CRU] (1).
3. Real world semantic web applications

by Kashyap, Vipul | Shklar, Leon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: IOS Press, 2002Availability: Items available for loan: [Call number: 004.678 KAS] (1).
4. Applied public key infrastructure : 4th International Workshop : IWAP 2005

by Zhou, Jianying.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: IOS Press, 2006Availability: Items available for loan: [Call number: 005.82 ZHO] (1).
5. Plan-based control of robotic agents : improving the capabilities of autonomous robots

by Beetz, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 006.3 BEE] (1).
6. Advanced Lectures on machine learning : machine learning summer school 2002 Canberra, Australia, february 11-22, 2002

by Mendelson, Shahar | Mendelson, Shahar | Smola, Alexander J | Smola, Alexander J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 006.3 MEN] (1).
7. Artificial intelligence in medicine : 9th Conference in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 : proceedings

by Dojat, Michel | Barahona, Pedro | Keravnou, Elpida.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 DOJ] (1).
8. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings

by Basin, David | Rusinowitch, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 BAS] (1).
9. Intelligent information integration for the semantic web

by Carbonell, J. G | Siekmann, J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 VIS] (1).
10. Text, speech and dialogue : 7th international conference, TSD 2004 Brno, Czech republic, September 2004 proceedings

by Sojka, Petr | Kopecek, Ivan | Kopecek, Ivan | Pala, Karel | Pala, Karel | Sojka, Petr.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 SOJ] (1).
11. Advanced lectures on machine learning : ML Summer Schools 2003 : Canberra, Australia, February 2-14 2003 / Tubingen, Germany, August 4-16 2003 : revised lectures

by Bousquet, Olivier | Luxburg, Ulrike von | Ratsch, Gunnar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 BOU] (1).
12. Advances in natural language processing : 4th international conference, EsTAL 2004 : Alicante, Spain, October 20-22 2004 : proceedings

by Vicedo, Josa Luis | Martinez-Barco, Patricio | Munoz, Rafael | Noeda, Maximiliano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 VIC] (1).
13. Data mining and knowledge management : Chinese Academy of Sciences symposium CASDMKM 2004, Beijing, China, July 12-14, 2004, revised papers

by Shi, Yong | Chen, Zhengxin | Xu, Weixuan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 SHI] (1).
14. Computational logic in multi-agent systems : 4th international workshop, CLIMA IV Fort Lauderdale, Fl, USA, january 2004

by Dix, Jurgen | Leite, Joao.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 DIX] (1).
15. Practical aspects of knowledge management : 5th international conference, PAKM 2004, Vienna, Austria, December 2004 ; proceedings

by Karagiannis, Dimitris | Karagiannis, Dimitris | Reimer, Ulrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 KAR] (1).
16. Systems modeling and simulation : theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 ; revised selected papers

by Baik, Doo-Kwon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 BAI] (1).
17. Logical aspects of computational linguistics : 5th international conference, LACL 2005, Bordeaux, France April 2005 ; proceedings

by Stabler, Edward | Blache, Philippe | Busquets, Joan | Moot, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 BLA] (1).
18. Socionics : scalability of complex social systems (LNAI - 3413)

by Fischer, Klaus | Fischer, Klaus | Florian, Michael | Malsch, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 FIS] (1).
19. Agents and peer-to-peer computing : first international workshop, AP2PC 2002, Bologna, Italy, July 15, 2002 ; revised and invited papers

by Koubarakis, Manolis | Moro, Gianluca.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MOR] (1).
20. Learning theory and kernel machines: 16th annual conference on learning theory and 7th kernal workshop, COLT/KErnal 2003 Washington, DC, USA, August 24-27, 2003: Proceedings

by Scholkopf, Bernhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 SCH] (1).

Powered by Koha