Zhiqiang Zhuang
Zhiqiang Zhuang
Professor, College of Intelligence and Computing, Tianjin University
Verified email at tju.edu.cn - Homepage
Title
Cited by
Cited by
Year
Implementing iterated belief change via prime implicates
ZQ Zhuang, M Pagnucco, T Meyer
Australasian Joint Conference on Artificial Intelligence, 507-518, 2007
292007
Model Based Horn Contraction.
ZQ Zhuang, M Pagnucco
13th International Conference on Principles of Knowledge Representation and …, 2012
272012
Horn contraction via epistemic entrenchment
ZQ Zhuang, M Pagnucco
European Conference on Logics in Artificial Intelligence, 339-351, 2010
272010
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
242015
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
232014
Definability of Horn Revision from Horn Contraction.
ZQ Zhuang, M Pagnucco, Y Zhang
IJCAI, 1205-1212, 2013
222013
Transitively relational partial meet Horn contraction
Z Zhuang, M Pagnucco
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
202011
DL-Lite contraction and revision
Z Zhuang, Z Wang, K Wang, G Qi
Journal of Artificial Intelligence Research 56, 329-378, 2016
162016
Instance-driven ontology evolution in DL-Lite
Z Wang, K Wang, Z Zhuang, G Qi
Proceedings of the AAAI Conference on Artificial Intelligence, 2015
122015
Entrenchment-based Horn contraction
Z Zhuang, M Pagnucco
Journal of Artificial Intelligence Research 51, 227-254, 2014
122014
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
112015
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
102016
Belief change in nonmonotonic multi-context systems
Y Wang, Z Zhuang, K Wang
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
92013
Two methods for constructing Horn contractions
ZQ Zhuang, M Pagnucco
Australasian Joint Conference on Artificial Intelligence, 72-81, 2010
82010
A Unifying Framework for Probabilistic Belief Revision.
Z Zhuang, JP Delgrande, AC Nayak, A Sattar
IJCAI, 1370-1376, 2017
72017
Inter-definability of Horn contraction and Horn revision
Z Zhuang, M Pagnucco, Y Zhang
Journal of Philosophical Logic 46 (3), 299-332, 2017
62017
A new approach for revising logic programs
Z Zhuang, J Delgrande, A Nayak, A Sattar
arXiv preprint arXiv:1603.09465, 2016
52016
Extending AGM contraction to arbitrary logics
Z Zhuang, Z Wang, K Wang, JP Delgrande
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
52015
Belief Contraction for the Description Logic EL
ZQ Zhuang, M Pagnucco
International Workshop on Description Logics, 2009
52009
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
42015
The system can't perform the operation now. Try again later.
Articles 1–20