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.wangREMOVETHISTEXT@REMOVETHISTEXTgriffith.edu.au

Office: N44-Room 2.31 (Nathan Campus) 

---

Teaching

Data Structures and Algorithms (3501ICT), Summer Semester, 2009

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

Third Year Project Course (3001ICT), Semester 2 (Convenor), 2009

Websites for current courses can be accessed through Learning@Griffith

Past Teaching

---

Research Interests

Nonmonotonic Reasoning, Logic Programming, Knowledge Representation, Semantic Web, Applied Logics, Artificial Intelligence

---

Research Projects

• ARC Discovery: Rule-Based Reasoning Systems for Complex and Dynamic Ontologies, 2010.1-2012. (Kewen Wang, John Thornton, Junhu Wang, Thomas Eiter, Grigoris Antoniou, Hans Tompits)

• 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

• Program Committee Member: 12^th KR-2010, 19^th ECAI-2010, 25^th ICLP-2010, 6^th ESWC-2010, 21^st IJCAI-2009, 10^th LPNMR-2009, RuleML 2009, 22^nd AI-2009, 20^th DEXA-2009, 12^th NMR-2008 (Co-Chair for Preferences), 18^th ECAI-2008, RuleML-2008, 19^th ICTAI-2007, 2^nd KSEM-2007, RuleML-2007, 17^th ECAI-2006, 11^th NMR-2006, RuleML-2006, KSEM-2006, OnToContent-2006, AMT-2006, RuleML-2005, 18^th AI-2005, RuleML-2004

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

---

Systems

LPForget: Forgetting in Answer Set Programming, 2006.

DLForget: Forgetting in Description Logics, 2008.

---

Publications

1. Zhe Wang, Kewen Wang, Rodney Topor, Jeff Z Pan. Forgetting for knowledge bases in DL-Lite. Annals of Mathematics and Artificial Intelligence, 2010 (accepted for publication).

2. Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan and Grigoris Antoniou. Concept and role forgetting in ALC-Ontologies. In: Proceedings of the 8th International Semantic Web Conference (ISWC-09), pages 666-681, 2009. PDF

3. Kewen Wang, Zhe Wang, Rodney Topor, Jeff Z Pan and Grigoris Antoniou. Uniform interpolation revisited. In: Proceedings of the 22^nd Australasian Conference on Artificial Intelligence (AI-09), pages 528-537, 2009. PDF

4. Zhe Wang, Kewen Wang, Rodney Topor, Jeff Z Pan. Revision of DL-Lite knowledge bases. In: Proceedings of 22^nd DL, 2009. PDF

5. Zhe Wang, Kewen Wang and Rodney Topor. Forgetting for Knowledge Bases in DL-Lite_bool. In: Proceedings of the IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009.

6. Junhu Wang, Kewen Wang and Jiuyong Li. Finding irredundant contained rewritings of tree pattern queries using views. Proceedings of the 11th Asia-Pacific Web Conference (APWeb), jointly with WAIM-09, pages 113-125, 2009.

7. Thomas Eiter and Kewen Wang. Semantic forgetting in answer set programming. Artificial Intelligence (AIJ), 172(14): 1644-1672, 2008. PDF at Elsevier, PDF as technical report (57 pages, 411KB)

8. 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. [PDF]

9. Yuting Zhao, Kewen Wang, Rodney Topor, Jeff Z. Pan and Fausto Giunchiglia. Autonomous Ontology Reasoning. In Proceedings of the 6th International Semantic Web Conference (ISWC-07), pages 666-679, 2007. [PDF]

10. 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]

11. 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 (WALPSWW). [PDF]

12. 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]

13. 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]

14. 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]

15. 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.  [PDF]

16. 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]

17. 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]

18. 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]

19. 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]

20. 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.

21. 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.

22. 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]

23. 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]

24. 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] 

25. 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] 

26. 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] 

27. 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] 

28. 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] 

29. 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] 

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

31. 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] 

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

33. 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)

---