<?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>1870-9044</journal-id>
<journal-title><![CDATA[Polibits]]></journal-title>
<abbrev-journal-title><![CDATA[Polibits]]></abbrev-journal-title>
<issn>1870-9044</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Innovación y Desarrollo Tecnológico en Cómputo]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1870-90442013000200005</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[A Logic Programming Approach to the Conservation of Buildings Based on an Extension of the Eindhoven Classification Model]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Gomes]]></surname>
<given-names><![CDATA[Guida]]></given-names>
</name>
<xref ref-type="aff" rid="A01"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Vicente]]></surname>
<given-names><![CDATA[Henrique]]></given-names>
</name>
<xref ref-type="aff" rid="A02"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Macedo]]></surname>
<given-names><![CDATA[Joaquim]]></given-names>
</name>
<xref ref-type="aff" rid="A03"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Alves]]></surname>
<given-names><![CDATA[Victor]]></given-names>
</name>
<xref ref-type="aff" rid="A03"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Neves]]></surname>
<given-names><![CDATA[José]]></given-names>
</name>
<xref ref-type="aff" rid="A03"/>
</contrib>
</contrib-group>
<aff id="A01">
<institution><![CDATA[,University of Minho Department of Informatics ]]></institution>
<addr-line><![CDATA[Braga ]]></addr-line>
<country>Portugal</country>
</aff>
<aff id="A02">
<institution><![CDATA[,University of Minho Department of Chemistry ]]></institution>
<addr-line><![CDATA[Evora ]]></addr-line>
<country>Portugal</country>
</aff>
<aff id="A03">
<institution><![CDATA[,University of Minho Department of Informatics ]]></institution>
<addr-line><![CDATA[Braga ]]></addr-line>
<country>Portugal</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2013</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2013</year>
</pub-date>
<numero>48</numero>
<fpage>31</fpage>
<lpage>38</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1870-90442013000200005&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1870-90442013000200005&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1870-90442013000200005&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[The identification, classification and recording of events that may lead to the deterioration of buildings are crucial for the development of appropriate repair strategies. This work presents an extension of the Eindhoven Classification Model to sort adverse events root causes for Building Conservation. Logic Programming was used for knowledge representation and reasoning, letting the modelling of the universe of discourse in terms of defective data, information and knowledge. Indeed, a systematization of the evolution process of the body of knowledge in terms of a new factor, the Quality of Information one, embedded in the Root Cause Analysis was accomplished, i.e., the system proposed led to a process of Quality of Information quantification that permit the study of the event's root causes, on time.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Building conservation]]></kwd>
<kwd lng="en"><![CDATA[Eindhoven classification model]]></kwd>
<kwd lng="en"><![CDATA[knowledge representation and reasoning]]></kwd>
<kwd lng="en"><![CDATA[logic programming]]></kwd>
<kwd lng="en"><![CDATA[quality of information]]></kwd>
</kwd-group>
</article-meta>
</front><body><![CDATA[   	    <p align="center"><font face="verdana" size="4"><b>A Logic Programming Approach to the Conservation of Buildings Based on an Extension of the Eindhoven Classification Model</b></font></p> 	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p> 	    <p align="center"><font face="verdana" size="2"><b>Guida Gomes<sup>1</sup>, Henrique Vicente<sup>2</sup>, Joaquim Macedo<sup>3</sup>, Victor Alves<sup>3</sup>, and Jos&eacute; Neves<sup>3</sup></b></font></p>     <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2"><i><sup>1</sup> Department of Informatics, University of Minho, Braga, Portugal (</i>e&#45;mail: <a href="mailto:mguida.mgomes@gmail.com">mguida.mgomes@gmail.com</a>)<i>.</i></font></p> 	    <p align="justify"><font face="verdana" size="2"><i><sup>2</sup> Department of Chemistry &amp; Evora Chemistry Centre, University of Evora, Evora, Portugal (</i>e&#45;mail: <a href="mailto:hvicente@uevora.pt">hvicente@uevora.pt</a><i>).</i></font></p> 	    <p align="justify"><font face="verdana" size="2"><i><sup>3</sup> Department of Informatics, University of Minho, Braga, Portugal (</i>e&#45;mail: <a href="mailto:macedo@di.uminho.pt">macedo@di.uminho.pt</a>, <a href="mailto:valves@di.uminho.pt">valves@di.uminho.pt</a>, <a href="mailto:jneves@di.uminho.pt">jneves@di.uminho.pt</a><i>).</i></font></p>      <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2">Manuscript received on August 6, 2013.    ]]></body>
<body><![CDATA[<br> 	Accepted for publication on September 30, 2013.</font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2"><b>Abstract</b></font></p>  	    <p align="justify"><font face="verdana" size="2">The identification, classification and recording of events that may lead to the deterioration of buildings are crucial for the development of appropriate repair strategies. This work presents an extension of the <i>Eindhoven Classification Model</i> to sort adverse events root causes for <i>Building Conservation. Logic Programming</i> was used for knowledge representation and reasoning, letting the modelling of the universe of discourse in terms of defective data, information and knowledge. Indeed, a systematization of the evolution process of the body of knowledge in terms of a new factor, the <i>Quality of Information</i> one, embedded in the <i>Root Cause Analysis</i> was accomplished, i.e., the system proposed led to a process of <i>Quality of Information</i> quantification that permit the study of the event's root causes, on time.</font></p>  	    <p align="justify"><font face="verdana" size="2"><b>Key words:</b> Building conservation, Eindhoven classification model, knowledge representation and reasoning, logic programming, quality of information.</font></p>  	    <p align="justify"><font face="verdana" size="2">&nbsp;</font><font face="verdana" size="2">&nbsp;</font></p>         <p align="justify"><font face="verdana" size="2"><a href="/pdf/poli/n48/n48a5.pdf" target="_blank">DESCARGAR ART&Iacute;CULO EN FORMATO PDF</a></font></p>         <p align="justify"><font face="verdana" size="2">&nbsp;</font></p>     <p align="justify"><font face="verdana" size="2"><b>Acknowledgments</b></font></p>  	    <p align="justify"><font face="verdana" size="2">This work is funded by ERDF&#151;European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT&#151;Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP&#45;01&#45;0124&#45;FEDER&#45;028980.</font></p>  	    ]]></body>
<body><![CDATA[<p align="justify"><font face="verdana" size="2">&nbsp;</font></p>  	    <p align="justify"><font face="verdana" size="2"><b>References</b></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;1&#93;&nbsp;H. Adeli, "Neural Networks in Civil Engineering: 1989&#45;2000," <i>Computer&#45;Aided Civil and Infrastructure Engineering,</i> vol. 16, pp. 126&#45;142, 2001.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050652&pid=S1870-9044201300020000500001&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;2&#93; P. Lu, S. Chen and Y. Zheng "Artificial Intelligence in Civil Engineering," <i>Mathematical Problems in Engineering,</i> vol. 2012. &#91;Online&#93;. Available: <a href="http://www.hindawi.com/journals/mpe/2012/145974/" target="_blank">http://www.hindawi.com/journals/mpe/2012/145974/</a></font>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050654&pid=S1870-9044201300020000500002&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p align="justify"><font face="verdana" size="2">&#91;3&#93; D. Dukic, M. Trivunic and A. Starcev&#45;Curcin, "Computer&#45;Aided Building Maintenance with "BASE&#45;FM" Program," <i>Automation in Construction,</i> vol. 30, 57&#45;69, 2013.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050655&pid=S1870-9044201300020000500003&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;4&#93; I. Motawa and A. Almarshad, "A Knowledge&#45;Based BIM System for Building Maintenance," <i>Automation in Construction,</i> vol. 29, 173&#45;182, 2013.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050657&pid=S1870-9044201300020000500004&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;5&#93; T. W. van der Schaaf, "Near Miss Reporting in the Chemical Process Industry: An Overview," <i>Microelectronics Reliability,</i> vol. 35, 1233&#45;1243, 1995.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050659&pid=S1870-9044201300020000500005&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;6&#93; T. W.van der Schaaf and M. Habraken, "PRISMA&#45;Medical: A Brief Description," Eindhoven University of Technology, Faculty of Technology Management, Patient Safety Systems, 2005. &#91;Online&#93;. Available: <a href="http://www.who.int/patientsafety/taxonomy/PRISMA_Medical.pdf" target="_blank">http://www.who.int/patientsafety/taxonomy/PRISMA_Medical.pdf</a></font>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050661&pid=S1870-9044201300020000500006&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p align="justify"><font face="verdana" size="2">&#91;7&#93; S. Rodrigues, P. Brandao, L. Nelas, J. Neves, and V. Alves, "A Logic Programming Approach to Medical Errors in Imaging," <i>International Journal of Medical Informatics,</i> vol. 80, 669&#45;679, 2011.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050662&pid=S1870-9044201300020000500007&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;8&#93; F. Sheridan, "A Survey of Techniques for Inference under Uncertainty," <i>Artificial Intelligent Review,</i> vol. 5, 89&#45;119, 1991.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050664&pid=S1870-9044201300020000500008&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;9&#93; M. L. Ginsberg, <i>Readings in Nonmonotonic Reasoning.</i> San Francisco: Morgan Kauffman Publishers Inc, 1987.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050666&pid=S1870-9044201300020000500009&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;10&#93; J. Neves, "A logic interpreter to handle time and negation in logic data bases," in Proceedings of the 1984 annual conference of the ACM on the fifth generation challenge, R. L. Muller and J. J. Pottmyer, Eds. New York: Association for Computing Machinery, 1984, pp. 50&#45;54.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050668&pid=S1870-9044201300020000500010&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    ]]></body>
<body><![CDATA[<!-- ref --><p align="justify"><font face="verdana" size="2">&#91;11&#93;&nbsp;U. Hustadt, "Do we need the Closed&#45;World Assumption in Knowledge Representation?," in Working Notes of the KI'94 Workshop &#45;Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), F. Baader, M. Buchheit, M. A. Jeusfeld and W. Nutt, Eds. Saarbriiken: German Research Center for Artificial Intelligence, 1994, pp. 24&#45;26.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050670&pid=S1870-9044201300020000500011&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>  	    <!-- ref --><p align="justify"><font face="verdana" size="2">&#91;12&#93; I. Bratko, <i>PROLOG Programming for Artificial Intelligence.</i> Toronto: Pearson Education Canada, 2011.    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=6050672&pid=S1870-9044201300020000500012&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --></font></p>      ]]></body><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Adeli]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[Neural Networks in Civil Engineering: 1989-2000]]></article-title>
<source><![CDATA[Computer-Aided Civil and Infrastructure Engineering]]></source>
<year>2001</year>
<volume>16</volume>
<page-range>126-142</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[Lu]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Chen]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Zheng]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[Artificial Intelligence in Civil Engineering]]></article-title>
<source><![CDATA[Mathematical Problems in Engineering]]></source>
<year></year>
<volume>2012</volume>
</nlm-citation>
</ref>
<ref id="B3">
<label>3</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dukic]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Trivunic]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Starcev-Curcin]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[Computer-Aided Building Maintenance with "BASE-FM" Program]]></article-title>
<source><![CDATA[Automation in Construction]]></source>
<year>2013</year>
<volume>30</volume>
<page-range>57-69</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[Motawa]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Almarshad]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[A Knowledge-Based BIM System for Building Maintenance]]></article-title>
<source><![CDATA[Automation in Construction]]></source>
<year>2013</year>
<volume>29</volume>
<page-range>173-182</page-range></nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van der Schaaf]]></surname>
<given-names><![CDATA[T. W.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[Near Miss Reporting in the Chemical Process Industry: An Overview]]></article-title>
<source><![CDATA[Microelectronics Reliability]]></source>
<year>1995</year>
<volume>35</volume>
<page-range>1233-1243</page-range></nlm-citation>
</ref>
<ref id="B6">
<label>6</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van der Schaaf]]></surname>
<given-names><![CDATA[T. W.]]></given-names>
</name>
<name>
<surname><![CDATA[Habraken]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[PRISMA-Medical: A Brief Description]]></source>
<year>2005</year>
<publisher-name><![CDATA[Eindhoven University of Technology, Faculty of Technology Management, Patient Safety Systems]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<label>7</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rodrigues]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Brandao]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Nelas]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Neves]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Alves]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[A Logic Programming Approach to Medical Errors in Imaging]]></article-title>
<source><![CDATA[International Journal of Medical Informatics]]></source>
<year>2011</year>
<volume>80</volume>
<page-range>669-679</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[Sheridan]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[A Survey of Techniques for Inference under Uncertainty]]></article-title>
<source><![CDATA[Artificial Intelligent Review]]></source>
<year>1991</year>
<volume>5</volume>
<page-range>89-119</page-range></nlm-citation>
</ref>
<ref id="B9">
<label>9</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ginsberg]]></surname>
<given-names><![CDATA[M. L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Readings in Nonmonotonic Reasoning]]></source>
<year>1987</year>
<publisher-loc><![CDATA[San Francisco ]]></publisher-loc>
<publisher-name><![CDATA[Morgan Kauffman Publishers Inc]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<label>10</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Neves]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[A logic interpreter to handle time and negation in logic data bases]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Muller]]></surname>
<given-names><![CDATA[R. L.]]></given-names>
</name>
<name>
<surname><![CDATA[Pottmyer]]></surname>
<given-names><![CDATA[J. J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Proceedings of the 1984 annual conference of the ACM on the fifth generation challenge]]></source>
<year>1984</year>
<page-range>50-54</page-range><publisher-loc><![CDATA[New York ]]></publisher-loc>
<publisher-name><![CDATA[Association for Computing Machinery]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<label>11</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hustadt]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[Do we need the Closed-World Assumption in Knowledge Representation?]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Baader]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Buchheit]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Jeusfeld]]></surname>
<given-names><![CDATA[M. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Nutt]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<source><![CDATA[Working Notes of the KI'94 Workshop -Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94)]]></source>
<year>1994</year>
<page-range>24-26</page-range><publisher-loc><![CDATA[Saarbriiken ]]></publisher-loc>
<publisher-name><![CDATA[German Research Center for Artificial Intelligence]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<label>12</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bratko]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
</person-group>
<source><![CDATA[PROLOG Programming for Artificial Intelligence]]></source>
<year>2011</year>
<publisher-loc><![CDATA[Toronto ]]></publisher-loc>
<publisher-name><![CDATA[Pearson Education Canada]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
