- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i4 |      | Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi: A Distance-based Paraconsistent Semantics in DL-Lite. CoRR abs/1301.2005 (2013) |
| 2012 | ||
| c44 | | |
| c43 | | Yi-Dong Shen, Kewen Wang: FLP Semantics Without Circular Justifications for General Logic Programs. AAAI 2012 |
| c42 | | Jia-Huai You, Yi-Dong Shen, Kewen Wang: Well-Supported Semantics for Logic Programs with Generalized Rules. Correct Reasoning 2012: 576-591 |
| c41 | | Kewen Wang, Xuelian Lin, Wenzhong Tang: Predator - An experience guided configuration optimizer for Hadoop MapReduce. CloudCom 2012: 419-426 |
| c40 | | Sheng Li, Junhu Wang, Kewen Wang, Jiang Li: A Distance-Based Spelling Suggestion Method for XML Keyword Search. ER 2012: 176-189 |
| c39 | | Weiling Hong, Kewen Wang: Tourism Traffic Character Analysis in Mountain Area during Vacation - The Scenic Area Yesanpo in Hebei Province as an Example. ICDMA 2012: 983-986 |
| c38 | | |
| c37 | | Mahsa Chitsaz, Kewen Wang, Michael Blumenstein, Guilin Qi: Concept Learning for $\ensuremath{\ensuremath{\cal E}\ensuremath{\cal L}^{++}}$ by Refinement and Reinforcement. PRICAI 2012: 15-26 |
| c36 | | Yifan Jin, Kewen Wang, Lian Wen: Possibilistic Reasoning in Multi-Context Systems: Preliminary Report. PRICAI 2012: 180-193 |
| c35 | | Raghav Ramachandran, Guilin Qi, Kewen Wang, Junhu Wang, John Thornton: Probabilistic Reasoning in DL-Lite. PRICAI 2012: 480-491 |
| 2011 | ||
| c34 | | Xiaowang Zhang, Zuoquan Lin, Kewen Wang: A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System. APWeb 2011: 345-356 |
| c33 | | Marco Sotomayor, Kewen Wang, Yi-Dong Shen, John Thornton: Probabilistic Multi-Context Systems. JIST 2011: 366-375 |
| c32 | | Nathan Cobby, Kewen Wang, Zhe Wang, Marco Sotomayor: OntoRevision: A Plug-in System for Ontology Revision in Protégé. JIST 2011: 417-424 |
| c31 | | 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 | ||
| j10 | | 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) |
| c30 | | Zhe Wang, Kewen Wang, Rodney W. Topor: A New Approach to Knowledge Base Revision in DL-Lite. AAAI 2010 |
| c29 | | Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang: Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. ECAI 2010: 47-52 |
| c28 | | Xiaowang Zhang, Zuoquan Lin, Kewen Wang: Towards a Paradoxical Description Logic for the Semantic Web. FoIKS 2010: 306-325 |
| c27 | | Zhe Wang, Kewen Wang, Rodney W. Topor: Revising General Knowledge Bases in Description Logics. KR 2010 |
| 2009 | ||
| c26 | | 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 |
| c25 | | |
| c24 | | 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 |
| c23 | | Junhu Wang, Kewen Wang, Jiuyong Li: Finding Irredundant Contained Rewritings of Tree Pattern Queries Using Views. APWeb/WAIM 2009: 113-125 |
| 2008 | ||
| j9 | | Thomas Eiter, Kewen Wang: Semantic forgetting in answer set programming. Artif. Intell. 172(14): 1644-1672 (2008) |
| c22 | | Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan: Forgetting Concepts in DL-Lite. ESWC 2008: 245-257 |
| 2007 | ||
| c21 | | 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 | ||
| c20 | | Thomas Eiter, Kewen Wang: Forgetting and Conflict Resolving in Disjunctive Logic Programming. AAAI 2006: 238-243 |
| c19 | | 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 |
| c18 | | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang: Forgetting in Managing Rules and Ontologies. Web Intelligence 2006: 411-419 |
| 2005 | ||
| j8 | | Kewen Wang, Lizhu Zhou: Comparisons and computation of well-founded semantics for disjunctive logic programs. ACM Trans. Comput. Log. 6(2): 295-327 (2005) |
| c17 | | Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195 |
| c16 | | |
| c15 | | 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 |
| c14 | | Yan Zhang, Norman Y. Foo, Kewen Wang: Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI 2005: 627-634 |
| c13 | | Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582 |
| c12 | | |
| c11 | | Timothy William Cleaver, Abdul Sattar, Kewen Wang: Reasoning about Success and Failure in Intentional Agents. PRIMA 2005: 60-72 |
| c10 | | Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171 |
| 2004 | ||
| j7 | | 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) |
| c9 | | Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181 |
| 2003 | ||
| j6 | | |
| j5 | | Torsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming. TPLP 3(4-5): 569-607 (2003) |
| i3 | | Kewen Wang, Lizhu Zhou: Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs. CoRR cs.AI/0301010 (2003) |
| i2 | | Torsten Schaub, Kewen Wang: A semantic framework for preference handling in answer set programming. CoRR cs.AI/0301023 (2003) |
| 2002 | ||
| c8 |  | Torsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report. NMR 2002: 238-246 |
| i1 | | Torsten Schaub, Kewen Wang: Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report. CoRR cs.AI/0207060 (2002) |
| 2001 | ||
| j4 | | Kewen Wang, Lizhu Zhou: Closed World Assumption for Disjunctive Reasoning. J. Comput. Sci. Technol. 16(4): 381-387 (2001) |
| j3 | | Kewen Wang, Lizhu Zhou: An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases. J. Intell. Inf. Syst. 16(3): 229-253 (2001) |
| c7 | | Torsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference: Preliminary Report. Answer Set Programming 2001 |
| c6 | | |
| c5 | | Torsten Schaub, Kewen Wang: A Comparative Study of Logic Programs with Preference. IJCAI 2001: 597-602 |
| c4 | | Kewen Wang: A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. LPNMR 2001: 133-146 |
| 2000 | ||
| j2 | | Kewen Wang: Argumentation-based abduction in disjunctive logic programming. J. Log. Program. 45(1-3): 105-141 (2000) |
| c3 | | Kewen Wang, Lizhu Zhou, Fangzhen Lin: Alternating Fixpoint Theory for Logic Programs with Priority. Computational Logic 2000: 164-178 |
| 1999 | ||
| c2 | | |
| 1998 | ||
| j1 | | Kewen Wang, Huowang Chen, Quanyuan Wu: The least fixpoint transformation for disjunctive logic programs. J. Comput. Sci. Technol. 13(3): 193-201 (1998) |
| 1997 | ||
| c1 | | Kewen Wang, Huowang Chen: Abduction, Argumentation and Bi-Disjunctive Logic Programs. LPKR 1997: 139-163 |
Colors in the list of coauthors
Last update Wed May 22 04:34:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page