Publications: (Authors of publications with my international collaborators J. Delgrande, T. Eiter, T. Schaub, H. Tompits are in alphabetical order)

 

 Journals

  1. 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. 
  2. James Delgrande, Torsten Schaub, Hans Tompits and Kewen Wang. Towards a classification of preference handling approaches in nonmonotonic reasoning. Computational Intelligence, 20(12): 308-334, 2004
  3. 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. 
  4. 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.
  5. Kewen Wang. Argumentation-based abduction in disjunctive logic programming. Journal of Logic Programming, 45(1-3): 105-140, 2000.
  6. Kewen Wang, Lizhu Zhou. Closed world assumption for disjunctive reasoning. Journal of Computer Science and Technology, Vol.16, No.4: 381-387, 2001.
  7. Kewen Wang, Huowang Chen. The least fixpoint transformation for disjunctive programs.  Journal of Computer Science and Technology. 13(3):193-201, 1998. 
  8. Kewen Wang, Lizhu Zhou. A Resolution procedure for DGCWA. Journal of Software, 12(9): 1265-1271, 2001.
  9. Kewen Wang, Lizhu Zhou, Huowang Chen. Argumentation-based semantics for extended disjunctive deductive databases. Journal of Software, 11(3): 293-299, 2000.
  10. Kewen Wang, Huowang Chen, Quanyuan Wu. Consistency-based abduction with extended disjunctive logic programs. Science in China, Ser. E, 40(6): 574-582, 1997.
  11. Kewen Wang, Quanyuan Wu, Huowang Chen. Argumentation in disjunctive logic programming. Science in China, Ser.E ,  41(1): 106-112, 1998.
  12. Kewen Wang, Huowang Chen, Quanyuan Wu. Credulous argumentation with the disjunctive stable semantics. Science in China, Ser.E. , 41(3):330-336, 1998.
  13. Kewen Wang. Bi-disjunctive logic programs and argumentation I. Chinese Journal of Computers, 20(4): 289-297, 1997 (in Chinese, with English abstract).
  14. Kewen Wang. Bi-disjunctive logic programs and argumentation II. Chinese Journal of Computers, 20(4): 298-304, 1997 (in Chinese, with English abstract).
  15. Kewen Wang, Hu Jiuren. Argument systems with assertions. Journal of Software, 8(11): 838-851, 1997.
  16. Jiuren Hu, Kewen Wang. A Computational model for argumentation. Micro-mini Computer Systems. 17(11): 46-50, 1996 (in Chinese, with English abstract).
  17. Kewen Wang, Shurun Xu. New relation between the Shift Function and the Busy Beaver Function. Chinese Journal of Advanced Software Research, 2(2):192-197, 1995.

 

    International Conferences/Worshops

  1. Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI-06), 2006 (accepted for publication). 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.
  2. 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), pages 238-243, AAAI Press, Inc., 2006.

20.   Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang. LPForget: A system of forgetting in answer set programming. In Proceedings of 19th Australian AI Conference (AI-06), 2006, accepted for publication

21.   Thomas Eiter and Kewen Wang. Forgetting and conflict resolving in disjunctive logic programming. In Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR-2006), pages 85- 91, 2006 (an extended version of AAAI-06 paper).

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

  1. 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, AAAI Press, Inc., 2005.

24.  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, 2005.

  1. Yan Zhang, Norman Foo and Kewne 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.
  2. 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.
  3. Tim Cleaver, Abdul Sattar and Kewen Wang. Reasoning about success and failure in intentional agents. In Proceedings of the 18th Australian Joint Conference on Artificial Intelligence,  LNAI, 2005 (accepted for publication).
  4. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori. A computationally grounded model for BDI-agents. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), Morgan Kaufmann Publishers, Inc., 2005 (poster).
  5. Kewen Wang, David Billington, Jeff Blee and Grigoris Antoniou. Combining description logic and defeasible logic for the semantic web. In: Proceedings of the Seventh Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML-2004), LNCS 3323, pages 170-181, 2004.
  6. 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 AAAI Spring Symposium (Workshop on Preferences in Artificial Intelligence and Constraint Programming: Symbolic Approaches), AAAI Press, 2002.
  7. 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), pages 238-246, 2002.
  8. 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.
  9. Kewen Wang. A top-down procedure for disjucntive 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.
  10. Torsten Schaub, Kewen Wang.  A comparative study of logic programs with preference. In: Proc. of 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications, April 4-6, Potsdam, Germany, pages 151-157, 2001.
  11. Torsten Schaub, Kewen Wang. A comparative study of logic programming with preference: Preliminary Report. In: Proc. of AAAI Symposium: Answer Set Programming Workshop, AAAI Press, 2001.
  12. Kewen Wang. Disjunctive well-founded semantics revisited. In: Proc. of 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their
    Applications    , April 4-6, Potsdam, Germany, pages 193-203, 2001.
  13. Kewen Wang. A top-down procedure for disjunctive well-founded semantics. In: Proc. of 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications, April 4-6, Potsdam, Germany, pages 181-192, 2001.
  14. Kewen Wang, Lizhu Zhou, Fangzhen Lin. Alternating fixpoint theory for logic programs with priority.  In: Proceedings of the First International Joint Conference on Computational Logic, LNCS 1861: 164-178, London, 2000.
  15. Kewen Wang, Lizhu Zhou. Computing the disjunctive closed world assumption. Accepted at the 10th International Conference on Computing and Information (ICCI '2000), Kuwait, November 18-21, 2000.
  16. Kewen Wang, Lizhu Zhou. Specifying database updates by causal theories. In: Proceedings of the 16th World Computer Congress (WCC2000), Beijing, China, 2000.
  17. J. H. Feng, H. M. Lai, K. W. Wang, L. Z. Zhou. Electronic business and web-based information systems. In: Proceedings of the 16th World Computer Congress (WCC2000), Beijing, China, 2000.
  18. Fangzhen Lin, Kewen Wang. From causal theories to logic programs. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), Lecture Notes in Artificial Intelligence 1730, El Paso, pages 117-131, 1999.
  19. Kewen Wang, Fangzhen Lin. Closed world reasoning and query evaluation in disjunctive deductive databases. In: Proceedings of the International Conference on Applications of Prolog (workshop: DDLP'99), 1999.
  20. Kewen Wang, Huowang Chen. Abduction, argumentation and bi-disjunctive deductive databases. In: Proc. Logic Programming and Knowledge Representation, Lecture Notes Computer Science 1471, Springer-Verlag, pages 139-163, 1998.

Edited special issue: AI Communications- The European Journal on Artificial Intelligence (Artificial Intelligence Advances in China), 16(1), 2003.