Linh Anh Nguyen's Papers


Automated Reasoning in Modal and Description Logics (Using Tableau Methods)


Rule Languages for Modal and Description Logics

Modal Logic Programming

Modal Deductive Databases

Horn Fragments of Modal and Description Logics

Nonmonotonic Rule Languages


Description Logics and Semantic Web

Concept Learning in Description Logics

Paraconsistent Semantics and Reasoning in Description Logics


Multiagent Systems and Artificial Intelligence


Deductive Databases and Logic Programming in Classical First-Order Logic

Deductive Databases in Classical First-Order Logic

Logic Programming in Classical First-Order Logic


Theses