|
|
|
Do the right thing : studies in limited rationality / Stuart Russell and Eric Wefald.
by Russell, Stuart J., (Stuart Jonathan) [author.] | Wefald, Eric, -1989 | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type:  Book; Format:
available online
 Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth.
by Freuder, Eugene C | Mackworth, Alan K | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Reasoning about knowledge / Ronald Fagin ... [et al.].
by Fagin, Ronald | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2003Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Reasoning about uncertainty / Joseph Y. Halpern.
by Halpern, Joseph Y, 1953- [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Edition: Second edition.Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : The MIT Press, [2017]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Qualitative representations : how people reason and learn about the continuous world / Kenneth D. Forbus.
by Forbus, Kenneth D [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge : The MIT Press, [2018]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
How to Fall Slower Than Gravity : And Other Everyday (and Not So Everyday) Uses of Mathematics and Physical Reasoning / Paul J. Nahin.
by Nahin, Paul J [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Princeton : Princeton University Press, [2018]Online access: Click here to access online Availability: No items available
|
|
|
|
IBPS IT Officer Scale I&II: Online Exam 2015
by CL Media. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Roorkee CL Media 2015Availability: Items available for loan:
[Call number: 371.26 C642I]
(1).
|
|
|
|
Reasoning & Aptitude: Theory and Problems with Explanations Gate/PSUs 2017
by Made Easy Publications. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Made Easy Publications 2016Availability: No items available Checked out (1).
|
|
|
|
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski.
by Kowalski, Robert [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2011Other title: Computational Logic & Human Thinking.Online access: Click here to access online Availability: No items available
|
|
|
|
A formal theory of commonsense psychology : how people think people think / Andrew S. Gordon, University of Southern California, Jerry R. Hobbs, University of Southern California.
by Gordon, Andrew S [author.] | Hobbs, Jerry R [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Goal-based reasoning for argumentation / Douglas Walton.
by Walton, Douglas N [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu.
by Prevosto, Virgile [editor.] | Seceleanu, Cristina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Human enactment of intelligent technologies [electronic resource] : towards mètis and mindfulness / W. David Holford.
by Holford, W. David. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific, 2021Online access: Access to full text is restricted to subscribers. Availability: No items available
|
