Welcome to Kewen's Homepage

---

Dr. Kewen Wang

Position: Associate Professor
Postal address:

School of Information and Communication Technology
Griffith University, Brisbane, QLD 4111 
Australia 
Phone: +61 7 3735 5028 
Fax:     +61 7 3735 5051 
Email: k.wang@cit.gu.edu.au
Office: N44-Room 2.31 (Nathan Campus) 

---

Teaching

2508ICT (Principles of Intelligent Systems), Semester 2, 2008

Past Teaching

---

Research Projects

• ARC Discovery: Towards automated and intelligent processing of web-based information (Declarative Reasoning Systems for the Semantic Web), 2006.1- 2008.12 (K Wang, R. Topor, and G. Antoniou).

• ARC Discovery: Foundations of Nonmonotonic Logic  Programming  for Complex Knowledge Systems, 2006.1- 2008.12 (Y. Zhang, A. Nayak, K. Wang and F. Lin).

---

Professional Activities

• 12^th NMR-2008, Co-Chair for Preferences
• 18^th ECAI-2008, PC member
• RuleML-2008, PC member.
• 19^th ICTAI-2007, PC member
• 2^nd KSEM-2007, PC member
• RuleML-2007, PC member.
• 17^th ECAI-2006, PC member.
• 11^th NMR-2006, PC member (ASP session).
• RuleML-2006, PC member.
• KSEM-2006, PC member.
• OnToContent-2006, PC member.
• AMT-2006, PC member.
• RuleML-2005, PC member.
• 18^th Australian AI Conference, 2005, PC member.
• RuleML-2004, PC member.

• AI Communications: The European Journal on Artificial Intelligence, Editorial board member, Jan 2000- Dec 2004.

---

Papers

1. Thomas Eiter and Kewen Wang. Semantic forgetting in answer set programming. Artificial Intelligence (AIJ),accepted for publication, 2008. A copy of the paper is available: PDF (57 pages, 411KB)
2. Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan: Forgetting Concepts in DL-Lite. The Semantic Web: Research and Applications, Proceedings of the 5th European Semantic Web Conference (ESWC-08), pages 245-257, 2008
3. Yuting Zhao, Kewen Wang, Rodney Topor, Jeff Z. Pan and Fausto Giunchiglia. Autonomous Ontology Reasoning. In Proceedings of the International Semantic Web Conference (ISWC-07), pagews 666-679, 2007.
4. Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang. LPForget: A system of forgetting in answer set programming. In Proceedings of 19^th Australian AI Conference (AI-06), pages 1101-1105, 2006. [PDF]

5. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits and Kewen Wang. Forgetting in managing rules and ontologies. In Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), pages 411-419, 2006. This paper is also presented at the Workshop on Applications of Logic Programming in the Semantic Web and Web Services in conjunction with ICLP-2006. [PDF]

6. Thomas Eiter and Kewen Wang. Forgetting and conflict resolving in disjunctive logic programming. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-2006), AAAI Press, Inc., 2006. [PDF]

7. Thomas Eiter and Kewen Wang. Forgetting and conflict resolving in disjunctive logic programming. In Proceedings of the11th NMR-2006, 2006 (an extended version of AAAI-06 paper). [PDF]

8. Kewen Wang, Grigoris Antoniou, Rodney Topor and Abdul Sattar. Merging and aligning ontologies in dl-programs. In Proceedings of the International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2005), LNCS 3791, pages 160-171, 2005. [PDF]

9. Kewen Wang, Lizhu Zhou. Comparisons and computation of well-founded semantics for disjunctive logic programs. ACM Transactions on Computational Logic, 6(2): 295-327, 2005. [PS] or [PDF at TOCL]

10. Kewen Wang, Abdul Sattar and Kaile Su. A theory of forgetting in logic programming. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005), pages 682-687 (Oral Paper), AAAI Press, Inc., 2005. [PDF]

11. Kewen Wang and Yan Zhang. Nested epistemic logic programs. In Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-05), LNCS 3662, 2005. [PDF]

12. Yan Zhang, Norman Foo and Kewen Wang, Solving logic program conflicts through strong and weak forgettings. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), pages 627-632, the Professional Book Centre, USA, 2005. [PDF]

13. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori, Xiangyu Luo and Vineet Nair. The Observation-based Model for BDI-Agents. In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-2005), pages 190-195, AAAI Press, Inc., 2005. [PDF]

14. Tim Cleaver, Abdul Sattar and Kewen Wang. Reasoning about success and failure in intentional agents. In Proceedings of the 18^th Australian Joint Conference on Artificial Intelligence, LNAI 3809, pages 60-69, 2005.

15. Kewen Wang, David Billington, Jeff Blee and Grigoris Antoniou. Combining description logic and defeasible logic for the semantic web. In: Proc. RuleML’2004, LNCS 3323, pages 170-181, 2004.

16. James Delgrande, Torsten Schaub, Hans Tompits and Kewen Wang. A classification and survey of preference handling approaches in nonmonotonic reasoning.  Computational Intelligence, 20(12): 308-334, 2004. [PS]

17. Torsten Schaub, Kewen Wang. Towards a semantic framework for preference handling in answer set programming. Theory and Practice of Logic Programming, special issue on Answer Set Programming, 3(4-5): 569-607, 2003.  [PS]

18. James Delgrande, Torsten Schaub, Hans Tompits and Kewen Wang. Towards a classification of preference handling approaches in nonmonotonic reasoning. In: U. Junker ed. Proceedings of the Workshop on Preferences in Artificial Intelligence and Constraint Programming: Symbolic Approaches, AAAI Press, 2002. [PS] 

19. Torsten Schaub, Kewen Wang. Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary Report. In: Proceedings of the Workshop on Non-Monotonic Reasoning (NMR'02), 2002. [PS] 

20. Torsten Schaub, Kewen Wang. A comparative study of logic programming with preference. In: Proceedings of 17th International Joint Conference on Artificial Intelligence (IJCAI'01), pages 597-602, Seattle, 2001. [PS] 

21. Kewen Wang.  A top-down procedure for disjunctive well-founded semantics. In: Proceedings of International Joint Conference on Automated Reasoning (IJCAR'01), Lecture Notes in Artificial Intelligence 2083: 305-317, Siene, Italy, 2001. [PS] 

22. Kewen Wang. A comparative study of disjunctive well-founded semantics.  In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), Lecture Notes in Artificial Intelligence 2173: 133-146, Vienna, 2001. [PS] 

23. Kewen Wang, Lizhu Zhou. An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases. Journal of Intelligent Information Systems, 16(3): 229-253, 2001. [PDF] 

24. Kewen Wang. Argumentation-based abduction in disjunctive logic programming. Journal of Logic Programming, 45(1-3): 105-140, 2000. [PS] 

25. Kewen Wang, Lizhu Zhou, Fangzhen Lin. Alternating fixpoint theory for logic programs with priority. In: Proceedings of the First International Conference on Computational Logic (CL'00), Lecture Notes in Computer Science 1861: 164-178, London, 2000. [PS] 

26. Kewen Wang, Lizhu Zhou. Specifying database updates by causal theories. In: Proceedings of the 16th World Computer Congress (WCC2000), Beijing, 2000. [PS] 

27. Fangzhen Lin, Kewen Wang. From causal theories to logic programs. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), LNAI 1730, pages 117-131, 1999. [PS] 
    

Edited Special Issue: 

Kewen Wang, Ruqian Lu. Artificial Intelligence Advances in China, AI Communications: The European Journal on Artificial Intelligence, 16(1), 2003.

Here is a full list of my publications (since 1995)

---

Resources:

Professor H. T. Kung’s advice on research

More articles: Advice on Research and Writing at CMU

---