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]