|
|
1.
|
RESOLUTION METHODS FOR THE DECISION PROBLEM
by Fermuller,C. Material type:  Book Description: vii 206.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
2.
|
THE LOGIC OF INFORMATION STRUCTURES
by Wansing,Heinrich. Material type: Book Description: ix,158.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
3.
|
PARALLELIZATION IN INFERENCE SYSTEMS
by Fronhofer, B | Wrightson, G. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
4.
|
A PERSPECTIVE OF CONSTRAINT-BASED REASONING
by Guesgen, H. W | Hertzberg, J. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
5.
|
NEURAL NETS
by Rocha, A. F. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
6.
|
THE NEXT GENERATION OF INFORMATION SYSTEMS
by Papazoglou, M. P | Zeleznikow, J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 310.Publisher: Berlin Springer-Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
7.
|
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Vol.886
: planning and learning by analogical reasoningMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,181p.Publisher: Berlin Springer-Verlag 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
8.
|
ARTIFICIAL INTELLIGENCE TODAY
by Michael J Wooldridge,Manuela No Veloso | Veloso,Manuela. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,487.Publisher: Springer-Verlag, Berlin 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AR77] (1).
|
|
|
9.
|
CONDITIONALS IN NONMONOTONIC REASONING AND BELIEF REVISION.
by Kern - Isberner,Gabriele. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,190.Publisher: Springer-Verlag,Berlin 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.2087] (1).
|
|
|
10.
|
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; 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).
|
|
|
11.
|
Non-Monotonic reasoning
: proceedings...
by | 2nd International Workshop on Non-Monotonic Reasoning Grassau, FRG 1988 | Reinfrank, M., Ed. Material type: 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).
|
|
|
12.
|
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).
|
|
|
13.
|
LOGIC PROGRAMMING
by Voronkov, A. Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
14.
|
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).
|
|
|
15.
|
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).
|
|
|
16.
|
INDUSTRIAL AND ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS
by Belli, F | Radermacher, F.J | . Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
17.
|
Lecture notes in artifcial intelliegence
: Automated deduction -- cade-11
by Kapur, Deepak [ed.]. Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
18.
|
LOGIC PROGRAMMING IN ACTION
by Comyn, G | Fuchs, N. E | . Description: x,324.Publisher: Berlin Springer - Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
19.
|
COORDINATING PLANS OF AUTONOMOUS AGENTS
by Martial, F. Von. Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
20.
|
ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE
by Marik, V., Stepankova, O | | Trappl, R | . Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
