Prime Implicate-based Belief Revision Operators
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ecai/BienvenuHQ08,
author = {Meghyn Bienvenu and
Andreas Herzig and
Guilin Qi},
title = {Prime Implicate-based Belief Revision Operators},
booktitle = {ECAI},
year = {2008},
pages = {741-742},
ee = {http://dx.doi.org/10.3233/978-1-58603-891-5-741},
crossref = {DBLP:conf/ecai/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
