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

Your search returned 158 results. Subscribe to this search

|
81. INFORMATION MODELLING AND KNOWLEGE BASES XVII

by Kiyoki,Yasushi | Breuker,J.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,341.Publisher: Ios Press, Amsterdam 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.21 IN8] (1).

82. CONSTRAINT REASONING FOR DIFFERENTIAL MODELS

by Cruz,Jorge.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxv,216.Publisher: Ios Press, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 C889C] (1).

83. HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE

by Fisher,M.,Gabbay,D | Vila,L.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii,731.Publisher: Elsevier, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.75 H191] (1).

84. ADVANCES IN LOGIC BASED INTELLIGENT SYSTEMS

by Nakamatsu,Kazumi | Abe,Jair Minoro.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,289.Publisher: Ios Press, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 AD95] (1).

85. INFORMATION MODELLING AND KNOWLEDGE BASES XV

by Kiyoki,Yasushi | Breuker,J.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,333.Publisher: Ios Press, Amsterdam 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.21 IN3] (1).

86. 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).

87. Advances in artificial general intelligence : concepts, architectures and algorithms

by Goertzel, Ben [ed.] | Wang, Pei [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 295p.Publisher: Amsterdam Ios Press 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 Ar78a] (1).

88. Adaptive web sites : a knowledge extraction from web data approach

by Velasquez, Juan D | Palade, Vasile.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv, 272p.Publisher: Amsterdam Ios Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.312 V541a] (1).

89. Handbook of satisfiability

by Biere, Armin [ed.] | Heule, Marjin [ed.] | Maaren, Hans van [ed.] | Walsh, Toby [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 966p.Publisher: Amsterdam IOS Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 H191] (1).

90. Solving the frame problem : a mathematical investigation of the common sense law of inertia

by Shanahan, Murray.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxxiv, 407p.Publisher: Cambridge The Mit Press 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 Sh18s] (1).

91. Speech and language processing : an introduction to natural language processing, computational linguistics and speech recognition

by Jurafsky, Daniel | Martin, James H.

Material type: book Book; Format: print ; Literary form: not fiction Description: 908p.Publisher: New Delhi Pearson Education 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.285 J974s cop.1] (2).

92. Integration of swarm intelligence and artificial neural network

by | Dehuri, Satchidananda, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 338p.Publisher: New Jersey World Scientific 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 In8] (1).

93. Logic and its applications : proceedings...

by Banerjee, Mohua, Ed | 4th Indian Conference on Logic and its Applications Delhi 2011 | Banerjee, Mohua, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 218p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In24] (1).

94. Logic and logic grammars for language processing

by | Saint-Dizier, Patrick, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: 315p.Publisher: New York Ellis Horwood 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L828] (1).

95. Non-Monotonic reasoning : proceedings...

by | 2nd International Workshop on Non-Monotonic Reasoning Grassau, FRG 1988 | Reinfrank, M., Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 237p.Publisher: Berlin Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

96. Data mining with decision trees : theory and applications

by Rokach, Lior | Maimon, Oded.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxi, 305p.Publisher: New Jersey World Scientific 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.312 R639d2] (1).

97. ASPECTS OF AUTOMATED NATURAL LANGUAGE GENERATION

by Dale, R | [Etal.] | .

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

98. LOGIC PROGRAMMING

by Voronkov, A.

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

99. EXTENSIONS OF LOGIC PROGRAMMING

by Eriksson, L.H., Hallnas, L | Schroeder-Heister, P | .

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

100. CURRENT DEVELOPMENTS IN KNOWLEDGE ACQUISITION -- EKAW '92

by Wetterth...[Etal.].

Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

Powered by Koha