|
|
|
1. |
Principles of knowledge representation and reasoning : 4. International conference, Bonn, Germany, May 24-27, 1994 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 1994
. XII, 655 p. ;
28 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Principles of knowledge representation and reasoning : 8. International conference, Toulouse, France, April 2-25 2002 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 2002
. XII, 633 p. ;
28 cm.
Date:2002
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Principles of knowledge representation and reasoning : 6. International conference, Trento, Italy 2-5, 1998 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 1998
. XIII, 656 p. ;
28 cm.
Date:1998
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
Principles of knowledge representation and reasoning : 5. International conference : Cambridge, Massachusetts, November 5-8, 1996 : proceedings /
Publication:
San Francisco : Morgan Kaufmann Publishers, 1996
. XIII, 671 p. ;
28 cm.
Date:1996
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
Principles of knowledge representation and reasoning : 3. international conference KR'92 : proceedings /
Publication:
San Mateo : Morgan Kaufmann Publishers, 1992
. XV, 791 p. ;
28 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
6. |
Reasoning about plans /
Publication:
San Mateo : Morgan Kaufmann, 1991
. XII, 300 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Automated reasoning : essays in honor of Woody Bledsoe /
Publication:
Dordrecht : Kluwer Academic Publishers, 1991
. XI, 365 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Planning and control /
by Dean, Thomas L.
Publication:
San Mateo : Morgan Kaufmann Publishers, 1991
. XV, 486 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
Readings in planning /
Publication:
San Mateo : Morgan Kaufmann, 1990
. XII, 746 p. ;
28 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
Reasoning about change : time and causation from the standpoint of artificial intelligence /
by Shoham, Yoav
Publication:
Cambridge : The MIT Press, 1988
. 200 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
Fuzzy sets in approximate reasoning and information systems /
Publication:
Boston : Kluwer Academic Publishers, 1999
. XV, 514 ;
24 cm.
Date:1999
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
12. |
Probabilistic reasoning in intelligent systems : networks of plausible inference /
by Pearl, Judea
Publication:
San Francisco : Morgan Kaufmann, 1991
. XIX, 552 p. :
23 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
13. |
Fril, fuzzy and evidential reasoning in artificial intelligence /
by Baldwin, James Frederick
Publication:
Taunton, Somerset, England : Research Studies Press ; New York : Wiley, 1995
. XVII, 388 p. :
26 cm. + 2 diskette
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
14. |
Machine learning, meta-reasoning, and logics /
Publication:
Boston : Kluwer Academic Publishers, 1990
. XX, 328 p. :
26 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
15. |
Vol. 1: Deductive reasoning
by Manna, Zohar
Publication:
Reading : Addison-Wesley, 1985
. XII, 618 p. :
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
16. |
Neural and intelligent systems integration : fifth and sixth generation : integrated reasoning, information system /
by Soucek, Branko
Publication:
New York : John Wiley & Sons, 1990
. XVIII, 664 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
17. |
Inferring from language /
by Noordman, Leonard G. M.
Publication:
Berlin : Springer-Verlag, 1979
. XII, 170 p. ;
24 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
18. |
Artificial intelligence : a modern approach /
by Russell, Stuart J.
Publication:
Englewood Cliffs : Prentice Hall, 1995
. XXVIII, 932 p. :
24 cm.
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
19. |
Solving the frame problem : a mathematical investigation of the common sense law of inertia /
by Shanahan, Murray
Publication:
Cambridge : The Mit Press, 1997
. XXXIV, 407 p. :
24 cm.
Date:1997
Availability:
No items available:
Checked out (1),
Actions:
|
|
