The logic of knowledge bases

Levesque, Hector J., 1951-

The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer. -- Cambridge : MIT Press, 2000. -- xviii, 282 s. : il. -- ISBN : 0-262-12232-4 (váz.).
I. Lakemeyer, Gerhard, 1957-


expertní systémy * znalostní systémy * znalostní inženýrství * matematická logika * chytré technologie