Základy znalostných systémov
Vysokoškolské učebné texty prezentujú základy znalostných systémov, ktoré sú rozdelené do dvoch častí. Prvá časť publikácie je venovaná základom Formálnej konceptovej analýzy, teda metóde analýzy dát, reprezentácie poznatkov a spracovania informácií, ktorá je založená na formalizácii pojmu koncept. V druhej časti sa venujeme základom logického programovania, procedurálnej sémantike logického programovania, teda programom – teóriam, otázkam, SLD-odvodeniu, SLD-stromu, stratégiám prehľadávania. Vysokoškolské učebné texty sú určené pre študentov magisterských študijných programov informatických odborov.