<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462017000300419</article-id>
<article-id pub-id-type="doi">10.13053/cys-21-3-2441</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Implementing &#8710;ps (PS-Merge) Belief Merging Operator for Belief Revision]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Chávez-Bosquez]]></surname>
<given-names><![CDATA[Oscar]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[Pilar]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Ma]]></surname>
<given-names><![CDATA[Jianbing]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Juárez Autónoma de Tabasco  ]]></institution>
<addr-line><![CDATA[Cunduacán Tabasco]]></addr-line>
<country>Mexico</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Bournemouth University  ]]></institution>
<addr-line><![CDATA[Bournemouth ]]></addr-line>
<country>United Kingdom</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>09</month>
<year>2017</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>09</month>
<year>2017</year>
</pub-date>
<volume>21</volume>
<numero>3</numero>
<fpage>419</fpage>
<lpage>434</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462017000300419&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462017000300419&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462017000300419&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: Belief merging aims at combining information from multiple sources while belief revision studies strategies for retracting information in order to maintain consistency when the addition of new evidence to a belief base makes it inconsistent. An ordering of the sentences in the belief base is used to determine priorities among sentences so that those with lower priority can be identified and retracted. This ordering can be difficult to generate and maintain. To address this difficulty, in this paper we show how to generate automatically an ordering of the belief base sentences through the implementation of a belief merging operator. We extend the &#8710;ps (PS-Merge) belief merging operator in order to consider constraints, then we use this extension, called    &#8710;    p s  &#956; (&#8710;ps under constraints), as a strategy for belief revision. We treat new evidence as a constraint and apply the extended merging operator to obtain the revised belief base. We propose several properties of this operator when compared to other two belief revision operators solving four examples described as real-life scenarios. Finally we show a software prototype based on this approach, called Belief Reviser, freely accessible online.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Belief revision]]></kwd>
<kwd lng="en"><![CDATA[belief merging under constraints]]></kwd>
<kwd lng="en"><![CDATA[knowledge modeling]]></kwd>
<kwd lng="en"><![CDATA[decision support systems]]></kwd>
<kwd lng="en"><![CDATA[&#8710;ps (PS-Merge operator)]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Alchourrón]]></surname>
<given-names><![CDATA[C.E.]]></given-names>
</name>
<name>
<surname><![CDATA[Gärdenfors]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Makinson]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Logic of Theory Change: Partial Meet Contraction and Revision Functions]]></article-title>
<source><![CDATA[Journal of Symbolic Logic]]></source>
<year>1985</year>
<volume>50</volume>
<page-range>510&#8211;530</page-range></nlm-citation>
</ref>
<ref id="B2">
<label>2</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Allison]]></surname>
<given-names><![CDATA[L]]></given-names>
</name>
</person-group>
<source><![CDATA[Theorem Proving in Propositional Logic (WFFs)]]></source>
<year>2015</year>
</nlm-citation>
</ref>
<ref id="B3">
<label>3</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bienvenu]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Herzig]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Qi]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Prime Implicate-based Belief Revision Operators]]></source>
<year>2008</year>
<conf-name><![CDATA[ Proceedings of ECAI &#8217;08]]></conf-name>
<conf-loc> </conf-loc>
<page-range>741&#8211;742</page-range></nlm-citation>
</ref>
<ref id="B4">
<label>4</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bloch]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Hunter]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Fusion: General concepts and characteristics]]></article-title>
<source><![CDATA[International Journal of Intelligent Systems]]></source>
<year>2001</year>
<volume>10</volume>
<numero>16</numero>
<issue>16</issue>
<page-range>1107&#8211;1134</page-range></nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Borja-Macías]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Model-Based Belief Merging without Distance Measures]]></source>
<year>2007</year>
<conf-name><![CDATA[ Proceedings of AAMAS &#8217;07]]></conf-name>
<conf-loc> </conf-loc>
<page-range>613&#8211;615</page-range></nlm-citation>
</ref>
<ref id="B6">
<label>6</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Borja-Macías]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Implementing PS-Merge Operator]]></source>
<year>2009</year>
<conf-name><![CDATA[ Proceedings of MICAI &#8217;09]]></conf-name>
<conf-loc> </conf-loc>
<page-range>39&#8211;50</page-range></nlm-citation>
</ref>
<ref id="B7">
<label>7</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chávez-Bosquez]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modelando la toma de decisiones mediante fusión de creencias]]></article-title>
<source><![CDATA[Recta]]></source>
<year>2014</year>
<volume>15</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>141&#8211;158</page-range></nlm-citation>
</ref>
<ref id="B8">
<label>8</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Chávez-Bosquez]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Marchi]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Nutritional Menu Planning: A Hybrid Approach and Preliminary Tests]]></article-title>
<source><![CDATA[Research in Computing Science]]></source>
<year>2014</year>
<volume>82</volume>
<page-range>93&#8211;104</page-range></nlm-citation>
</ref>
<ref id="B9">
<label>9</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Creignou]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Papini]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Pichler]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Woltran]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Belief revision within fragments of propositional logic]]></article-title>
<source><![CDATA[Journal of Computer and System Sciences]]></source>
<year>2014</year>
<volume>80</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>427&#8211;449</page-range></nlm-citation>
</ref>
<ref id="B10">
<label>10</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dalal]]></surname>
<given-names><![CDATA[M]]></given-names>
</name>
</person-group>
<source><![CDATA[Investigations into a theory of knowledge base revision: Preliminary report]]></source>
<year>1988</year>
<conf-name><![CDATA[ Proceedings of the NCAI]]></conf-name>
<conf-loc> </conf-loc>
<page-range>475&#8211;479</page-range></nlm-citation>
</ref>
<ref id="B11">
<label>11</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Darwiche]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Pearl]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Logic of Iterated Belief Revision]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>1997</year>
<volume>89</volume>
<page-range>1&#8211;29</page-range></nlm-citation>
</ref>
<ref id="B12">
<label>12</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Drozdek]]></surname>
<given-names><![CDATA[A]]></given-names>
</name>
</person-group>
<source><![CDATA[Data Structures and Algo-rithms in Java]]></source>
<year>2004</year>
<edition>2</edition>
<publisher-loc><![CDATA[USA ]]></publisher-loc>
<publisher-name><![CDATA[Cengage Learning]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<label>13</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Enderton]]></surname>
<given-names><![CDATA[H. B]]></given-names>
</name>
</person-group>
<source><![CDATA[A Mathematical Introduction to Logic]]></source>
<year>2001</year>
<edition>2</edition>
<publisher-loc><![CDATA[USA ]]></publisher-loc>
<publisher-name><![CDATA[Academic Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<label>14</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Eaton]]></surname>
<given-names><![CDATA[J.W]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[GNU Octave and reproducible research]]></article-title>
<source><![CDATA[Journal of Process Control]]></source>
<year>2012</year>
<volume>22</volume>
<numero>8</numero>
<issue>8</issue>
<page-range>1433&#8211; 1438</page-range></nlm-citation>
</ref>
<ref id="B15">
<label>15</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gärdenfors]]></surname>
<given-names><![CDATA[P]]></given-names>
</name>
</person-group>
<source><![CDATA[Belief revision]]></source>
<year>2003</year>
<publisher-loc><![CDATA[UK ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<label>16</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gorogiannis]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Hunter]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Implementing semantic merging operators using binary decision diagrams]]></article-title>
<source><![CDATA[International Journal of Approximate Reasoning]]></source>
<year>2008</year>
<volume>49</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>234&#8211;251</page-range></nlm-citation>
</ref>
<ref id="B17">
<label>17</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jackson]]></surname>
<given-names><![CDATA[P]]></given-names>
</name>
</person-group>
<source><![CDATA[Computing prime implicants]]></source>
<year>1990</year>
<volume>449</volume>
<conf-name><![CDATA[ Proceedings of ICAD]]></conf-name>
<conf-loc> </conf-loc>
<page-range>543&#8211;557</page-range></nlm-citation>
</ref>
<ref id="B18">
<label>18</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Katsuno]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Mendelzon]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[A Unified View of Propositional Knowledge Base Updates]]></source>
<year>1989</year>
<conf-name><![CDATA[ Proceedings of IJCAI]]></conf-name>
<conf-loc> </conf-loc>
<page-range>1413&#8211;1419</page-range></nlm-citation>
</ref>
<ref id="B19">
<label>19</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Katsuno]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Mendelzon]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Propositional Knowledge Base Revision and Minimal Change]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>1992</year>
<volume>52</volume>
<page-range>263&#8211;294</page-range></nlm-citation>
</ref>
<ref id="B20">
<label>20</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kean]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Tsiknis]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An incremental method for generating prime implicants/implicates]]></article-title>
<source><![CDATA[Journal of Symbolic Computation]]></source>
<year>1990</year>
<volume>9</volume>
<page-range>185&#8211;206</page-range></nlm-citation>
</ref>
<ref id="B21">
<label>21</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Konieczny]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Lang]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Marquis]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[DA2 merging operators]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>2004</year>
<volume>157</volume>
<numero>1-2</numero>
<issue>1-2</issue>
<page-range>49&#8211;79</page-range></nlm-citation>
</ref>
<ref id="B22">
<label>22</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Konieczny]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Pino-Pérez]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[On the Logic of Merging]]></source>
<year>1998</year>
<conf-name><![CDATA[ Proceedings of KR &#8217;98]]></conf-name>
<conf-loc> </conf-loc>
<page-range>488&#8211;498</page-range></nlm-citation>
</ref>
<ref id="B23">
<label>23</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Konieczny]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Pino-Pérez]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Merging information under constraints: a logical framework]]></article-title>
<source><![CDATA[Journal of Logic and Computation]]></source>
<year>2002</year>
<volume>12</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>773&#8211;808</page-range></nlm-citation>
</ref>
<ref id="B24">
<label>24</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Konieczny]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Pino-Pérez]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Logic based merging]]></article-title>
<source><![CDATA[Journal of Philosophical Logic]]></source>
<year>2011</year>
<volume>40</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>239&#8211;270</page-range></nlm-citation>
</ref>
<ref id="B25">
<label>25</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Liberatore]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Schaerf]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Arbitration (or how to merge knowledge bases)]]></source>
<year>1998</year>
<volume>10</volume>
<conf-name><![CDATA[ Proceedings of IEEE]]></conf-name>
<conf-loc> </conf-loc>
<page-range>76&#8211;90</page-range></nlm-citation>
</ref>
<ref id="B26">
<label>26</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lin]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Mendelzon]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Knowledge base merging by majority]]></article-title>
<source><![CDATA[Dynamic Worlds: From the Frame Problem to Knowledge Management]]></source>
<year>1999</year>
<page-range>195&#8211;218</page-range><publisher-name><![CDATA[Kluwer Academic Publishing]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<label>27</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ma]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Liu]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Hunter]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[The non-Archimedean polynomials and merging of stratified knowledge bases]]></source>
<year>2009</year>
<conf-name><![CDATA[ Proceedings of ECSQARU&#8217;09]]></conf-name>
<conf-loc> </conf-loc>
<page-range>408&#8211;420</page-range></nlm-citation>
</ref>
<ref id="B28">
<label>28</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ma]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Liu]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Benferhat]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States]]></article-title>
<source><![CDATA[International Journal of Approximate Reasoning]]></source>
<year>2010</year>
<volume>59</volume>
<page-range>20&#8211;40</page-range></nlm-citation>
</ref>
<ref id="B29">
<label>29</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ma]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Liu]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A framework for managing uncertain inputs: An axiomization of rewarding]]></article-title>
<source><![CDATA[International Journal of Approximate Reasoning]]></source>
<year>2011</year>
<volume>52</volume>
<numero>7</numero>
<issue>7</issue>
<page-range>917&#8211;934</page-range></nlm-citation>
</ref>
<ref id="B30">
<label>30</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Marchi]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Bittencourt]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Perrussel]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Prime forms and minimal change in propositional belief bases]]></article-title>
<source><![CDATA[Annals of Mathematics and Artificial Intelligence]]></source>
<year>2010</year>
<volume>59</volume>
<page-range>1&#8211;45</page-range></nlm-citation>
</ref>
<ref id="B31">
<label>31</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Borja-Macías]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Implementing PS-Merge Operator]]></source>
<year>2009</year>
<volume>5845</volume>
<conf-name><![CDATA[ Proceedings of MICAI&#8217;09, Lecture Notes in Computer Science]]></conf-name>
<conf-loc> </conf-loc>
<page-range>39&#8211;50</page-range></nlm-citation>
</ref>
<ref id="B32">
<label>32</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Perrussel]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Thévenin]]></surname>
<given-names><![CDATA[J.M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Belief Merging Using Normal Forms]]></source>
<year>2011</year>
<volume>7094</volume>
<conf-name><![CDATA[ Proceedings of MICAI&#8217;11, Lecture Notes in Computer Science]]></conf-name>
<conf-loc> </conf-loc>
<page-range>40&#8211;51</page-range></nlm-citation>
</ref>
<ref id="B33">
<label>33</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Liu]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Laurent]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dalal&#8217;s revision without Hamming distance]]></source>
<year>2013</year>
<volume>8265</volume>
<conf-name><![CDATA[ Proceedings of MICAI&#8217;13, Lecture Notes in Artificial Intelligence]]></conf-name>
<conf-loc> </conf-loc>
<page-range>41&#8211;53</page-range></nlm-citation>
</ref>
<ref id="B34">
<label>34</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pozos-Parra]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Chávez-Bosquez]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Ma]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Revision through Belief Merging under Constraints]]></source>
<year>2013</year>
<conf-name><![CDATA[ Proceedings of AIKED&#8217;13, Recent Advances in Knowledge Engineering and Systems Science]]></conf-name>
<conf-loc> </conf-loc>
<page-range>116&#8211;122</page-range></nlm-citation>
</ref>
<ref id="B35">
<label>35</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Resconi]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Kovalerchuk]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Agents&#8217; model of uncertainty]]></article-title>
<source><![CDATA[Knowledge and Information Systems]]></source>
<year>2009</year>
<volume>18</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>213&#8211;229</page-range></nlm-citation>
</ref>
<ref id="B36">
<label>36</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Revesz]]></surname>
<given-names><![CDATA[P.Z]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Semantics of Arbitration]]></article-title>
<source><![CDATA[Journal of Algebra and Computation]]></source>
<year>1997</year>
<volume>7</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>133&#8211;160</page-range></nlm-citation>
</ref>
<ref id="B37">
<label>37</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Cohn]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[OpenJDK]]></source>
<year>2012</year>
<edition>1</edition>
<publisher-loc><![CDATA[USA ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B38">
<label>38</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Satoh]]></surname>
<given-names><![CDATA[K]]></given-names>
</name>
</person-group>
<source><![CDATA[Nonmonotonic reasoning by minimal belief revision]]></source>
<year>1988</year>
<conf-name><![CDATA[ Proceedings FGCS &#8217;88]]></conf-name>
<conf-loc> </conf-loc>
<page-range>455&#8211;462</page-range></nlm-citation>
</ref>
<ref id="B39">
<label>39</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Su]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Huang]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Wu]]></surname>
<given-names><![CDATA[X.]]></given-names>
</name>
<name>
<surname><![CDATA[Zhang]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A logical framework for identifying quality knowledge from different data sources]]></article-title>
<source><![CDATA[Decision Support Systems]]></source>
<year>2006</year>
<volume>42</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>1673&#8211;1683</page-range></nlm-citation>
</ref>
<ref id="B40">
<label>40</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Weber]]></surname>
<given-names><![CDATA[A]]></given-names>
</name>
</person-group>
<source><![CDATA[Updating propositional formulas]]></source>
<year>1986</year>
<conf-name><![CDATA[ CEDS &#8217;86]]></conf-name>
<conf-loc> </conf-loc>
<page-range>487&#8211;500</page-range></nlm-citation>
</ref>
<ref id="B41">
<label>41</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wilson]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
</person-group>
<source><![CDATA[An introduction to dynamic data structures]]></source>
<year>1988</year>
<edition>1</edition>
<publisher-loc><![CDATA[USA ]]></publisher-loc>
<publisher-name><![CDATA[McGraw-Hill]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
