`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:

### Wrote 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.