Wspomaganie decyzji systemy eksperckie : materiały konferencji , analiza decyzyjna, systemy eksperckie, zastosowania systemów komputerowych * Metody reprezentacji i poszukiwania wiedzy * Automatyczne wnioskowanie w oparciu o prologową technologię dowodzenia twierdzeń