|
|
1.
|
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).
|
|
|
2.
|
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).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
Bremen and Freiburg lectures : insight into that which is and basic principles of thinking
by Heidegger, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Bloomington: Indiana University Press, 2012Availability: Items available for loan: [Call number: 193 HEI] (1).
|
|
|
10.
|
Semantic Web : Research and Applications : Second European Semantic Web Conference, ESWC 2005 Heraklion, Crete, Greece, May/June 2005 ; proceedings
by Gomez-Perez, Asuncion | Euzenat, Jerome. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOM] (1).
|
|
|
11.
|
Foundations of decision-making agents : logic, probability and modality
by Das, Subrata. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2008Availability: Items available for loan: [Call number: 006.33 DAS] (1).
|
|
|
12.
|
Nature of rationality
by Nozick, Robert. Publisher: Princeton : Princeton University Press, 1994Availability: Items available for loan: [Call number: 128.3 NOZ] (1).
|
|
|
13.
|
Changing the subject : philosophy from Socrates to Adorno
by Geuss, Raymond. Publisher: Cambridge : Harvard University Press, 2020Availability: Items available for loan: [Call number: 100 GEU] (1).
|
|
|
14.
|
Custom and reason in Hume : a Kantian reading of the first book of the Treatise
by Allison, Henry E. Publisher: Oxford : Oxford University Press, 2010Availability: Items available for loan: [Call number: 128 ALL] (1).
|
|
|
15.
|
Psychology of mathematics : a journey of personal mathematical empowerment for educators and curious minds
by Norton, Anderson. Publisher: New York : Routledge, 2022Availability: Items available for loan: [Call number: 510.19 NOR] (1).
|
|
|
16.
|
Machines like us : toward AI with common sense
by Brachman, Ronald J | Levesque, Hector J. Publisher: Cambridge : MIT Press, 2022Availability: Items available for loan: [Call number: 006.3 BRA] (1).
|
