Travelled to:
1 × Canada
1 × USA
Collaborated with:
T.Eiter M.Fink T.Krennwallner
Talks about:
nonmonoton (2) distribut (1) revisit (1) program (1) modular (1) context (1) system (1) multi (1) logic (1)
Person: Minh Dao-Tran
DBLP: Dao-Tran:Minh
Contributed to:
Wrote 2 papers:
- KR-2010-Dao-TranEFK #distributed #multi
- Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).
- ICLP-2009-Dao-TranEFK #composition #logic programming #revisited
- Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.