Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > DAO Tran Minh >

Tools: Drucken


Minh Dao-Tran — Publications


2016

Andreas Mossburger, Harald Beck, Minh Dao-Tran and Thomas Eiter.
A Benchmarking Framework for Stream Processors
20th International Conference on Knowledge Engineering and Knowledge Management (EKAW), Poster, November 19-23, 2016, Bologna, Italy, 2016.
[bib | paper | poster]

Daniele Dell'Aglio, Minh Dao-Tran, Jean-Paul Calbimonte, Danh Le Phuoc, and Emanuele Della Valle.
A Query Model to Capture Event Pattern Matching in RDF Stream Processing Query Languages
20th International Conference on Knowledge Engineering and Knowledge Management (EKAW), November 19-23, 2016, Bologna, Italy, 2016.
[bib | paper]

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, and Konstantin Schekotihin.
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
15th European Conference On Logics In Artificial Intelligence (JELIA), November 9-11, 2016, Larnaca, Cyprus, 2016.
[bib | paper]

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
Equivalent Stream Reasoning Programs.
25th International Joint Conference on Artificial Intelligence (IJCAI), July 9-15, 2016, New York, USA, 2016.
[bib | paper]

2015

Minh Dao-Tran, Harald Beck, and Thomas Eiter.
Contrasting RDF Stream Processing Semantics.
In 5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, Yichang, China, 2015.
[bib | paper | technical report | slides]

Minh Dao-Tran, Harald Beck, and Thomas Eiter.
Towards Comparing RDF Stream Processing Semantics.
In 1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015.
[bib | paper | slides]

Minh Dao-Tran and Danh Le-Phuoc.
Towards Enriching CQELS with Complex Event Processing and Path Navigation.
In 1st Workshop on High-Level Declarative Stream Processing (HiDeSt), September 22, 2015, Dresden, Germany, 2015.
[bib | paper]

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
Answer Update for Rule-based Stream Reasoning.
In 24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia, 2015.
[bib | paper | slides]

Danh Le-Phuoc, Minh Dao-Tran, Anh Le Tuan, Manh Nguyen Duc, and Manfred Hauswirth.
DEBS Grand Challenge: RDF Stream Processing with CQELS Framework for Real-time Analysis.
In ACM International Conference on Distributed Event-Based Systems (DEBS), June 29-July 3, 2015, Oslo, Norway, 2015.
[bib | slides]

Danh Le-Phuoc, Minh Dao-Tran, Chan Le Van, Anh Le Tuan, Manh Nguyen Duc, Tuan Tran Nhat, and Manfred Hauswirth.
Platform-Agnostic Execution Framework Towards RDF Stream Processing.
In RDF Stream Processing Workshop, May 31, Portoroz, Slovenia, 2015.
[bib | paper | slides]

Harald Beck, Minh Dao-Tran, and Thomas Eiter.
Semantics and Complexity of RDF Stream Processing & Reasoning: Expression of Interest.
In RDF Stream Processing Workshop, May 31, Portoroz, Slovenia, 2015.
[bib | paper | slides]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Distributed Evaluation of Nonmonotonic Multi-Context Systems.
Journal of Artificial Intelligence Research, 52:543-600, 2015.
[bib | paper]

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
LARS: A Logic-based Framework for Analyzing Reasoning over Streams.
In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, January 25-29, 2015, Austin, Texas, USA, 2015.
[bib | paper]

2014

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Distributed Evaluation of Nonmonotonic Multi-Context Systems.
Technical Report INFSYS RR-1843-14-03, Institut für Informationssysteme, TU Wien, September 2014.
[bib | paper]

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
Towards a Logic-Based Framework for Analyzing Stream Reasoning.
In 3rd International Workshop on Ordering and Reasoning, October 19-20, 2014, Riva del Garda, Trentino, Italy, 2014.
Best Paper.
[bib | paper | slides]

Harald Beck, Minh Dao-Tran, Thomas Eiter, and Michael Fink.
Towards Ideal Semantics for Analyzing Stream Reasoning.
In International Workshop on Reactive Concepts in Knowledge Representation, August 19, 2014, Prague, Czech Republic, 2014.
[bib | paper]

Minh Dao-Tran.
Distributed Nonmonotonic Multi-Context Systems: Algorithms and Efficient Evaluation.
PhD thesis, Vienna University of Technology, March 2014.
[bib | thesis | slides]

2013

Mario Alviano, Francesco Calimeri, Gunther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jorg Puhrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, and Guohui Xiao.
The Fourth Answer Set Programming Competition: Preliminary Report.
In Pedro Cabalar and Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, volume 8148 of Lecture Notes in Computer Science, pages 42-53. Springer, 2013.
[bib | DOI | paper]

2012

Danh Le Phuoc, Minh Dao-Tran, Minh-Duc Pham, Peter A. Boncz, Thomas Eiter, and Michael Fink.
Linked Stream Data Processing Engines: Facts and Figures.
In Philippe Cudre-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jerome Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, and Eva Blomqvist, editors, The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II, volume 7650, pages 300-312, 2012.
[bib | DOI | paper]

Minh Dao-Tran, Thomas Eiter, Michael Fink, Gerald Weidinger, and Antonius Weinzierl.
OMiGA: An Open Minded Grounding On-The-Fly Answer Set Solver.
In Luis Farinas del Cerro, Andreas Herzig, and Jerome Mengin, editors, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, volume 7519 of Lecture Notes in Computer Science, pages 480-483. Springer, 2012.
[bib | DOI | paper]

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.
In Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Frid- man Noy, and Eva Blomqvist, editors, The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I, volume 7031 of Lecture Notes in Computer Science, pages 370-388. Springer, 2011.
[bib | DOI | paper]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Model Streaming for Distributed Multi-Context Systems.
In Alessan- dra Mileo and Michael Fink, editors, 2nd International Workshop on Logic-based Interpretation of Context: Modeling and Applications (Log- IC 2011), Vancouver, British Columbia, Canada, May 16, 2011, volume 738, pages 11-22. CEUR-WS.org, 2011.
[bib | paper]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
Dynamic Distributed Nonmonotonic Multi-Context Systems.
In Gerhard Brewka, Victor Marek, and Miroslaw Truszczynski, editors, Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary (NonMon@30), Lexington, Kentucky, U.S.A., October 22-25, 2010, volume 31 of Studies in Logic, pages 63-88. College Publications, July 2011.
[bib | 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.
[bib | 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.
[bib | 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.
[bib | 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.
[bib | paper | slides]

Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner.
First-order encodings of modular nonmonotonic logic programs.
In Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Jon Sellers, editors, Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, volume 6702 of Lecture Notes in Computer Science, pages 59-77. Springer, 2011.
[bib | paper]

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.
[bib | 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.
[bib | DOI | paper]

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.
[bib | 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.
[bib | 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.
[bib | paper]

Minh Dao-Tran.
Default Reasoning On Top Of Ontologies With dl-Programs.
Master's thesis, Vienna University of Technology, June 2008.
[bib | thesis | slides | poster]

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 | slides]



Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.