dr hab. Anh Linh Nguyen, prof. ucz.

Affiliation

profesor uczelni, Institute of Informatics

Fields of interest

Modal logics, description logics, automated reasoning, rule-based languages, deductive databases

Mail

N.A.Linh@mimuw.edu.pl

Phone

55-44-440

Room

4400

Personal webpage*

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

poniedziałek, 14:00 - 15:00

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

Publications

• Publications list (134)

Fields of research

• Artificial Intelligence and Multiagent Systems
  Modal logic, description logic, automated reasoning, deductive databases
• Databases
  Deductive databases
• Logic in Computer Science
  
• Software Engineering
  Logic programming, multimodal logic programming

Commissions, councils

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

Grants

• Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Checking of Ontologies
  Financed by: National Science Center
• A theory of logic programming in modal and description logics
  Financed by: Ministry of Science and Higher Education