|
1.
|
Intelligibility of nature : how science makes sense of the world
by Dear, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chicago: University of Chicago Press, 2006Availability: Items available for loan: [Call number: 501 DEA] (1).
|
|
2.
|
Reasoning about uncertainty
by Halpern, Joseph Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2003Availability: Items available for loan: [Call number: 003.54 HAL] (1).
|
|
3.
|
Qualitative methods for reasoning under uncertainty
by Parsons, Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2001Availability: Items available for loan: [Call number: 006.33 PAR] (1).
|
|
4.
|
Reasoning about knowledge
by Halpern, Joseph Y | Moses, Yoram | Vardi, Moshe Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2003Availability: Items available for loan: [Call number: 153.4 FAG] (1).
|
|
5.
|
Handbook of automated reasoning, Volume 1
by Robinson, J. Alan | Voronkov, Andrei | Voronkov, Andrei. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: The MIT Press, 2001Availability: Items available for loan: [Call number: 511.3 ROB] (1).
|
|
6.
|
Cambridge handbook of thinking and reasoning
by Holyoak, Keith J | Morrison, Robert G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 153.42 HOL ] (1).
|
|
7.
|
Computer-aided reasoning : an approach
by Kaufmann, Matt | Manolios, Panagiotis | Moore, J Strother. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 004.0151 KAU] (1).
|
|
8.
|
Commons of the mind
by Baier, Annette C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chicago: Open Court, 1997Availability: Items available for loan: [Call number: 128.33 BAI] (1).
|
|
9.
|
Probabilistic reasoning and intelligent systems : networks of plausible inference
by Pearl, Judea. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Francisco: Morgan Kaufmann, 1988Availability: Items available for loan: [Call number: 006.3 PEA] (1).
|
|
10.
|
Knowledge representation and reasoning
by Levesque, Hector J | Brachman, Ronald J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Elsevier, 2004Availability: Items available for loan: [Call number: 006.332 BRA] (1).
|
|
11.
|
Mathematics and common sense : a case of creative tension
by Davis, Philip J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Wellesley: A K Peters, 2006Availability: Items available for loan: [Call number: 511.3 DAV] (1).
|
|
12.
|
Principles and Practice of Semantic Web reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003 : proceedings
by Bry, Francois | Henze, Nicola | Maluszynski, Jan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRY] (1).
|
|
13.
|
Principles and practice of semantic web reasoning : Second International Workshop, PPSWR 2004, proceedings
by Ohlbach, Hans Jurgen | Schaffert, Sebastian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 OHL] (1).
|
|
14.
|
Reasoning Web : First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, tutorial lectures
by Eisinger, Norbert | Maluszynski, Jan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 EIS] (1).
|
|
15.
|
Spatial reasoning and planning : geometry, mechanism, and motion
by Liu, Jiming | Daneshmend, Laeeque K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 LIU] (1).
|
|
16.
|
Nonmonotonic logic : context-dependent reasoning
by Marek, V. W | Truszczynski, Miroslaw. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1993Availability: Items available for loan: [Call number: 006.3 MAR] (1).
|
|
17.
|
Distributed reason maintenance for multiagent systems
by Kraetzschmar, Gerhard K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 006.3 KRA] (1).
|
|
18.
|
Introduction to Artificial Intelligence and Expert Systems
by Patterson, Dan W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 006.3 PAT] (7).
|
|
19.
|
Probabilistic reasoning in intelligent systems : networks of plausible inference
by Pearl, Judea | Pearl, Judea. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Morgan Kaufmann, 2006Availability: Items available for loan: [Call number: 006.3 PEA] (1).
|
|
20.
|
Artificial Intelligence : a modern approach
by Russell, Stuart J | Norvig, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education Asia, 2001Availability: Items available for loan: [Call number: 006.3 RUS] (6).
|