DAO Tran Minh |
|
|||||||
|
Project staff - Postdoctoral Researcher |
||||||||
|
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
- Linked Data, Linked Stream Data Processing
Current Research Projects
- Distributed Heterogeneous Stream Reasoning, funded by the Austrian Science Fund (FWF) project P26471
Past Research Project
- Modular HEX-Programs, funded by the Austrian Science Fund (FWF) project P20841
Publications
A list of my publications can be found on my publication page, at DBLP at Google Scholar Citations.
Professional Activities
Organizer
- Co-chair (with Ricardo Goncalves, Matthias Knorr, and Joerg Puehrer), Knowledge Representation and Reasoning track, 18th EPIA Conference on Artificial Intelligence, Porto, 2017
- Co-chair (with Jean-Paul Calbimonte, Daniele Dell'Aglio, and Danh Le Phuoc), 2nd RDF Stream Processing workshop, Portoroz, 2017
- Co-organizer (with Manfred Hauswirth, Danh Le Phuoc, Thomas Eiter, and Fredrik Heintz), 2nd Stream Reasoning workshop, Berlin, 2016
- Co-organizer (with Harald Beck, Thomas Eiter, and Katarina Singer), 1st Stream Reasoning workshop, Vienna, 2015
PC Members
- Doctoral Symposium on Artificial Intelligence, EPIA 2017
- Web Reasoning and Rule Systems (RR) 2016
- Stream Reasoning Workshop@ISWC 2016
- VCLA Awards 2015
Reviewing for Journals
- Journal of Autonomous Agents and Multi-Agent Systems (AGNT)
- Journal of Web Semantics (JWS), Special Issue on Stream Processing
- Annals of Mathematics and Artificial Intelligence (AMAI)
- Journal of Web Engineering (JWE)
- Artificial Intelligence (ARTINT)
Reviewing for Conferences and Workshops
- Association for the Advancement of Artificial Intelligence (AAAI) 2012 2014 2016
- Conference on Information and Knowledge Management (CIKM) 2014
- International Workshop on Description Logics (DL) 2009
- European Conference on Artificial Intelligence (ECAI) 2010 2014
- European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) 2011
- Foundations of Information and Knowledge Systems (FoIKS) 2012
- European Semantic Web Conference (ESWC) 2016
- Foundations of Information and Knowledge Systems (FoIKS) 2012
- International Conference on Logic Programming (ICLP) 2010 2012
- The International Joint Conference on Automated Reasoning (IJCAR) 2012
- International Semantic Web Conference (ISWC) 2009 2011 2016
- International Conference on Principles of Knowledge Representation and Reasoning (KR) 2016
- International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 2009 2011
- Symposium on Practical Aspects of Declarative Languages (PADL) 2016
- International Conference on Principles of Practice in Multi-Agent Systems (PRIMA) 2010
- Conference on Prestigious Applications of Intelligent Systems (PAIS) 2014
- International Workshop on Reactive Concepts in Knowledge Representation 2014 (ReactKnow) 2014
- International Conference on Web Reasoning and Rule Systems (RR) 2015
- The International Symposium on Rules (RuleML) 2011 2012
- International Conference on Scalable Uncertainty Management (SUM) 2013
- International World Wide Web Conference (WWW) 2010
Software
-
DMCS
Prototype solver for distributed nonmonotonic multi-context systems.
Prototype solver for distributed nonmonotonic multi-context systems.