dr hab. Anh Linh Nguyen, prof. UW

Affiliation

profesor uczelni, Institute of Informatics

Mail

N.A.Linh@mimuw.edu.pl

Phone

55-44-440

Room

4400

Website

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

Other information

Employee's page on USOSweb

Office hours (availability for students)

poniedziałek, 14:15 - 15:15

Publications

• Publications list (131)

Fields of research

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

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