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
282007
Horn contraction via epistemic entrenchment
ZQ Zhuang, M Pagnucco
European Conference on Logics in Artificial Intelligence, 339-351, 2010
272010
Model Based Horn Contraction.
ZQ Zhuang, M Pagnucco
13th International Conference on Principles of Knowledge Representation and …, 2012
262012
Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice.
G Qi, Z Wang, K Wang, X Fu, Z Zhuang
AAAI, 254-260, 2015
232015
Contraction and revision over DL-Lite TBoxes
Z Zhuang, Z Wang, K Wang, G Qi
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence …, 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
142016
Instance-Driven Ontology Evolution in DL-Lite.
Z Wang, K Wang, Z Zhuang, G Qi
AAAI, 1656-1662, 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
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
102015
Belief change in nonmonotonic multi-context systems
Y Wang, Z Zhuang, K Wang
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
92013
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
82016
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
62017
Inter-definability of Horn contraction and Horn revision
Z Zhuang, M Pagnucco, Y Zhang
Journal of Philosophical Logic 46 (3), 299-332, 2017
62017
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
Probabilistic belief contraction using argumentation
K Chhogyal, A Nayak, Z Zhuang, A Sattar
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
32015
Belief Change Under the Horn Fragment of Propositional Logic
Z Zhuang
University of New South Wales, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20