<?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-55462017000300457</article-id>
<article-id pub-id-type="doi">10.13053/cys-21-3-2230</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[Mauricio]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Díaz]]></surname>
<given-names><![CDATA[Juan]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Santoyo]]></surname>
<given-names><![CDATA[Alejandro]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de las Américas Puebla  ]]></institution>
<addr-line><![CDATA[Cholula Puebla]]></addr-line>
<country>Mexico</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidad Autónoma de Querétaro  ]]></institution>
<addr-line><![CDATA[Querétaro ]]></addr-line>
<country>Mexico</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>457</fpage>
<lpage>471</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462017000300457&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-55462017000300457&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-55462017000300457&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: Dung&#8217;s abstract argumentation has been an object of intense study not only due to its relationship with logical reasoning but also because of its uses within artificial intelligence. One research branch in abstract argumentation has focused on finding new methods for computing its different semantics. We present a novel method, to the best of our knowledge, for computing semi-stable semantics using 0-1 integer programming. This approach captures the notions of conflict freeness, acceptability, maximality with regard to set inclusion, etc., by 0-1 integer constraints. Additionally, this work also presents an empirical experiment to compare our novel approach with an answer set programming approach. Our results indicate that the new method performed well, and it has a great opportunity space for improving.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Argumentation frameworks]]></kwd>
<kwd lng="en"><![CDATA[binary program-ming]]></kwd>
<kwd lng="en"><![CDATA[answer set programming]]></kwd>
<kwd lng="en"><![CDATA[semi-stable semantics]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Atkinson]]></surname>
<given-names><![CDATA[K]]></given-names>
</name>
</person-group>
<source><![CDATA[Value-based argumentation for democratic decision support]]></source>
<year>2006</year>
<conf-name><![CDATA[ Proceedings of the 2006 Conference on Computational Models of Argument: Proceedings of COMMA 2006]]></conf-name>
<conf-loc>Amsterdam, The Netherlands </conf-loc>
<page-range>47-58</page-range></nlm-citation>
</ref>
<ref id="B2">
<label>2</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bell]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Nerode]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Ng]]></surname>
<given-names><![CDATA[R. T.]]></given-names>
</name>
<name>
<surname><![CDATA[Subrahmanian]]></surname>
<given-names><![CDATA[V. S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Mixed integer programming methods for computing nonmonotonic deductive databases]]></article-title>
<source><![CDATA[Journal of the ACM]]></source>
<year>1994</year>
<volume>41</volume>
<numero>6</numero>
<issue>6</issue>
<page-range>1178-215</page-range></nlm-citation>
</ref>
<ref id="B3">
<label>3</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bench-Capon]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Dunne]]></surname>
<given-names><![CDATA[P. E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Argumentation in artificial intelligence]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>2007</year>
<volume>171</volume>
<numero>10-15</numero>
<issue>10-15</issue>
<page-range>619-41</page-range></nlm-citation>
</ref>
<ref id="B4">
<label>4</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Biere]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Heule]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[van Maaren]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Walsh]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications]]></source>
<year>2009</year>
<publisher-loc><![CDATA[Amsterdam, The Netherlands ]]></publisher-loc>
<publisher-name><![CDATA[IOS Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bistarelli]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Rossi]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Santini]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<source><![CDATA[A fisrt comparison of abstract argumentation reasoning tools]]></source>
<year>2014</year>
<conf-name><![CDATA[ 21st European Conference on Artificial Intelligence]]></conf-name>
<conf-loc> </conf-loc>
<page-range>969-79</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[Bistarelli]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Santini]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<source><![CDATA[Conarg: A constraint-based computational framework for argumentation systems]]></source>
<year>2011</year>
<conf-name><![CDATA[ IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI&#8217;11]]></conf-name>
<conf-loc>Eashington, DC, USA </conf-loc>
<page-range>605-12</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[Brewka]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Eiter]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Truszczynski]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Answer set programming at a glance]]></article-title>
<source><![CDATA[Commun. ACM]]></source>
<year>2011</year>
<volume>54</volume>
<numero>12</numero>
<issue>12</issue>
<page-range>92-103</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[Calimeri]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Ianni]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Ricca]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The third open Answer Set Programming competition]]></article-title>
<source><![CDATA[CoRR]]></source>
<year>2012</year>
<volume>abs/1206.3</volume>
</nlm-citation>
</ref>
<ref id="B9">
<label>9</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Caminada]]></surname>
<given-names><![CDATA[M]]></given-names>
</name>
</person-group>
<source><![CDATA[Semi-stable semantics]]></source>
<year>2006</year>
<conf-name><![CDATA[ Computational Models of Argument: Proceedings of COMMA 2006]]></conf-name>
<conf-date>September 11-12, 2006</conf-date>
<conf-loc>Liverpool, UK </conf-loc>
<page-range>121-30</page-range></nlm-citation>
</ref>
<ref id="B10">
<label>10</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Caminada]]></surname>
<given-names><![CDATA[M. W. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Carnielli]]></surname>
<given-names><![CDATA[W. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Dunne]]></surname>
<given-names><![CDATA[P. E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Semi-stable semantics]]></article-title>
<source><![CDATA[J. Log. Comput.]]></source>
<year>2012</year>
<volume>22</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>1207-54</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[Caminada]]></surname>
<given-names><![CDATA[M. W. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[D. M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A logical account of formal argumentation]]></article-title>
<source><![CDATA[Studia Logica]]></source>
<year>2009</year>
<volume>93</volume>
<numero>2-3</numero>
<issue>2-3</issue>
<page-range>109-45</page-range></nlm-citation>
</ref>
<ref id="B12">
<label>12</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Charwat]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Dvo&#345;ák]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Gaggl]]></surname>
<given-names><![CDATA[S. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Wallner]]></surname>
<given-names><![CDATA[J. P.]]></given-names>
</name>
<name>
<surname><![CDATA[Woltran]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Methods for solving reasoning problems in abstract argumentation - a survey]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>2015</year>
<volume>220</volume>
<page-range>28-63</page-range></nlm-citation>
</ref>
<ref id="B13">
<label>13</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dechter]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
</person-group>
<source><![CDATA[Constraint Processing]]></source>
<year>2003</year>
<publisher-name><![CDATA[Morgan Kaufmann Publishers Inc.]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<label>14</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Der-San Chen]]></surname>
<given-names><![CDATA[Y. D.]]></given-names>
</name>
<name>
<surname><![CDATA[Robert G.]]></surname>
<given-names><![CDATA[Batson]]></given-names>
</name>
</person-group>
<source><![CDATA[Applied Integer Programming: Modeling and Solutions]]></source>
<year>2010</year>
<publisher-loc><![CDATA[Hoboken, New Jersey, USA ]]></publisher-loc>
<publisher-name><![CDATA[John Wiley &amp; Sons, Inc.]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<label>15</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dung]]></surname>
<given-names><![CDATA[P. M]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>1995</year>
<volume>77</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>321-58</page-range></nlm-citation>
</ref>
<ref id="B16">
<label>16</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dvorák]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Gaggl]]></surname>
<given-names><![CDATA[S. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Wallner]]></surname>
<given-names><![CDATA[J. P.]]></given-names>
</name>
<name>
<surname><![CDATA[Woltran]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Making use of advances in answer-set programming for abstract argumentation systems]]></article-title>
<source><![CDATA[CoRR]]></source>
<year>2011</year>
<volume>abs/1108.4942</volume>
</nlm-citation>
</ref>
<ref id="B17">
<label>17</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Egly]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
<name>
<surname><![CDATA[Alice Gaggl]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Woltran]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Answer-set programming encodings for argumentation frameworks]]></article-title>
<source><![CDATA[Argument &amp; Computation]]></source>
<year>2010</year>
<volume>1</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>147-77</page-range></nlm-citation>
</ref>
<ref id="B18">
<label>18</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Egly]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
<name>
<surname><![CDATA[Gaggl]]></surname>
<given-names><![CDATA[S. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Woltran]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Aspartix: Implementing argumentation frameworks using answer-set programming]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[de la Banda]]></surname>
<given-names><![CDATA[M. G.]]></given-names>
</name>
<name>
<surname><![CDATA[Pontelli]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<source><![CDATA[International Conference of Logic Programming (ICLP), volume 5366 of Lecture Notes of Computer Science]]></source>
<year>2008</year>
<page-range>734-8</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<label>19</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Evripidou]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Toni]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Carstens]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[From argumentation theory to real life debating: Building social web applications]]></source>
<year>2014</year>
<conf-name><![CDATA[ Arguing on the Web 2.0]]></conf-name>
<conf-date>June 30 - July 1, 2014</conf-date>
<conf-loc>Amsterdam </conf-loc>
</nlm-citation>
</ref>
<ref id="B20">
<label>20</label><nlm-citation citation-type="book">
<collab>FICO</collab>
<source><![CDATA[MIP Formulations and Linearizations]]></source>
<year>2009</year>
<publisher-name><![CDATA[Fair Isaac Corporation]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B21">
<label>21</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kraus]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Sycara]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Evenchik]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Reaching agreements through argumentation: a logical model and implementation]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>1998</year>
<volume>104</volume>
<numero>1-2</numero>
<issue>1-2</issue>
<page-range>1-69</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[McCarty]]></surname>
<given-names><![CDATA[L. T]]></given-names>
</name>
</person-group>
<source><![CDATA[An implementation of eisner v. macomber]]></source>
<year>1995</year>
<conf-name><![CDATA[ Proceedings of the 5th International Conference on Artificial Intelligence and Law, ICAIL &#8217;95]]></conf-name>
<conf-loc>New York, NY, USA </conf-loc>
<page-range>276-86</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[Mozina]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Zabkar]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Bratko]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Argument based machine learning]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>2007</year>
<volume>171</volume>
<numero>10-15</numero>
<issue>10-15</issue>
<page-range>922-37</page-range></nlm-citation>
</ref>
<ref id="B24">
<label>24</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nieves]]></surname>
<given-names><![CDATA[J. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Cortés]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Supporting decision making in organ transplanting using argumentation theory]]></source>
<year>2006</year>
<conf-name><![CDATA[ Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop]]></conf-name>
<conf-date>September 18, 2006</conf-date>
<conf-loc>San Luis Potosí, México </conf-loc>
</nlm-citation>
</ref>
<ref id="B25">
<label>25</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nieves]]></surname>
<given-names><![CDATA[J. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Cortés]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An overview of argumentation semantics]]></article-title>
<source><![CDATA[Computación y Sistemas]]></source>
<year>2008</year>
<volume>12</volume>
<numero>1</numero>
<issue>1</issue>
</nlm-citation>
</ref>
<ref id="B26">
<label>26</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nieves]]></surname>
<given-names><![CDATA[J. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Cortés]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Preferred Extensions as Stable Models]]></article-title>
<source><![CDATA[Theory and Practice of Logic Programming]]></source>
<year>2008</year>
<volume>8</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>527-43</page-range></nlm-citation>
</ref>
<ref id="B27">
<label>27</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Santoyo]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Preferred extensions as minimal models of clark&#8217;s completion semantics]]></article-title>
<source><![CDATA[Research in Computing]]></source>
<year>2013</year>
<volume>68</volume>
<page-range>57-68</page-range></nlm-citation>
</ref>
<ref id="B28">
<label>28</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rahwan]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Simari]]></surname>
<given-names><![CDATA[G. R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Argumentation in Artificial Intelligence]]></source>
<year>2009</year>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B29">
<label>29</label><nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rissland]]></surname>
<given-names><![CDATA[E. L.]]></given-names>
</name>
<name>
<surname><![CDATA[Skalak]]></surname>
<given-names><![CDATA[D. B.]]></given-names>
</name>
<name>
<surname><![CDATA[Friedman]]></surname>
<given-names><![CDATA[M. T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Bankxx: A program to generate argument through case-base research]]></source>
<year>1993</year>
<conf-name><![CDATA[ Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL &#8217;93]]></conf-name>
<conf-loc>New York, NY, USA </conf-loc>
<page-range>117-24</page-range></nlm-citation>
</ref>
<ref id="B30">
<label>30</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Toni]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Sergot]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Argumentation and answer set programming]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Balduccini]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Son]]></surname>
<given-names><![CDATA[T. C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning]]></source>
<year>2011</year>
<page-range>164-80</page-range><publisher-loc><![CDATA[Berlin, Heidelberg ]]></publisher-loc>
<publisher-name><![CDATA[Springer-Verlag]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B31">
<label>31</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wolsey]]></surname>
<given-names><![CDATA[L. A]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Integer Programming]]></article-title>
<source><![CDATA[Discrete Mathematics and Optimization]]></source>
<year>1998</year>
<publisher-name><![CDATA[John Wiley &amp; Sons, Inc.]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
