Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 11 results. Subscribe to this search

|
1. ROUGH SETS

by Pawlak,Zdzslaw.

Material type: book 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).

2. Knowledge representation, reasoning and declarative problem solving

by Baral, Chitta.

Material type: book 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).

3. Knowledge representation and reasoning

by Brachman, Ronald J | Levesque, Hector J.

Material type: book 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).

4. Handbook of knowledge representation

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

Material type: book 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).

5. Action programming languages : [electronic resource] /

by Thielscher, Michael.

Edition: 1st ed.Material type: book Book; Format: available online remote; 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).

6. Answer set solving in practice : [electronic resource] /

by Gebser, Martin.

Material type: book Book; Format: available online remote; 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).

7. Reasoning with probabilistic and deterministic graphical models : : exact algorithms /

by Dechter, Rina 1950-, [author.].

Material type: book Book; Format: available online remote; 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).

8. Representing and reasoning with qualitative preferences : : tools and applications /

by Santhanam, Ganesh Ram [author.] | Basu, Samik [author.] | Honavar, Vasant [author.].

Material type: book Book; Format: available online remote; 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).

9. Reasoning with probabilistic and deterministic graphical models : : exact algorithms /

by Dechter, Rina 1950-, [author.].

Edition: Second editionMaterial type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xiv, 185 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2019.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

10. Demystifying OWL for the enterprise /

by Uschold, Michael [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xxiv, 237 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2018.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

11. Ontology engineering /

by Kendall, Elisa F [author.] | McGuinness, Deborah L [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xvii, 102 pages) : color illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, [2019]Online access: Abstract with links to full text | Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha