prof. dr hab. Andrzej Szałas

Afiliacja

profesor, Instytut Informatyki

Mail

andrzej.szalas@mimuw.edu.pl

Telefon

55-44-432

Pokój

4320

Strona internetowa

http://www.mimuw.edu.pl/~andsz

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

poniedziałek, 13:00-14:00

konsultacje obowiązują w czasie trwania zajęć dydaktycznych

Publikacje

• Publikacje (161)

Dziedziny badań

• Bazy danych
  Dedukcyjne bazy danych, języki zapytań oparte na logikach nieklasycznych, bazy danych wiedzy
• Logika matematyczna i teoria kategorii
  Logiki nieklasyczne, logiki wyższych rzędów, eliminacja kwantyfikatorów, zastosowania logiki w sztucznej inteligencji
• Logika w informatyce
  Logiki nieklasyczne, wnioskowanie aproksymacyjne, logiki wielowartościowe, automatyczne wnioskowanie, logiki programów, formalna specyfikacja i weryfikacja
• Sztuczna inteligencja i systemy wieloagentowe
  Wnioskowanie niemonotoniczne, reprezentacja wiedzy, języki regułowe, logiki w systemach wieloagentowych, problematyka niepełnej, niepewnej, nieprecyzyjnej i sprzecznej wiedzy w systemach wieloagentowych, fuzja wiedzy

Granty

• Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych
  Finansowany przez: Narodowe Centrum Nauki
• Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych.
  Finansowany przez: Narodowe Centrum Nauki
• Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego