|
After I finished my PhD, I moved to Free University of Bozen-Bolzano for a Postdoc. The page here is only for historical references. My new personal website: http://www.ghxiao.org |
||||||||
Guohui Xiao (肖国辉)
|
 |
|||||||
| Project Staff - PhD Student |
||||||||
|
||||||||
I started in October 2009 as a research assistant at the Knowledge-Based Systems Group at Vienna University of Technology (TU Wien), Austria.
I obtained my bachelor's and master's degree in Applied Mathematics at Department of Information Science, School of Mathematical Sciences, Peking University.
I am doing my PhD under supervision of Prof. Dr. Thomas Eiter and (until September 2010) of Dr. Stijn Heymans.
Research Interests
- Knowledge Representation
- Description Logics, Ontology, Semantic Web
- Nonmontonic Reasoning, Logic Programming, Answer Set Programming
- Combination of Rules and Ontologies
- Algorithms and Computational Complexity in AI
- Reasoner Implementation
- Common Sense Reasoning, Inconsistency Handling, Inconsistency Measurement
Research Projects
- Reasoning in Hybrid Knowledge Bases (FWF P20840)
- OntoRule,
partially funded by the European Union's 7th Framework Programme
under the Information and Communication Technologies (ICT)
Call 3 (ICT-231875). (finished)
Deliverables I was involved in: D2.3 D3.3 D3.4
Software
- DReW, a reasoner for DL-program over datalog-rewriteable ontologies.
- Clipper, a reasoner for conjunctive queries over Horn-SHIQ ontologies
Publication
Reviewing for Conferences and Workshops
- AAAI Conference on Artificial Intelligence (AAAI) 2011
- International Joint Conference on Artificial Intelligence (IJCAI) 2011, 2013
- International Semantic Web Conference (ISWC) 2011, 2012, 2013
- International Joint Conference on Automated Reasoning (IJCAR) 2012
- International Conference on Principles of Knowledge Representation and Reasoning (KR) 2012
- Multi-Disciplinary International Workshop on Artificial Intelligence (MIWAI) 2012
- Reasoning Web (RW) 2012
- OPEN Answer Set Programming Competition (ASPCOMP) 2013
- British National Conference on Databases (BNCOD) 2013
- International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 2013
- International Conference on Scalable Uncertainty Management (SUM) 2013