|
1.
|
KNOWLEDGE REPRESENTATION AND THE SEMANTICS OF NATURAL LANGUAGE
by Helbig,Hermann | Gabbay,D. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,646.Publisher: Springer-Verlag, Berlin 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 H366K] (1).
|
|
2.
|
Logical and relational learning
by Raedt, Luc De. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 387p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 R12l] (1).
|
|
3.
|
Cognitive reasoning
: a formal approach
by Anshakov, Oleg | Gergely, Tamas. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 437p.Publisher: Heidelberg Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 An82c] (1).
|
|
4.
|
Conditionals and modularity in general logics
by Gabbay, Dov M | Schlechta, Karl. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 233p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G111c] (1).
|
|
5.
|
Neural preprocessing and control of reactive walking machines
: towards versatile artificial perception-action systems
by Manoonpong, Poramate. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 182p.Publisher: Berlin Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 M317n] (1).
|
|
6.
|
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).
|
|
7.
|
Multiparadigm constraint programming languages
by Hofstedt, Petra. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 180 p.Publisher: Heidelberg Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.116 H677m] (1).
|
|
8.
|
Knowledge Representation and the Semantics of Natural Language
: [electronic resource].
by SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 647 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
9.
|
An Introduction to Language Processing with Perl and Prolog
: An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German /
: [electronic resource] :
by Nugues, Pierre M [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 515 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
10.
|
SmartKom: Foundations of Multimodal Dialogue Systems
: [electronic resource] /
by Wahlster, Wolfgang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 645 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
11.
|
Artificial General Intelligence
: [electronic resource] /
by Goertzel, Ben [editor.] | Pennachin, Cassio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 509 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
12.
|
PEACH - Intelligent Interfaces for Museum Visits
: [electronic resource] /
by Stock, Oliviero [editor.] | Zancanaro, Massimo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 318 p. 102 illus., 32 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
13.
|
Modeling Decisions
: Information Fusion and Aggregation Operators /
: [electronic resource] :
by Torra, Vicen� [author.1] | Narukawa, Yasuo [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 284 p. 55 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
14.
|
Neural Preprocessing and Control of Reactive Walking Machines
: Towards Versatile Artificial Perception-Action Systems /
: [electronic resource] :
by Manoonpong, Poramate [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 187 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
15.
|
Robot Cognition and Navigation
: An Experiment with Mobile Robots /
: [electronic resource] :
by Patnaik, Srikanta [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 291 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
16.
|
Logical and Relational Learning
: [electronic resource] /
by Raedt, Luc De [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 387 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
17.
|
Machine Learning Techniques for Multimedia
: Case Studies on Organization and Retrieval /
: [electronic resource] :
by Cord, Matthieu [editor.] | Cunningham, Pádraig [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 289 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|