Παρακολούθηση
Zhiqiang Zhuang
Zhiqiang Zhuang
Professor, College of Intelligence and Computing, Tianjin University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tju.edu.cn - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Model Based Horn Contraction.
ZQ Zhuang, M Pagnucco
13th International Conference on Principles of Knowledge Representation and …, 2012
302012
Implementing iterated belief change via prime implicates
ZQ Zhuang, M Pagnucco, T Meyer
Australasian Joint Conference on Artificial Intelligence, 507-518, 2007
292007
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
282015
Horn contraction via epistemic entrenchment
ZQ Zhuang, M Pagnucco
European Conference on Logics in Artificial Intelligence, 339-351, 2010
272010
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
252014
Definability of Horn Revision from Horn Contraction.
ZQ Zhuang, M Pagnucco, Y Zhang
IJCAI, 1205-1212, 2013
252013
Transitively relational partial meet Horn contraction
Z Zhuang, M Pagnucco
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
222011
DL-Lite contraction and revision
Z Zhuang, Z Wang, K Wang, G Qi
Journal of Artificial Intelligence Research 56, 329-378, 2016
162016
Entrenchment-based Horn contraction
Z Zhuang, M Pagnucco
Journal of Artificial Intelligence Research 51, 227-254, 2014
152014
Instance-driven ontology evolution in DL-Lite
Z Wang, K Wang, Z Zhuang, G Qi
Proceedings of the AAAI Conference on Artificial Intelligence, 2015
132015
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
122016
Partial meet revision and contraction in logic programs
S Binnewies, Z Zhuang, K Wang
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
112015
Belief change in nonmonotonic multi-context systems
Y Wang, Z Zhuang, K Wang
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
102013
A Unifying Framework for Probabilistic Belief Revision.
Z Zhuang, JP Delgrande, AC Nayak, A Sattar
IJCAI, 1370-1376, 2017
82017
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
82015
Two methods for constructing Horn contractions
ZQ Zhuang, M Pagnucco
Australasian Joint Conference on Artificial Intelligence, 72-81, 2010
82010
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
72020
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20