DAO Tran Minh |
|
|||||||
|
Project staff - Ph.D. Student |
||||||||
|
I started in December 2008 as a research assistant at the Knowledge-Based Systems Group at Vienna University of Technology (TU Wien), Austria, funded by the Austrian Science Fund project Modular HEX-Programs.
In November 2006, I enrolled in the European Masters Program in Computational Logic (EMCL) as an Erasmus Mundus student, and obtained my Master degree in June 2008 after studying at Universidade Nova de Lisboa and Vienna University of Technology.
I was born in Haiphong, Vietnam. I studied Computer Science at Faculty of Information Technology (now named School of Information and Communication Technology), Hanoi University of Science and Technology, Hanoi, where I obtained a B.Sc. degree with a first-class honor in June 2004, and worked as a lecturer assistant until October 2006.
More details can be found in my Curriculum Vitae.Research
Research Interests
- Knowledge Representation and Reasoning
- Distributed Reasoning
- Semantic Web Reasoning
- Hybrid Integration of Rules and Ontologies
- Answer Set Programming and Logic Programming
- Nonmonotonic Reasoning
- Stream Reasoning
Current Research Projects
- Modular HEX-Programs, funded by the Austrian Science Fund (FWF) project P20841
Reviewing for Journals
Reviewing for Conferences and Workshops
- European Conference on Artificial Intelligence (ECAI) 2010
- European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) 2011
- International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 2009 2011
- International Conference on Principles of Practice in Multi-Agent Systems (PRIMA) 2010
- European Conference on Artificial Intelligence (ECAI) 2010
- International Conference on Logic Programming (ICLP) 2010
- International World Wide Web Conference (WWW) 2010
- International Semantic Web Conference (ISWC) 2009 2011
- The International Symposium on Rules (RuleML) 2011
- International Workshop on Description Logics (DL) 2009
Software
-
DMCS
Prototype solver for distributed nonmonotonic multi-context systems.
Publications
2011
Danh Le-Phuoc, Minh Dao-Tran, Josiane Xavier Parreira and Manfred
Hauswirth.
A Native and Adaptive Approach for Unified Processing of Linked
Streams and Linked Data.
10th International Semantic Web Conference (ISWC 2011). To appear.
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Dynamic Distributed Nonmontonic Multi-Context Systems.
In Gerhard Brewka, Victor Marek, and Miroslaw Truszczynski, editors,
Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary, volume 31
of Studies in Logic, page 26. College Publications, London, July 2011.
[paper]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas
Krennwallner.
First-order encodings of modular nonmonotonic logic
programs.
In O. de Moor et al., editor, Datalog 2010, volume 6702 of LNCS, pages
59-77. Springer, July 2011.
[paper]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Model Streaming for Distributed Multi-Context Systems.
In Alessandra Mileo and Michael Fink, editors, 2nd International Workshop on
Logic-based Interpretation of Context: Modeling and Applications, volume 738
of CEUR Workshop Proceedings, pages 11-22. CEUR-WS.org, May 2011.
[paper]
2010
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael
Fink, and Thomas Krennwallner.
Decomposition of Distributed Nonmonotonic Multi-Context
Systems.
In Tomi Janhunen and Ilkka Niemelä, editors, 12th
European Conference on Logics in Artificial Intelligence
(JELIA 2010), Helsinki, Finland, September 13-15, 2010,
volume 6341 of LNAI, pages 24-37. Springer, September
2010.
[DOI
| paper]
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael
Fink, and Thomas Krennwallner.
The DMCS Solver for Distributed Nonmonotonic
Multi-Context Systems.
In Tomi Janhunen and Ilkka
Niemelä, editors, 12th European Conference on Logics in
Artificial Intelligence (JELIA 2010), Helsinki, Finland,
September 13-15, 2010, volume 6341 of LNAI, pages
352-355. Springer, September 2010.
[DOI
| paper]
Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael
Fink, and Thomas Krennwallner.
Decomposition of Distributed Nonmonotonic Multi-Context
Systems.
In Tommie Meyer and Eugenia Ternovska, editors, 13th
International Workshop on Non-Monotonic Reasoning (NMR
2010), Toronto, Canada, May 14-16, 2010, May 2010.
[paper]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas
Krennwallner.
Distributed Nonmonotonic Multi-Context Systems.
In Fangzhen Lin and Uli Sattler, editors, 12th
International Conference on the Principles of Knowledge
Representation and Reasoning (KR 2010), Toronto, Canada, May
9-13, 2010, pages 60-70. AAAI Press, May 2010.
[paper
| slides]
2009
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas
Krennwallner.
Relevance-driven Evaluation of Modular Nonmonotonic Logic
Programs.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors,
10th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR 2009), Potsdam, Germany,
14-18 September, 2009, volume 5753 of LNCS, pages
87-100. Springer, September 2009.
[DOI
| paper
| slides]
Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink,
Giovambattista Ianni, and Thomas Krennwallner.
Combining Nonmonotonic Knowledge Bases with External
Sources.
In Silvio Ghilardi and Roberto Sebastiani, editors, 7th
International Symposium on Frontiers of Combining Systems
(FroCos 2009), Trento, Italy, September 16-18, 2009,
volume 5749 of LNAI, pages 18-42. Springer, September
2009.
[DOI]
Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas
Krennwallner.
Modular Nonmonotonic Logic Programming Revisited.
In Patricia M. Hill and David S. Warren, editors, 25th
International Conference on Logic Programming (ICLP 2009),
Pasadena, California, USA, July 14-17, 2009, volume 5649
of LNCS, pages 145-159. Springer, July 2009.
[DOI
| paper]
Minh Dao-Tran, Thomas Eiter, and Thomas Krennwallner.
Realizing Default Logic over Description Logic Knowledge
Bases.
In Claudio Sossai and Gaetano Chemello, editors, 10th
European Conference on Symbolic and Quantitative Approaches
to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy,
July 1-3, 2009, volume 5590 of LNAI, pages
602-613. Springer, July 2009.
[DOI
| paper
| slides]
2008
Minh Dao-Tran, Thomas Eiter.
Default Reasoning on Top of Ontologies with
dl-Programs.
In Hans Kaiser and Raimund Kirner, editors, Proceedings of
the Junior Scientist Conference 2008, pages 83-84, November
2008.
[paper]
2005
Nguyen Xuan Vinh, Le Thi Phuong, Nguyen Thanh Thuy, Le Dang
Hung, Dao Tran Minh.
Towards an agent enabled grid environment.
In Proc. The Second National Symposium "Fundamental and
Applied information Technology Research" - FAIR'05, Ho Chi
Minh city, September 23-24, 2005.
[paper]