Kewen Wang

	2012
46		Grigoris Antoniou, Thomas Eiter, Kewen Wang: Forgetting for Defeasible Logic. LPAR 2012: 77-91
	2011
45		Xiaowang Zhang, Zuoquan Lin, Kewen Wang: A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System. APWeb 2011: 345-356
44		Yi-Dong Shen, Kewen Wang: Extending Logic Programs with Description Logic Expressions for the Semantic Web. International Semantic Web Conference (1) 2011: 633-648
	2010
43		Zhe Wang, Kewen Wang, Rodney W. Topor: A New Approach to Knowledge Base Revision in DL-Lite. AAAI 2010
42		Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang: Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. ECAI 2010: 47-52
41		Xiaowang Zhang, Zuoquan Lin, Kewen Wang: Towards a Paradoxical Description Logic for the Semantic Web. FoIKS 2010: 306-325
40		Zhe Wang, Kewen Wang, Rodney W. Topor: Revising General Knowledge Bases in Description Logics. KR 2010
39		Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan: Forgetting for knowledge bases in DL-Lite. Ann. Math. Artif. Intell. 58(1-2): 117-151 (2010)
	2009
38		Junhu Wang, Kewen Wang, Jiuyong Li: Finding Irredundant Contained Rewritings of Tree Pattern Queries Using Views. APWeb/WAIM 2009: 113-125
37		Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou: Uniform Interpolation for ALC\mathcal{ALC} Revisited. Australasian Conference on Artificial Intelligence 2009: 528-537
36		Zhe Wang, Kewen Wang, Rodney W. Topor: Revision of DL-Lite Knowledge Bases. Description Logics 2009
35		Kewen Wang, Zhe Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou: Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies. International Semantic Web Conference 2009: 666-681
	2008
34		Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan: Forgetting Concepts in DL-Lite. ESWC 2008: 245-257
33		Thomas Eiter, Kewen Wang: Semantic forgetting in answer set programming. Artif. Intell. 172(14): 1644-1672 (2008)
	2007
32		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
31		Thomas Eiter, Kewen Wang: Forgetting and Conflict Resolving in Disjunctive Logic Programming. AAAI 2006: 238-243
30		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
29		Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang: Forgetting in Managing Rules and Ontologies. Web Intelligence 2006: 411-419
	2005
28		Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
27		Kewen Wang, Abdul Sattar, Kaile Su: A Theory of Forgetting in Logic Programming. AAAI 2005: 682-688
26		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
25		Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
24		Yan Zhang, Norman Y. Foo, Kewen Wang: Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI 2005: 627-634
23		Kewen Wang, Yan Zhang: Nested Epistemic Logic Programs. LPNMR 2005: 279-290
22		Timothy William Cleaver, Abdul Sattar, Kewen Wang: Reasoning about Success and Failure in Intentional Agents. PRIMA 2005: 60-72
21		Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171
20		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
19		Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181
18		James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang: A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Computational Intelligence 20(2): 308-334 (2004)
	2003
17		Kewen Wang, Ruqian Lu: Artificial Intelligence Advances in China. AI Commun. 16(1): 1 (2003)
16		Kewen Wang, Lizhu Zhou: Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs CoRR cs.AI/0301010: (2003)
15		Torsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming CoRR cs.AI/0301023: (2003)
14		Torsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming. TPLP 3(4-5): 569-607 (2003)
	2002
13		Torsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. NMR 2002: 238-246
12		Torsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report CoRR cs.AI/0207060: (2002)
	2001
11		Torsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference: Preliminary Report. Answer Set Programming 2001
10		Torsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602
9		Kewen Wang: A Top-Down Procedure for Disjunctive Well-Founded Semantics. IJCAR 2001: 305-317
8		Kewen Wang: A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. LPNMR 2001: 133-146
7		Kewen Wang, Lizhu Zhou: Closed World Assumption for Disjunctive Reasoning. J. Comput. Sci. Technol. 16(4): 381-387 (2001)
6		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
5		Kewen Wang, Lizhu Zhou, Fangzhen Lin: Alternating Fixpoint Theory for Logic Programs with Priority. Computational Logic 2000: 164-178
4		Kewen Wang: Argumentation-based abduction in disjunctive logic programming. J. Log. Program. 45(1-3): 105-141 (2000)
	1999
3		Fangzhen Lin, Kewen Wang: From Causal Theories to Logic Programs (Sometimes). LPNMR 1999: 117-131
	1998
2		Kewen Wang, Huowang Chen, Quanyuan Wu: The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. 13(3): 193-201 (1998)
	1997
1		Kewen Wang, Huowang Chen: Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR 1997: 139-163

Coauthor Index

1	Grigoris Antoniou	[19] [21] [35] [37] [46]
2	David Billington	[19]
3	Jeff Blee	[19]
4	Huowang Chen	[1] [2]
5	Fu-Leung Cheng	[30]
6	Timothy William Cleaver	[22] [26]
7	James P. Delgrande	[18]
8	Thomas Eiter	[29] [30] [31] [33] [46]
9	Norman Y. Foo	[24]
10	Fausto Giunchiglia	[32]
11	Guido Governatori	[25] [28]
12	Giovambattista Ianni	[29]
13	Jiuyong Li	[38]
14	Fangzhen Lin	[3] [5]
15	Zuoquan Lin	[41] [45]
16	Ruqian Lu	[17]
17	Xiangyu Luo	[28]
18	Vineet Padmanabhan	[28]
19	Jeff Z. Pan	[32] [34] [35] [37] [39]
20	Nathan Robinson	[30]
21	Abdul Sattar	[21] [22] [25] [26] [27] [28] [30]
22	Torsten Schaub	[10] [11] [12] [13] [14] [15] [18]
23	Roman Schindlauer	[29]
24	Yi-Dong Shen	[44]
25	Kaile Su	[25] [27] [28]
26	Hans Tompits	[18] [29]
27	Rodney W. Topor	[21] [32] [34] [35] [36] [37] [39] [40] [42] [43]
28	Junhu Wang	[38]
29	Zhe Wang	[34] [35] [36] [37] [39] [40] [42] [43]
30	Quanyuan Wu	[2]
31	Xiaowang Zhang	[41] [42] [45]
32	Yan Zhang	[23] [24]
33	Yuting Zhao	[32]
34	Lizhu Zhou (Li-Zhu Zhou)	[5] [6] [7] [16] [20]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page