I am a professor at the College of Intelligence and Computing, Tianjin University, China. My research area is artificial intelligence with a focus on mechanism design and knowledge representation and reasoning.
Selected Publications (A list of my publications can be found at DBLP and Google Scholar)
2023
Zhe Wang,Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan, Efficient Datalog Rewriting for Query Answering in TGD Ontologies,IEEE Transaction on Knowledge and Data Engineering 35(3): 2515-2528.
Zhiqiang Zhuang, Kewen Wang, Zhe Wang, Price of Anarchy for First Price Auction with Risk-Averse Bidders, To appear in proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS-23). 2022
Zhiqiang Zhuang, Kewen Wang, Zhe Wang, junhu Wang, Yinong Yang, Maximising the Influence of Temporary Participants in Opinion Formation,CoRR abs/2205.12503. 2020
Zhiqiang Zhuang, Kewen Wang, Junhu Wang, Heng Zhang, Zhe Wang, Zhiguo Gong, Lifting Majority to Unanimity in Opinion Diffusion, In proceedings of the 24th European Conference on Artificial Intelligence (ECAI-20), 259-266.
Zhe Wang, Peng Xiao, Kewen Wang, Zhiqiang Zhuang, Hai Wan, Query Answering for Existential Rules via Efficient Datalog Rewriting, In proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI-20), 1933-1939.
2019 Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James Delgrande, A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic, Journal of Artificial Intelligence Research 64, 147-179.
2018
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic, Syntax-Preserving Belief Change Operators for Logic Programs, ACM Transactions on Computational Logic, 19(2), 12:1-12:42.
2017 ZhiqiangZhuang, Maurice Pagnucco, Yan Zhang, Inter-Definability of Horn Contraction and Revision, Journal of Philosophical Logic 46(3): 299-332.
Zhiqiang Zhuang, James Delgrande, Abhaya Nayak, Abdul Sattar,A Unifying Framework for Probabilistic Belief Revision, In proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17), 1370-1376.
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Three Methods for Revising Hybrid Knowledge Bases, In proceedings of the International Joint Conference on Rules and Reasoning (ruleML+RR-17), 37-52.
2016
Yifan Jin, Kewen Wang, Zhe Wang, Zhiqiang Zhuang, Revising Possibilistic Knowledge Bases via Compatibility Degrees, In proceedings of the 15th European Conference On Logics In Artificial Intelligence (JELIA-16), 305-319.
Zhiqiang Zhuang, James Delgrande, Abhaya Nayak, Abdul Sattar, Reconsidering AGM-Style Belief Revision in the Context of Logic Programs, In proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16), 671-679. Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi, DL-Lite Contraction and Revision, Journal of Artificial Intelligence Research 56, 329-378.
2015
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James Delgrande, Extending AGM Contraction to Arbitrary Logics, In proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), 3299-3307.
Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang, Abdul Sattar, Probabilistic Belief Contraction Using Argumentation, In proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), 2854-2860.
Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang, Knowledge Forgetting in Circumscription: A Preliminary Report, In proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15), 1649-1655.
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Partial Meet Revision and Contraction in Logic Programs, In proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15), 1439-1445.
Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang, Approximating Model-based ABox Revision in DL-Lite: Theory and Practice, In proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15), 254-260.
Zhe Wang, Kewen Wang, Zhiqiang Zhuang, Guilin Qi, Instance-driven Ontology Evolution in DL-Lite, In proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15), 1656-1662.
2014
Zhiqiang Zhuang, Maurice Pagnucco, Entrenchment-Based Horn Contraction, Journal of Artificial Intelligence Research 51, 227-254.
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi, Contraction and Revision over DL-Lite TBoxes, In proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI-14), 1149-1156.
2013
Yisong Wang, Zhiqiang Zhuang, Kewen Wang, Belief Change in Nonmonotonic Multi-Context Systems, In proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-13), 543-555.
Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang, Definability of Horn Revision from Horn Contraction. In proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13), 1205-1211.
2012
Zhiqiang Zhuang, Maurice Pagnucco, Model Based Horn Contraction. In proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR-12), 169-178.
2011
Zhiqiang Zhuang, Maurice Pagnucco, Transitively Relational Partial Meet Horn Contractions. In proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), 1132-1138.
2010
Zhiqiang Zhuang, Maurice Pagnucco, Two Methods for Constructing Horn Contractions. In proceedings of the 23rd Australasian Conference on Artificial Intelligence 2010 (AI-10), 72-81.
Zhiqiang Zhuang, Maurice Pagnucco, Horn Contraction via Epistemic Entrenchment. In proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA-10), 339-351.
2007
Zhiqiang Zhuang, Maurice Pagnucco, Thomas Meyer, Implementing Iterated Belief Change Via Prime Implicates. In proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI-07), 507-518.