PhD
Contact details for Associate Professor Kewen Wang
Research expertise
- Nonmonotonic Reasoning
- Logic Programming
- Semantic Web
- Knowledge Representation
- Applied Logics
Publications
- 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), pages 1101-1105, 2006.
- 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.
- 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.
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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 3809, pages 60-69, 2005.