Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 16

Title: Research in Automated Reasoning

Author:

Subject: Alvaro Del Val Research in Automated Reasoning

Description: Introduction A large part of Articial Intelligence (AI) is based on the idea that the best way for a computer to produce intelligent behavior in many application domains is by explicitly encoding knowledge about the domain in some knowledge base" KB, and then using reasoning algorithms to extract consequences from that knowledge. Knowledge representation deals with the issue of dening languages suitable for various domains and reasoning tasks; automated reasoning, with the design and implementation of ecient reasoning algorithms for these languages and tasks. Much of the work in this area deals with logical or probabilistic languages, including e.g. propositional and rst order logic, constraint satisfaction, Bayes nets, Markov networks, etc. Automated reasoning can oer a substantial number of recent successes in applications: NASA's unmanned space missions, controlled by a propositional system with capabilities for diagnosis, repair and automated planning [28, 24]; applica

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-03-28

Format: ps

Identifier: http://citeseer.ist.psu.edu/295137.html

Source: http://www.ii.uam.es/eng/research/workshop/delval.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/66719.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Panel   on   knowledge   compilation   and   approximations:   terminology,   questions,   and   references,">

            <identifier   Org="ISBN:0818682043"   Paper_ID="/66719.html"   Extracted="0818682043"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/11664.html"   Type="article"   CiteSeer_Book="AI   Communications"   CiteSeer_Volume="10"   Title="A   Survey   on   Knowledge   Compilation,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/11664.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0444527265"   Paper_ID="/11664.html"   Extracted="0444527265"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792366727"   Paper_ID="/11664.html"   Extracted="0792366727"   />

            <identifier   Org="ISBN:0792372247"   Paper_ID="/11664.html"   Extracted="0792372247"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581135076"   Paper_ID="/11664.html"   Extracted="1581135076"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/11664.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1586033905"   Paper_ID="/11664.html"   Extracted="1586033905"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1586038915"   Paper_ID="/11664.html"   Extracted="1586038915"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540233180"   Paper_ID="/11664.html"   Extracted="3540233180"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540258787"   Paper_ID="/11664.html"   Extracted="3540258787"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540289313"   Paper_ID="/11664.html"   Extracted="3540289313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540407871"   Paper_ID="/11664.html"   Extracted="3540407871"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540641963"   Paper_ID="/11664.html"   Extracted="3540641963"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540671412"   Paper_ID="/11664.html"   Extracted="3540671412"   DDC="004.01511"   Normalized_DDC="00401511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540678662"   Paper_ID="/11664.html"   Extracted="3540678662"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540679251"   Paper_ID="/11664.html"   Extracted="3540679251"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/11664.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:3540727876"   Paper_ID="/11664.html"   Extracted="3540727876"   />

            <identifier   Org="ISBN:3540858334"   Paper_ID="/11664.html"   Extracted="3540858334"   />

      </rec>

      <rec   ID="/172282.html"   Type="incollection"   CiteSeer_Book="KR92   Principles   of   Knowledge   Representation   and   Reasoning   Proceedings   of   the   Third   International   Conference"   CiteSeer_Volume=""   Title="Computing   Knowledge   Base   Updates,">

            <identifier   Org="ISBN:0198538529"   Paper_ID="/172282.html"   Extracted="0198538529"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0792351622"   Paper_ID="/172282.html"   Extracted="0792351622"   />

            <identifier   Org="ISBN:157735236X"   Paper_ID="/172282.html"   Extracted="157735236X"   />

            <identifier   Org="ISBN:1586036424"   Paper_ID="/172282.html"   Extracted="1586036424"   />

            <identifier   Org="ISBN:3110139944"   Paper_ID="/172282.html"   Extracted="3110139944"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540233180"   Paper_ID="/172282.html"   Extracted="3540233180"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/172282.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540613137"   Paper_ID="/172282.html"   Extracted="3540613137"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540766308"   Paper_ID="/172282.html"   Extracted="3540766308"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540939199"   Paper_ID="/172282.html"   Extracted="3540939199"   />

      </rec>

      <rec   ID="/98604.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="Syntactic   Characterizations   of   Belief   Change   Operators,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/98604.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/129311.html"   Type="inproceedings"   CiteSeer_Book="National   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="On   the   Relation   between   the   Coherence   and   Foundations   Theories   of   Belief   Revision,">

            <identifier   Org="ISBN:0198503067"   Paper_ID="/129311.html"   Extracted="0198503067"   DDC="121/.6"   Normalized_DDC="1216"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0262611023"   Paper_ID="/129311.html"   Extracted="0262611023"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0792351622"   Paper_ID="/129311.html"   Extracted="0792351622"   />

            <identifier   Org="ISBN:079237021X"   Paper_ID="/129311.html"   Extracted="079237021X"   DDC="121/.6"   Normalized_DDC="1216"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1402016050"   Paper_ID="/129311.html"   Extracted="1402016050"   DDC="121/.092"   Normalized_DDC="121092"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540417664"   Paper_ID="/129311.html"   Extracted="3540417664"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354064993X"   Paper_ID="/129311.html"   Extracted="354064993X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/140830.html"   Type="incollection"   CiteSeer_Book="KR94   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Tractable   Databases:   How   to   Make   Propositional   Unit   Resolution   Complete   Through   Compilation,">

            <identifier   Org="ISBN:0262510987"   Paper_ID="/140830.html"   Extracted="0262510987"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:0792366727"   Paper_ID="/140830.html"   Extracted="0792366727"   />

            <identifier   Org="ISBN:3540615113"   Paper_ID="/140830.html"   Extracted="3540615113"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540660127"   Paper_ID="/140830.html"   Extracted="3540660127"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354072396X"   Paper_ID="/140830.html"   Extracted="354072396X"   />

      </rec>

      <rec   ID="/58674.html"   Type="inproceedings"   CiteSeer_Book="IJCAI   1"   CiteSeer_Volume=""   Title="An   Analysis   of   Approximate   Knowledge   Compilation,">

            <identifier   Org="ISBN:0262510987"   Paper_ID="/58674.html"   Extracted="0262510987"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262511126"   Paper_ID="/58674.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792366727"   Paper_ID="/58674.html"   Extracted="0792366727"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/58674.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:1577350030"   Paper_ID="/58674.html"   Extracted="1577350030"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1586036858"   Paper_ID="/58674.html"   Extracted="1586036858"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1586038915"   Paper_ID="/58674.html"   Extracted="1586038915"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540278729"   Paper_ID="/58674.html"   Extracted="3540278729"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439595"   Paper_ID="/58674.html"   Extracted="3540439595"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/58674.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540651411"   Paper_ID="/58674.html"   Extracted="3540651411"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540653856"   Paper_ID="/58674.html"   Extracted="3540653856"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540660127"   Paper_ID="/58674.html"   Extracted="3540660127"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/194390.html"   Type="article"   CiteSeer_Book="Journal   of   Applied   NonClassical   Logics"   CiteSeer_Volume="7   12"   Title="{Non-Monotonic   Reasoning   and   Belief   Revision:   Syntactic,   Semantic,   Foundational   and   Coherence   Approaches},">

            <identifier   Org="ISBN:0198503067"   Paper_ID="/194390.html"   Extracted="0198503067"   DDC="121/.6"   Normalized_DDC="1216"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540417664"   Paper_ID="/194390.html"   Extracted="3540417664"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/322045.html"   Type="inproceedings"   CiteSeer_Book="AAAI   17th   National   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="On   2-{SAT}   and   Renamable   Horn,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/322045.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1558608729"   Paper_ID="/322045.html"   Extracted="1558608729"   DDC="519.6"   Normalized_DDC="5196"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540202021"   Paper_ID="/322045.html"   Extracted="3540202021"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/322045.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540727876"   Paper_ID="/322045.html"   Extracted="3540727876"   />

            <identifier   Org="ISBN:3540797181"   Paper_ID="/322045.html"   Extracted="3540797181"   />

            <identifier   Org="ISBN:3540850961"   Paper_ID="/322045.html"   Extracted="3540850961"   />

      </rec>

      <rec   ID="/244863.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="116"   Title="On   some   tractable   classes   in   deduction   and   abduction,">

            <identifier   Org="ISBN:3540202935"   Paper_ID="/244863.html"   Extracted="3540202935"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540408010"   Paper_ID="/244863.html"   Extracted="3540408010"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/244863.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/277053.html"   Type="inproceedings"   CiteSeer_Book="AAAI   17th   National   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Tractable   Classes   for   Directional   Resolution,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/277053.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/23197.html"   Type="inproceedings"   CiteSeer_Book="IJCAI   1"   CiteSeer_Volume=""   Title="Qualitative   Reasoning   about   Perception   and   Belief,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/23197.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1402086210"   Paper_ID="/23197.html"   Extracted="1402086210"   DDC="511.322"   Normalized_DDC="511322"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/23197.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:354029046X"   Paper_ID="/23197.html"   Extracted="354029046X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/175922.html"   Type="inproceedings"   CiteSeer_Book="AAAI92   Proceedings   of   the   Tenth   National   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Deriving   Properties   of   Belief   Update   From   Theories   of   Action,">

            <identifier   Org="ISBN:0262510634"   Paper_ID="/175922.html"   Extracted="0262510634"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0546663664"   Paper_ID="/175922.html"   Extracted="0546663664"   />

            <identifier   Org="ISBN:1402030681"   Paper_ID="/175922.html"   Extracted="1402030681"   DDC="629.8/9251"   Normalized_DDC="62989251"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1558604170"   Paper_ID="/175922.html"   Extracted="1558604170"   />

            <identifier   Org="ISBN:3540411313"   Paper_ID="/175922.html"   Extracted="3540411313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540601120"   Paper_ID="/175922.html"   Extracted="3540601120"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540613137"   Paper_ID="/175922.html"   Extracted="3540613137"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/175922.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:9051991533"   Paper_ID="/175922.html"   Extracted="9051991533"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/60065.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Can   Search   Play   A   Role   in   Practical   Applications?,">

            <identifier   Org="ISBN:4274905187"   Paper_ID="/60065.html"   Extracted="4274905187"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/68906.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="BLACKBOX:   A   New   Approach   to   the   Application   of   Theorem   Proving   to   Problem   Solving,">

            <identifier   Org="ISBN:0262511126"   Paper_ID="/68906.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0769504469"   Paper_ID="/68906.html"   Extracted="0769504469"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/68906.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0821827103"   Paper_ID="/68906.html"   Extracted="0821827103"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1581135866"   Paper_ID="/68906.html"   Extracted="1581135866"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/68906.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586030612"   Paper_ID="/68906.html"   Extracted="1586030612"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1591404517"   Paper_ID="/68906.html"   Extracted="1591404517"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1599047055"   Paper_ID="/68906.html"   Extracted="1599047055"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1845641558"   Paper_ID="/68906.html"   Extracted="1845641558"   DDC="371.33"   Normalized_DDC="37133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3486272128"   Paper_ID="/68906.html"   Extracted="3486272128"   />

            <identifier   Org="ISBN:3540250514"   Paper_ID="/68906.html"   Extracted="3540250514"   DDC="511.3/6/028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540411313"   Paper_ID="/68906.html"   Extracted="3540411313"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="/68906.html"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540433775"   Paper_ID="/68906.html"   Extracted="3540433775"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540441905"   Paper_ID="/68906.html"   Extracted="3540441905"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540678395"   Paper_ID="/68906.html"   Extracted="3540678395"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540678662"   Paper_ID="/68906.html"   Extracted="3540678662"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/663778.html"   Type="article"   CiteSeer_Book="Journal   of   the   ACM"   CiteSeer_Volume="43"   Title="Knowledge   compilation   and   theory   approximation,">

            <identifier   Org="ISBN:0262510987"   Paper_ID="/663778.html"   Extracted="0262510987"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262511126"   Paper_ID="/663778.html"   Extracted="0262511126"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/663778.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/663778.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540232370"   Paper_ID="/663778.html"   Extracted="3540232370"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540233571"   Paper_ID="/663778.html"   Extracted="3540233571"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/663778.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540258787"   Paper_ID="/663778.html"   Extracted="3540258787"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540286535"   Paper_ID="/663778.html"   Extracted="3540286535"   />

            <identifier   Org="ISBN:3540335188"   Paper_ID="/663778.html"   Extracted="3540335188"   DDC="006.332"   Normalized_DDC="006332"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441905"   Paper_ID="/663778.html"   Extracted="3540441905"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540631046"   Paper_ID="/663778.html"   Extracted="3540631046"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540641629"   Paper_ID="/663778.html"   Extracted="3540641629"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540653856"   Paper_ID="/663778.html"   Extracted="3540653856"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/663778.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:3540727876"   Paper_ID="/663778.html"   Extracted="3540727876"   />

            <identifier   Org="ISBN:3540734503"   Paper_ID="/663778.html"   Extracted="3540734503"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540735798"   Paper_ID="/663778.html"   Extracted="3540735798"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:427490525X"   Paper_ID="/663778.html"   Extracted="427490525X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Research   in   Automated   Reasoning">

            <identifier   Org="ISBN:0127634207"   Paper_ID="SELF"   Extracted="0127634207"   DDC="511.3/0285/53"   Normalized_DDC="5113028553"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0198537468"   Paper_ID="SELF"   Extracted="0198537468"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0309047285"   Paper_ID="SELF"   Extracted="0309047285"   DDC="371.97/0973"   Normalized_DDC="371970973"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0321263189"   Paper_ID="SELF"   Extracted="0321263189"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0387965440"   Paper_ID="SELF"   Extracted="0387965440"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792314093"   Paper_ID="SELF"   Extracted="0792314093"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="SELF"   Extracted="0792365658"   />

            <identifier   Org="ISBN:0849323797"   Paper_ID="SELF"   Extracted="0849323797"   DDC="681/.2"   Normalized_DDC="6812"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="SELF"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540581561"   Paper_ID="SELF"   Extracted="3540581561"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540610405"   Paper_ID="SELF"   Extracted="3540610405"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540710698"   Paper_ID="SELF"   Extracted="3540710698"   />

            <identifier   Org="ISBN:3540960228"   Paper_ID="SELF"   Extracted="3540960228"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9810215843"   Paper_ID="SELF"   Extracted="9810215843"   DDC="516/.00285/51"   Normalized_DDC="5160028551"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9810239106"   Paper_ID="SELF"   Extracted="9810239106"   DDC="001.535"   Normalized_DDC="001535"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9810240015"   Paper_ID="SELF"   Extracted="9810240015"   DDC="511.3/6/028563"   Normalized_DDC="51136028563"   Normalized_Weight="0.07142857142857142"   />

      </rec>

</references_metadata>

www.000webhost.com