| 2008 |
|---|
| 10 | EE | Anastasiya Yurchyshyna,
Catherine Faron-Zucker,
Nhan Le Thanh,
Alain Zarli:
Towards an Ontology-enabled Approach for Modeling the Process of Conformity Checking in Construction.
CAiSE Forum 2008: 21-24 |
| 9 | | Catherine Faron-Zucker,
Anastasiya Yurchyshyna,
Nhan Le Thanh,
Celson Lima:
Une approche ontologique pour automatiser le contrôle de conformité dans le domaine du bâtiment.
EGC 2008: 115-120 |
| 8 | | Catherine Faron-Zucker,
Nhan Le Thanh,
Anastasiya Yurchyshyna,
Alain Zarli:
Ontological Approach for the Conformity Checking Modeling in Construction.
ICEIS (2) 2008: 492-495 |
| 7 | EE | Anastasiya Yurchyshyna,
Catherine Faron-Zucker,
Nhan Le Thanh,
Alain Zarli:
Towards the Knowledge Capitalisation and Organisation in the Model of Conformity-Checking Process in Construction.
KES (1) 2008: 341-348 |
| 2007 |
|---|
| 6 | | Thi Dieu Thu Nguyen,
Nhan Le Thanh:
Integrating identification constraints in web ontology.
ICEIS (1) 2007: 338-343 |
| 5 | | Thi Dieu Thu Nguyen,
Nhan Le Thanh:
Identification constraints in SHOIN(D).
RCIS 2007: 229-238 |
| 2006 |
|---|
| 4 | | Thi Anh Le Pham,
Nhan Le Thanh:
Decomposition-Based Reasoning for Large Knowledge Bases in Description Logics.
ISPE CE 2006: 288-295 |
| 3 | EE | Chan Le Duc,
Nhan Le Thanh,
Marie-Christine Rousset:
A Compact Representation for Least Common Subsumers in the description logic ALE.
AI Commun. 19(3): 239-273 (2006) |
| 2003 |
|---|
| 2 | EE | Chan Le Duc,
Nhan Le Thanh:
On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs.
Description Logics 2003 |
| 1 | EE | Chan Le Duc,
Nhan Le Thanh:
Combining Revision Production Rules and Description Logics.
KES 2003: 89-98 |
