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
<?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>