| 2009 |
| 32 | EE | Junhu Wang,
Kewen Wang,
Jiuyong Li:
Finding Irredundant Contained Rewritings of Tree Pattern Queries Using Views.
APWeb/WAIM 2009: 113-125 |
| 2008 |
| 31 | EE | Zhe Wang,
Kewen Wang,
Rodney W. Topor,
Jeff Z. Pan:
Forgetting Concepts in DL-Lite.
ESWC 2008: 245-257 |
| 30 | EE | Thomas Eiter,
Kewen Wang:
Semantic forgetting in answer set programming.
Artif. Intell. 172(14): 1644-1672 (2008) |
| 2007 |
| 29 | EE | Yuting Zhao,
Kewen Wang,
Rodney W. Topor,
Jeff Z. Pan,
Fausto Giunchiglia:
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies.
ISWC/ASWC 2007: 666-679 |
| 2006 |
| 28 | | Thomas Eiter,
Kewen Wang:
Forgetting and Conflict Resolving in Disjunctive Logic Programming.
AAAI 2006 |
| 27 | EE | Fu-Leung Cheng,
Thomas Eiter,
Nathan Robinson,
Abdul Sattar,
Kewen Wang:
LPForget: A System of Forgetting in Answer Set Programming.
Australian Conference on Artificial Intelligence 2006: 1101-1105 |
| 26 | EE | Thomas Eiter,
Giovambattista Ianni,
Roman Schindlauer,
Hans Tompits,
Kewen Wang:
Forgetting in Managing Rules and Ontologies.
Web Intelligence 2006: 411-419 |
| 2005 |
| 25 | | Kaile Su,
Abdul Sattar,
Kewen Wang,
Xiangyu Luo,
Guido Governatori,
Vineet Padmanabhan:
Observation-based Model for BDI-Agents.
AAAI 2005: 190-195 |
| 24 | | Kewen Wang,
Abdul Sattar,
Kaile Su:
A Theory of Forgetting in Logic Programming.
AAAI 2005: 682-688 |
| 23 | EE | Timothy William Cleaver,
Abdul Sattar,
Kewen Wang:
Reasoning with the Outcomes of Plan Execution in Intentional Agents.
Australian Conference on Artificial Intelligence 2005: 60-69 |
| 22 | EE | Kaile Su,
Abdul Sattar,
Kewen Wang,
Guido Governatori:
Computationally Grounded Model of BDI-Agents.
IJCAI 2005: 1581-1582 |
| 21 | EE | Yan Zhang,
Norman Y. Foo,
Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings.
IJCAI 2005: 627-634 |
| 20 | EE | Kewen Wang,
Yan Zhang:
Nested Epistemic Logic Programs.
LPNMR 2005: 279-290 |
| 19 | EE | Kewen Wang,
Grigoris Antoniou,
Rodney W. Topor,
Abdul Sattar:
Merging and Aligning Ontologies in dl-Programs.
RuleML 2005: 160-171 |
| 18 | EE | Kewen Wang,
Lizhu Zhou:
Comparisons and computation of well-founded semantics for disjunctive logic programs.
ACM Trans. Comput. Log. 6(2): 295-327 (2005) |
| 2004 |
| 17 | EE | Kewen Wang,
David Billington,
Jeff Blee,
Grigoris Antoniou:
Combining Description Logic and Defeasible Logic for the Semantic Web.
RuleML 2004: 170-181 |
| 2003 |
| 16 | EE | Kewen Wang,
Ruqian Lu:
Artificial Intelligence Advances in China.
AI Commun. 16(1): 1 (2003) |
| 15 | EE | Kewen Wang,
Lizhu Zhou:
Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs
CoRR cs.AI/0301010: (2003) |
| 14 | EE | Torsten Schaub,
Kewen Wang:
A semantic framework for preference handling in answer set programming
CoRR cs.AI/0301023: (2003) |
| 13 | | Torsten Schaub,
Kewen Wang:
A semantic framework for preference handling in answer set programming.
TPLP 3(4-5): 569-607 (2003) |
| 2002 |
| 12 | | Torsten Schaub,
Kewen Wang:
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report.
NMR 2002: 238-246 |
| 11 | EE | Torsten Schaub,
Kewen Wang:
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
CoRR cs.AI/0207060: (2002) |
| 2001 |
| 10 | EE | Torsten Schaub,
Kewen Wang:
A Comparative Study of Logic Programs with Preference: Preliminary Report.
Answer Set Programming 2001 |
| 9 | | Torsten Schaub,
Kewen Wang:
A Comparative Study of Logic Programs with Preference.
IJCAI 2001: 597-602 |
| 8 | EE | Kewen Wang:
A Top-Down Procedure for Disjunctive Well-Founded Semantics.
IJCAR 2001: 305-317 |
| 7 | EE | Kewen Wang:
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs.
LPNMR 2001: 133-146 |
| 6 | EE | Kewen Wang,
Lizhu Zhou:
Closed World Assumption for Disjunctive Reasoning.
J. Comput. Sci. Technol. 16(4): 381-387 (2001) |
| 5 | | Kewen Wang,
Lizhu Zhou:
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases.
J. Intell. Inf. Syst. 16(3): 229-253 (2001) |
| 2000 |
| 4 | EE | Kewen Wang,
Lizhu Zhou,
Fangzhen Lin:
Alternating Fixpoint Theory for Logic Programs with Priority.
Computational Logic 2000: 164-178 |
| 3 | | Kewen Wang:
Argumentation-based abduction in disjunctive logic programming.
J. Log. Program. 45(1-3): 105-141 (2000) |
| 1999 |
| 2 | EE | Fangzhen Lin,
Kewen Wang:
From Causal Theories to Logic Programs (Sometimes).
LPNMR 1999: 117-131 |
| 1997 |
| 1 | EE | Kewen Wang,
Huowang Chen:
Abduction, Argumentation and Bi-Disjunctive Logic Programs.
LPKR 1997: 139-163 |