prof. dr hab. Andrzej Szałas

Affiliation

profesor, Institute of Informatics

Fields of interest

Mathematical foundations of computer science, logics in AI, databases

Mail

andrzej.szalas@mimuw.edu.pl

Phone

55-44-432

Room

4320

Personal webpage*

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

poniedziałki, 9:00-10:00, pokój 4320

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

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Publications

• Publications list (163)

Fields of research

• Artificial Intelligence and Multiagent Systems
  Non-monotonic reasoning, knowledge representation, rule-based languages, logics for multi-agent systems, incomplete, uncertain, imprecise and inconsistent knowledge in multiagent systems, knowledge fusion
• Databases
  Deductive databases, query languages based on non-classical logics, knowledge bases
• Logic in Computer Science
  
• Mathematical Logic and Category Theory
  Nonclassical logic, higher order logic, quantifier elimination, applications of logic in artificial intelligence

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Many-valued and probabilistic extensions of rule-based languages
  Financed by: National Science Center
• Development of rule query languages applied in intelligent systems
  Financed by: National Science Center
• Semantical considerations in non-classical logics applied in approximate reasoning
  Financed by: Ministry of Science and Higher Education