Approximating model-based ABox revision in DL-Lite: Theory and practice G Qi, Z Wang, K Wang, X Fu, Z Zhuang Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 30 | 2015 |
Model Based Horn Contraction. ZQ Zhuang, M Pagnucco 13th International Conference on Principles of Knowledge Representation and …, 2012 | 30 | 2012 |
Implementing iterated belief change via prime implicates ZQ Zhuang, M Pagnucco, T Meyer AI 2007: Advances in Artificial Intelligence: 20th Australian Joint …, 2007 | 29 | 2007 |
Contraction and revision over DL-Lite tboxes Z Zhuang, Z Wang, K Wang, G Qi Proceedings of the 29th AAAI Conference on Artificial Intelligence, 254-260, 2014 | 27 | 2014 |
Horn contraction via epistemic entrenchment ZQ Zhuang, M Pagnucco European Conference on Logics in Artificial Intelligence, 339-351, 2010 | 27 | 2010 |
Definability of Horn Revision from Horn Contraction. ZQ Zhuang, M Pagnucco, Y Zhang IJCAI, 1205-1212, 2013 | 26 | 2013 |
Transitively relational partial meet Horn contraction Z Zhuang, M Pagnucco Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 22 | 2011 |
Learning disentangled semantic representations for zero-shot cross-lingual transfer in multilingual machine reading comprehension L Wu, S Wu, X Zhang, D Xiong, S Chen, Z Zhuang, Z Feng arXiv preprint arXiv:2204.00996, 2022 | 18 | 2022 |
DL-Lite contraction and revision Z Zhuang, Z Wang, K Wang, G Qi Journal of Artificial Intelligence Research 56, 329-378, 2016 | 17 | 2016 |
Reconsidering AGM-style belief revision in the context of logic programs Z Zhuang, J Delgrande, A Nayak, A Sattar Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 14 | 2016 |
Instance-driven ontology evolution in DL-Lite Z Wang, K Wang, Z Zhuang, G Qi Proceedings of the AAAI Conference on Artificial Intelligence, 2015 | 14 | 2015 |
Entrenchment-based Horn contraction Z Zhuang, M Pagnucco Journal of Artificial Intelligence Research 51, 227-254, 2014 | 14 | 2014 |
Partial meet revision and contraction in logic programs S Binnewies, Z Zhuang, K Wang Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 11 | 2015 |
A Unifying Framework for Probabilistic Belief Revision. Z Zhuang, JP Delgrande, AC Nayak, A Sattar IJCAI, 1370-1376, 2017 | 10 | 2017 |
Belief change in nonmonotonic multi-context systems Y Wang, Z Zhuang, K Wang Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 10 | 2013 |
Knowledge forgetting in circumscription: A preliminary report Y Wang, K Wang, Z Wang, Z Zhuang Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 8 | 2015 |
Two methods for constructing Horn contractions ZQ Zhuang, M Pagnucco Australasian Joint Conference on Artificial Intelligence, 72-81, 2010 | 8 | 2010 |
Query Answering for Existential Rules via Efficient Datalog Rewriting Z Wang, P Xiao, K Wang, Z Zhuang, H Wan Proceedings of the 29th International Joint Conference on Artificial …, 2020 | 7 | 2020 |
A generalisation of AGM contraction and revision to fragments of first-order logic Z Zhuang, Z Wang, K Wang, J Delgrande Journal of Artificial Intelligence Research 64, 147-179, 2019 | 7 | 2019 |
Lifting Majority to Unanimity in Opinion Diffusion Z Zhuang, K Wang, J Wang, H Zhang, Z Wang, Z Gong Proceedings of the 24th European Conference on Artificial Intelligence, 259-266, 2020 | 6 | 2020 |