|
|
1.
|
METHODS AND TOOLS FOR APPLIED ARTIFICIAL INTELLIGENCE
by Popovic,Dobrivoje | Bhatkar,Vijay P. Material type:  Book Description: xvii,523.Publisher: Marcel Dekker, New York c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 P815M] (1).
|
|
|
2.
|
ONTOLOGIES FOR SOFTWARE ENGINEERING AND SOFTWARE TECHNOLOGY
by Amarendra,G.,Raj,Baldev | Manghnani,M. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 220.Publisher: Springer-Verlag, Berlin 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 O8] (1).
|
|
|
3.
|
AN INTRODUCTION TO KNOWLEDGE ENGINEERING
by Kendal,S. L | Creen,M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,287.Publisher: Springer-Verlag, London 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 K33I] (1).
|
|
|
4.
|
ROUGH SETS
by Pawlak,Zdzslaw. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,229.Publisher: Kluwer Academic Publishers B. V., Dordrecht 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 P289R] (1).
|
|
|
5.
|
KNOWLEDGE REPRESENTATION
by Sowa,John F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,594.Publisher: Brooks/Cole Publishing Co., Pacific Grove 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.54 SO91K] (1).
|
|
|
6.
|
KNOWLEDGE IN ACTION
by Reiter,Raymond. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,424.Publisher: The Mit Press, Cambridge 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 R278K] (1).
|
|
|
7.
|
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
: Emergent Neural Computational Architectures based on Neuroscience
by Wermter, Stefan [ed.] | Austin, Jim [ed.] | Willshaw, David [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 517p.Publisher: Berlin Springer-Verlag 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.2036] (1).
|
|
|
8.
|
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
by Freksa,Christian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,517.Publisher: Springer-Verlag, Berlin 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
9.
|
Knowledge representation, reasoning and declarative problem solving
by Baral, Chitta. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv.Publisher: Cambridge Cambridge University Press 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 B231k] (1).
|
|
|
10.
|
Knowledge representation and reasoning
by Brachman, Ronald J | Levesque, Hector J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxix, 381p.Publisher: Amsterdam Elsevier 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 B723k] (1).
|
|
|
11.
|
Handbook of knowledge representation
by Harmelen, Frank Van, Lifschitz, Vladimir | Porter, Bruce Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxviii, 1005p.Publisher: Amsterdam Elsevier 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 H192h] (1).
|
|
|
12.
|
Knowledge in formation
: a computational theory of interpretation
by Sarbo, Janos J | Farkas, Jozsef I | Van Breemen, Auke J. J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 217p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.01 Sa71k] (1).
|
|
|
13.
|
Lecture notes in artificial intelligence [v.481] modelling spatial knowledge on a linguistic basis
by Lang, Ewald | Carstensen, Kai-Uwe | Simmons, Geoffrey | Siekmann, J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 137p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.481] (1).
|
|
|
14.
|
Action programming languages
: [electronic resource] /
by Thielscher, Michael. Edition: 1st ed.Material type: Book; Format:
available online
 ; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 91 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2008Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
15.
|
Representation discovery using harmonic analysis
: [electronic resource] /
by Mahadevan, Sridhar 1960-. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xii, 147 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2008Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
16.
|
Answer set solving in practice
: [electronic resource] /
by Gebser, Martin. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xxv, 212 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
17.
|
Reasoning with probabilistic and deterministic graphical models :
: exact algorithms /
by Dechter, Rina 1950-, [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiv, 177 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2013.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
18.
|
General game playing /
by Genesereth, Michael R 1948-, [author.] | Thielscher, Michael [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvi, 213 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
19.
|
Constructing knowledge art :
: an experiential perspective on crafting participatory representations /
by Selvin, Al [author.] | Buckingham Shum, Simon J [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 107 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.Online access: Abstract with links to full text | Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
20.
|
Representing and reasoning with qualitative preferences :
: tools and applications /
by Santhanam, Ganesh Ram [author.] | Basu, Samik [author.] | Honavar, Vasant [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 138 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
