Travelled to:1 × Canada
1 × France
1 × Portugal
Collaborated with:∅ A.Szalas
Talks about:logic (3) regular (2) prolog (2) knowledg (1) descript (1) calculus (1) approxim (1) tableau (1) program (1) grammar (1)
Person: Linh Anh Nguyen
DBLP: Nguyen:Linh_Anh
Contributed to:
2009
20072004Wrote 3 papers:
- CADE-2009-NguyenS #calculus #logic
- A Tableau Calculus for Regular Grammar Logics with Converse (LAN, AS), pp. 421–436.
- ICLP-2007-Nguyen #approximate #complexity #knowledge base #logic
- Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity (LAN), pp. 438–439.
- ICLP-2004-Nguyen #logic programming #named #prolog
- MProlog: An Extension of Prolog for Modal Logic Programming (LAN), pp. 469–470.