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 |