Zhiqiang Zhuang

Yan Zhang

J. Philos. Log., 2017

Three Methods for Revising Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Sebastian Binnewies

Kewen Wang

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

A Unifying Framework for Probabilistic Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

DL-Lite Contraction and Revision.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

A New Approach for Revising Logic Programs.

[BibT_eX]

[DOI]

CoRR, 2016

Revising Possibilistic Knowledge Bases via Compatibility Degrees.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

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

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Extending AGM Contraction to Arbitrary Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Probabilistic Belief Contraction Using Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Instance-Driven Ontology Evolution in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Knowledge Forgetting in Circumscription: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Partial Meet Revision and Contraction in Logic Programs.

[BibT_eX]

[DOI]

Sebastian Binnewies

Kewen Wang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Entrenchment-Based Horn Contraction.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Rational Elimination of DL-Lite TBox Axioms.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Instance-driven TBox Revision in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Contraction and Revision over DL-Lite TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Belief change under the horn fragment of propositional logic.

[BibT_eX]

[DOI]

PhD thesis, 2013

Belief Change in Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Yisong Wang

Kewen Wang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Definability of Horn Revision from Horn Contraction.

[BibT_eX]

[DOI]

Yan Zhang

Proceedings of the IJCAI 2013, 2013

2012

Model Based Horn Contraction.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

Transitively Relational Partial Meet Horn Contraction.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Horn Contraction via Epistemic Entrenchment.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Two Methods for Constructing Horn Contractions.

[BibT_eX]

[DOI]

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Belief Contraction in the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2007

Implementing Iterated Belief Change Via Prime Implicates.

[BibT_eX]

[DOI]