Wang, Kewen

32 publications

AAAI 2025 Rule-Guided Graph Neural Networks for Explainable Knowledge Graph Reasoning Zhe Wang, Suxue Ma, Kewen Wang, Zhiqiang Zhuang

NeurIPSW 2023 Enhancing the Misreport Network for Optimal Auction Design Haiying Wu, Shuyuan You, Zhiqiang Zhuang, Kewen Wang, Zhe Wang

IJCAI 2022 Function-Words Adaptively Enhanced Attention Networks for Few-Shot Inverse Relation Classification Chunliu Dou, Shaojuan Wu, Xiaowang Zhang, Zhiyong Feng, Kewen Wang

AAAI 2020 On the Expressivity of ASK Queries in SPARQL Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng

IJCAI 2020 Query Answering for Existential Rules via Efficient Datalog Rewriting Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan

JAIR 2019 A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande

AAAI 2019 Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen

AAAI 2018 Forgetting and Unfolding for Existential Rules Zhe Wang, Kewen Wang, Xiaowang Zhang

AAAI 2018 On the Satisfiability Problem of Patterns in SPARQL 1.1 Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Zhe Wang

IJCAI 2018 Scalable Rule Learning via Learning Representation Pouya Ghiasnezhad Omran, Kewen Wang, Zhe Wang

JAIR 2016 DL-Lite Contraction and Revision Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi

IJCAI 2016 Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu

AAAI 2015 A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs James P. Delgrande, Kewen Wang

AAAI 2015 Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang

IJCAI 2015 Extending AGM Contraction to Arbitrary Logics Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande

AAAI 2015 Instance-Driven Ontology Evolution in DL-Lite Zhe Wang, Kewen Wang, Zhiqiang Zhuang, Guilin Qi

AAAI 2015 Knowledge Forgetting in Circumscription: A Preliminary Report Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang

AAAI 2015 Partial Meet Revision and Contraction in Logic Programs Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang

AAAI 2015 Query Abduction for ELH Ontologies Mahsa Chitsaz, Zhe Wang, Kewen Wang

AAAI 2015 Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies Jianfeng Du, Kewen Wang, Yi-Dong Shen

AAAI 2014 A Tractable Approach to ABox Abduction over Description Logic Ontologies Jianfeng Du, Kewen Wang, Yi-Dong Shen

AAAI 2014 Contraction and Revision over DL-Lite TBoxes Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi

IJCAI 2013 Forgetting for Answer Set Programs Revisited Yisong Wang, Kewen Wang, Mingyi Zhang

AAAI 2012 Conflict-Based Belief Revision Operators in Possibilistic Logic Guilin Qi, Kewen Wang

AAAI 2012 FLP Semantics Without Circular Justifications for General Logic Programs Yi-Dong Shen, Kewen Wang

AAAI 2010 A New Approach to Knowledge Base Revision in DL-Lite Zhe Wang, Kewen Wang, Rodney W. Topor

AAAI 2006 Forgetting and Conflict Resolving in Disjunctive Logic Programming Thomas Eiter, Kewen Wang

AAAI 2005 A Theory of Forgetting in Logic Programming Kewen Wang, Abdul Sattar, Kaile Su

IJCAI 2005 Computationally Grounded Model of BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori

AAAI 2005 Observation-Based Model for BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan

IJCAI 2005 Solving Logic Program Conflict Through Strong and Weak Forgettings Yan Zhang, Norman Y. Foo, Kewen Wang

IJCAI 2001 A Comparative Study of Logic Programs with Preference Torsten Schaub, Kewen Wang