@conference{360,
  author = {Giovanni Casini and Tommie Meyer},
  title = {Using Defeasible Information to Obtain Coherence},
  abstract = {We consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable. In the propositional case we consider here, this translates to a propositional formula being satisfiable. We define belief change operators in a framework of nonmonotonic preferential reasoning. We show how the introduction of defeasible information using contraction operators can be an effective means for obtaining coherence.},
  year = {2016},
  journal = {Fifteenth International Conference on  Principles of Knowledge Representation and Reasoning (KR)},
  chapter = {537-540},
  month = {25/04 - 29/04},
  publisher = {AAAI Press},
  doi = {https://dl.acm.org/doi/10.5555/3032027.3032097},
}