庄志强｜黔南民族师范学院｜学者主页

2022

Maximising the Influence of Temporary Participants in Opinion Formation

Zhiqiang Zhuang, Ke-Wen Wang, Zhe Wang, Junhu Wang, Yinong Yang

Adaptive Agents and Multi-Agent Systems

DOI

2019

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

Zhiqiang Zhuang, Zhe Wang, Ke-Wen Wang, James P. Delgrande

Journal of Artificial Intelligence Research

DOI

2018

Syntax-Preserving Belief Change Operators for Logic Programs

Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic

Acm Transactions On Computational Logic，Vol. 19, No. 2

DOI

2018

Non-prioritised belief revision for DL-Lite TBoxes

Quan Yu, Zhiqiang Zhuang, Zhe Wang, Ke-Wen Wang

Data Science and Knowledge Engineering for Sensing Decision Support

DOI

2017

A Unifying Framework for Probabilistic Belief Revision

Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, A. Sattar

International Joint Conference on Artificial Intelligence

DOI

2017

Three Methods for Revising Hybrid Knowledge Bases

Sebastian Binnewies, Zhiqiang Zhuang, Ke-Wen Wang

RuleML+RR

DOI

2016

A New Approach for Revising Logic Programs

Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, A. Sattar

arXiv.org

2016

Inter-Definability of Horn Contraction and Horn Revision

Zhiqiang Zhuang, M. Pagnucco, Yan Zhang

Journal of Philosophical Logic

DOI

2016

Revising Possibilistic Knowledge Bases via Compatibility Degrees

Yifan Jin, Ke-Wen Wang, Zhe Wang, Zhiqiang Zhuang

European Conference on Logics in Artificial Intelligence

DOI

2016

DL-Lite Contraction and Revision

Zhiqiang Zhuang, Zhe Wang, Ke-Wen Wang, G. Qi

Journal of Artificial Intelligence Research

DOI

2016

Reconsidering AGM-Style Belief Revision in the Context of Logic Programs

Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, A. Sattar

European Conference on Artificial Intelligence

DOI

2015

Partial Meet Revision and Contraction in Logic Programs

Sebastian Binnewies, Zhiqiang Zhuang, Ke-Wen Wang

AAAI Conference on Artificial Intelligence

DOI

2015

Knowledge Forgetting in Circumscription: A Preliminary Report

Yisong Wang, Ke-Wen Wang, Zhe Wang, Zhiqiang Zhuang

AAAI Conference on Artificial Intelligence

DOI

2015

Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice

G. Qi, Zhe Wang, Ke-Wen Wang, Xuefeng Fu, Zhiqiang Zhuang

AAAI Conference on Artificial Intelligence

DOI

2015

Instance-Driven Ontology Evolution in DL-Lite

Zhe Wang, Ke-Wen Wang, Zhiqiang Zhuang, G. Qi

AAAI Conference on Artificial Intelligence

DOI

2015

Extending AGM Contraction to Arbitrary Logics

Zhiqiang Zhuang, Zhe Wang, Ke-Wen Wang, James P. Delgrande

International Joint Conference on Artificial Intelligence

2015

Probabilistic Belief Contraction Using Argumentation

Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, A. Sattar

International Joint Conference on Artificial Intelligence

2014

Rational Elimination of DL-Lite TBox Axioms

Zhiqiang Zhuang, Zhe Wang, Ke-Wen Wang, G. Antoniou

Description Logics

2014

Instance-driven TBox Revision in DL-Lite

Zhe Wang, Ke-Wen Wang, G. Qi, Zhiqiang Zhuang, Yuefeng Li

Description Logics

2014

Entrenchment-Based Horn Contraction

Zhiqiang Zhuang, M. Pagnucco

Journal of Artificial Intelligence Research

DOI

2014

Contraction and Revision over DL-Lite TBoxes

Zhiqiang Zhuang, Zhe Wang, Ke-Wen Wang, G. Qi

AAAI Conference on Artificial Intelligence

DOI

2013

Belief Change in Nonmonotonic Multi-Context Systems

Yisong Wang, Zhiqiang Zhuang, Ke-Wen Wang

International Conference on Logic Programming and Non-Monotonic Reasoning

DOI

2012

Model Based Horn Contraction

Zhiqiang Zhuang, M. Pagnucco

International Conference on Principles of Knowledge Representation and Reasoning

2011

Transitively Relational Partial Meet Horn Contraction

Zhiqiang Zhuang, M. Pagnucco

International Joint Conference on Artificial Intelligence

DOI

2010

Horn Contraction via Epistemic Entrenchment

Zhiqiang Zhuang, M. Pagnucco

European Conference on Logics in Artificial Intelligence

DOI

2010

Two Methods for Constructing Horn Contractions

Zhiqiang Zhuang, M. Pagnucco

Australasian Conference on Artificial Intelligence

DOI

2009

Belief Contraction in the Description Logic EL

Zhiqiang Zhuang, M. Pagnucco

Description Logics

2007

Implementing Iterated Belief Change Via Prime Implicates

Zhiqiang Zhuang, M. Pagnucco, T. Meyer

Australian Conference on Artificial Intelligence

DOI

庄志强

精选作品

期刊论文

Maximising the Influence of Temporary Participants in Opinion Formation

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic

Syntax-Preserving Belief Change Operators for Logic Programs

Non-prioritised belief revision for DL-Lite TBoxes

A Unifying Framework for Probabilistic Belief Revision

Three Methods for Revising Hybrid Knowledge Bases

A New Approach for Revising Logic Programs

Inter-Definability of Horn Contraction and Horn Revision

Revising Possibilistic Knowledge Bases via Compatibility Degrees

DL-Lite Contraction and Revision

Reconsidering AGM-Style Belief Revision in the Context of Logic Programs

Partial Meet Revision and Contraction in Logic Programs

Knowledge Forgetting in Circumscription: A Preliminary Report

Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice

Instance-Driven Ontology Evolution in DL-Lite

Extending AGM Contraction to Arbitrary Logics

Probabilistic Belief Contraction Using Argumentation

Rational Elimination of DL-Lite TBox Axioms

Instance-driven TBox Revision in DL-Lite

Entrenchment-Based Horn Contraction

Contraction and Revision over DL-Lite TBoxes

Belief Change in Nonmonotonic Multi-Context Systems

Model Based Horn Contraction

Transitively Relational Partial Meet Horn Contraction

Horn Contraction via Epistemic Entrenchment

Two Methods for Constructing Horn Contractions

Belief Contraction in the Description Logic EL

Implementing Iterated Belief Change Via Prime Implicates

研究方向