Koha online

1.
Memory practices in the sciences

by Bowker, Geoffrey C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2006Availability: Items available for loan: [Call number: 501 BOW] (1).
Place hold
2.
Knowledge representation and reasoning

by Levesque, Hector J | Brachman, Ronald J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 2004Availability: Items available for loan: [Call number: 006.332 BRA] (1).
Place hold
3.
Principles and Practice of Semantic Web reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003 : proceedings

by Bry, Francois | Henze, Nicola | Maluszynski, Jan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRY] (1).
Place hold
4.
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).
Place hold
5.
Knowledge representation techniques : a rough set approach

by Doherty, Patrick | Lukaszewicz, Witold | Skowron, Andrzej | Szalas, Andrzej.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 006.3 DOH] (1).
Place hold
6.
Spatial reasoning and planning : geometry, mechanism, and motion

by Liu, Jiming | Daneshmend, Laeeque K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 LIU] (1).
Place hold
7.
Handbook on ontologies

by Studer, R | Staab, Steffen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 003.54 STA ] (1).
Place hold
8.
No cover image available
Mathematical Foundations of Computer Science 1999

by Kutytowski, Mirostaw.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 KUT] (1).
Place hold
9.
Logic of knowledge bases

by Levesque, Hector J | Lakemeyer, Gerhard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 006.332 LEV] (1).
Place hold
10.
Knowledge in action : logical foundations for specifying and implementing dynamical systems

by Reiter, Raymond.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2001Availability: Items available for loan: [Call number: 006.332 REI] (1).
Place hold
11.
Handbook of knowledge representation

by Van Harmelen, Frank | Lifschitz, Vladimir | Porter, Bruce.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Elsevier, 2007Availability: Items available for loan: [Call number: 006.332 VAN ] (1).
Place hold
12.
Description logic handbook : theory, implementation, and applications

by Baader, Franz.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 006.332 BAA] (1).
Place hold
13.
Knowledge representation, reasoning, and declarative problem solving

by Baral, Chitta.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 006.33 BAR] (1).
Place hold
14.
Representation and management of narrative information : theoretical principles and implementation

by Zarri, Gian Piero.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 003.54 ZAR] (1).
Place hold
15.
Ontologies for agents : theory and experiences

by Tamma, Valentina | Cranefield, Stephen | Finin, Timothy W | Willmott, Steven.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkh�user, 2005Availability: Items available for loan: [Call number: 006.3 TAM] (1).
Place hold
16.
Handbook of software engineering and knowledge engineering. Volume 1, fundamentals

by Chang, S. K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2002Availability: Items available for loan: [Call number: 005.1 CHA ] (1).
Place hold
17.
Handbook of software engineering and knowledge engineering. Volume 2, emerging technologies

by Chang, S. K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2002Availability: Items available for loan: [Call number: 005.1 CHA ] (1).
Place hold
18.
Handbook of software engineering and knowledge engineering. Volume 3, recent advances

by Chang, S. K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2005Availability: Items available for loan: [Call number: 005.1 CHA ] (1).
Place hold
19.
Natural Language Processing and Knowledge Representation

by Iwanska, Likja M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hyderabad: Universities Press, 2001Availability: Items available for loan: [Call number: 006.35 IWA] (1).
Place hold
20.
Rebooting AI : building artificial intelligence we can trust

by Marcus, Gary | Davis, Ernest.

Publisher: New York : Vintage Books, 2019Availability: Items available for loan: [Call number: 006.3 MAR] (1).
Place hold

Powered by Koha