Results
|
|
|
Knowledge representation / Ronald J. Brachman, Hector J. Levesque, Raymond Reiter, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1992Description: 408 p. :
il. ;
27 cmAvailability: Items available for loan: Call number: Q387.KNO FCT 22128 (1).
|
|
|
|
Conceptual graphs for knowledge representation : first international conference on conceptual structures, ICCS'93, held in Quebec City, Canada, August 4-7, 1993 / Guy W. Mineau, Bernard Moulin, John F. Sowa, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: IX, 451 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22878 (1).
|
|
|
|
Conceptual structures : theory and implementation / Heather D. Pfeiffer, Timothy E. Nagle, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: IX, 327 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 23476 (1).
|
|
|
|
|
|
|
|
|
|
|
|
Toward learning robots / Walter Van de Velde, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1991Description: 165 p. :
il. ;
26 cmAvailability: Items available for loan: Call number: TJ211.35.TOW FCT 29922 (1).
|
|
|
|
Logic and visual information / Eric M. Hammer Publication: Stanford, US : CSLI, cop. 1995Description: IX, 124 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: TA645.HAM FCT 31514 (1).
|
|
|
|
Solving the frame problem : a mathematical investigation of the common sense law of inercia / Murray Shanahan Publication: London : The MIT Press, cop. 1997Description: XXXIV, 407 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q390.SHA FCT 35028 (1).
|
|
|
|
|
|
|
|
Logic programming and knowledge representation : third international workshop, LPKR'97, Port Jefferson, New York, USA, October, 1997 : selected papers / Jurgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, ed. lit. Publication: New York : Springer, cop. 1998Description: VIII, 246 p. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 36428 (1).
|
|
|
|
|
|
|
|
Advances in artificial intelligence : 14th Brazilian symposium on artificial intelligence, SBIA'98, Porto Alegre, Brazil, November 1998 : proceedings / Flávio Moreira de Oliveira, ed. lit. Publication: Berlin [etc.] : Springer, cop. 1998Description: X, 258 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 46856 (1).
|
|
|
|
The logic of knowledge bases / Hector J. Levesque, Gerhard Lakemeyer Publication: Cambridge : London : The MIT Press, cop. 2000Description: XVIII, 282 p. ;
25 cmAvailability: Items available for loan: Call number: Q387.LEV FCT 50505 (1).
|
|
|
|
|
|
|
|
|
|
|
|
Knowledge representation : logical foundations for specifying and implementing dynamical systems / Raymond Reiter Publication: Cambridge, US : London, England : The MIT Press, cop. 1992Description: 408 p. :
il. ;
27 cmAvailability: Items available for loan: Call number: Q387.KNO FCT 60204 (1).
|
|
|
|
Knowledge representation : logical, philosophical and computational foundations / John F. Sowa Publication: Pacific Grove [etc.] : Brooks/Cole, cop. 2000Description: XIV, 593 p. ;
24 cmAvailability: Items available for loan: Call number: Q387.SOW FCT 62495 (1).
|
|
|
|
Reasoning web : second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Pedro Barahona, ed. lit. ... [et al.] Publication: Berlin : Heidelberg : Springer, cop. 2006Description: XII, 268 p. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 63007 (1).
|
|
|
|
|
