Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 33

Title: Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases

Author:

Author:

Subject: Thomas Eiter,Thomas Lukasiewicz Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases

Description: Conditional knowledge bases have been proposed as belief bases that include defeasible rules (also called defaults) of the form " ! ", which informally read as "generally, if then ." Such rules may have exceptions, which can be handled in different ways. A number of entailment semantics for conditional knowledge bases have been proposed in the literature. However, while the semantic properties and interrelationships of these formalisms are quite well understood, about their computational properties only partial results are known so far. In this paper, we fill these gaps and first draw a precise picture of the complexity of default reasoning from conditional knowledge bases: Given a conditional knowledge base KB and a default ! , does KB entail ! ? We classify the complexity of this problem for a number of well-known approaches (including Goldszmidt et al.'s maximum entropy approach and Geffner's conditional entailment), where we consider the general propositional case as well as natural syntactic restrictions (in particular, to Horn and literal-Horn conditional knowledge bases). As we show, the more sophisticated semantics for conditional knowledge bases are plagued with intractability in all these fragments. We thus explore cases in which these semantics are tractable, and find that most of them enjoy this property on feedback-free Horn conditional knowledge bases, which constitute a new, meaningful class of conditional knowledge bases. Furthermore, we generalize previous tractability results from Horn to q-Horn conditional knowledge bases, which allow for a limited use of disjunction. Our results complement and extend previous results, and contribute in refining the tractability/intractability frontier of default reasoning from conditional know...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2002-02-01

Pubyear: 2000

Format: ps

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

Source: http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ai-770.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

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="/48125.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="87"   Title="From   Statistical   Knowledge   Bases   to   Degrees   of   Belief,">

            <identifier   Org="ISBN:0262161680"   Paper_ID="/48125.html"   Extracted="0262161680"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0471976431"   Paper_ID="/48125.html"   Extracted="0471976431"   DDC="519.5/4"   Normalized_DDC="51954"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0521861977"   Paper_ID="/48125.html"   Extracted="0521861977"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0780370783"   Paper_ID="/48125.html"   Extracted="0780370783"   />

            <identifier   Org="ISBN:0849331064"   Paper_ID="/48125.html"   Extracted="0849331064"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1402046308"   Paper_ID="/48125.html"   Extracted="1402046308"   />

            <identifier   Org="ISBN:155860412X"   Paper_ID="/48125.html"   Extracted="155860412X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1558604855"   Paper_ID="/48125.html"   Extracted="1558604855"   />

            <identifier   Org="ISBN:3540207678"   Paper_ID="/48125.html"   Extracted="3540207678"   DDC="401.2"   Normalized_DDC="4012"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540413529"   Paper_ID="/48125.html"   Extracted="3540413529"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540728295"   Paper_ID="/48125.html"   Extracted="3540728295"   />

            <identifier   Org="ISBN:3540733221"   Paper_ID="/48125.html"   Extracted="3540733221"   DDC="670.285/63"   Normalized_DDC="67028563"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540784683"   Paper_ID="/48125.html"   Extracted="3540784683"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3790814547"   Paper_ID="/48125.html"   Extracted="3790814547"   />

      </rec>

      <rec   ID="/28290.html"   Type="article"   CiteSeer_Book="Journal   of   the   ACM"   CiteSeer_Volume="41"   Title="Mixed   Integer   Programming   Methods   for   Computing   Nonmonotonic   Deductive   Databases,">

            <identifier   Org="ISBN:0262193612"   Paper_ID="/28290.html"   Extracted="0262193612"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/28290.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792371267"   Paper_ID="/28290.html"   Extracted="0792371267"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:354058241X"   Paper_ID="/28290.html"   Extracted="354058241X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354061656X"   Paper_ID="/28290.html"   Extracted="354061656X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/28290.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540899812"   Paper_ID="/28290.html"   Extracted="3540899812"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

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

      </rec>

      <rec   ID="/98142.html"   Type="incollection"   CiteSeer_Book="KR92   Principles   of   Knowledge   Representation   and   Reasoning   Proceedings   of   the   Third   International   Conference"   CiteSeer_Volume=""   Title="Representing   Default   Rules   in   Possibilistic   Logic,">

            <identifier   Org="ISBN:0444516239"   Paper_ID="/98142.html"   Extracted="0444516239"   DDC="511.312"   Normalized_DDC="511312"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0444519483"   Paper_ID="/98142.html"   Extracted="0444519483"   DDC="004.678"   Normalized_DDC="004678"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:078034863X"   Paper_ID="/98142.html"   Extracted="078034863X"   />

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

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

            <identifier   Org="ISBN:079238590X"   Paper_ID="/98142.html"   Extracted="079238590X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0824727150"   Paper_ID="/98142.html"   Extracted="0824727150"   />

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

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

            <identifier   Org="ISBN:3211833269"   Paper_ID="/98142.html"   Extracted="3211833269"   DDC="005.73"   Normalized_DDC="00573"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540432205"   Paper_ID="/98142.html"   Extracted="3540432205"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043321X"   Paper_ID="/98142.html"   Extracted="354043321X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:3540601163"   Paper_ID="/98142.html"   Extracted="3540601163"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540612866"   Paper_ID="/98142.html"   Extracted="3540612866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:9810234325"   Paper_ID="/98142.html"   Extracted="9810234325"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/29101.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="122"   Title="Belief   functions   and   default   reasoning,">

            <identifier   Org="ISBN:0262161680"   Paper_ID="/29101.html"   Extracted="0262161680"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:0792351002"   Paper_ID="/29101.html"   Extracted="0792351002"   />

            <identifier   Org="ISBN:1558603859"   Paper_ID="/29101.html"   Extracted="1558603859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1931233829"   Paper_ID="/29101.html"   Extracted="1931233829"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="/29101.html"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540366679"   Paper_ID="/29101.html"   Extracted="3540366679"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540424644"   Paper_ID="/29101.html"   Extracted="3540424644"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540427325"   Paper_ID="/29101.html"   Extracted="3540427325"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540432205"   Paper_ID="/29101.html"   Extracted="3540432205"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540546596"   Paper_ID="/29101.html"   Extracted="3540546596"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540630953"   Paper_ID="/29101.html"   Extracted="3540630953"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3790814148"   Paper_ID="/29101.html"   Extracted="3790814148"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/465051.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Default   reasoning   using   maximum   entropy   and   variable   strength   defaults,">

            <identifier   Org="ISBN:0262161680"   Paper_ID="/465051.html"   Extracted="0262161680"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/470737.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="Maximum   Entropy   and   Variable   Strength   Defaults,">

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

            <identifier   Org="ISBN:3540411194"   Paper_ID="/470737.html"   Extracted="3540411194"   DDC="006.3/31"   Normalized_DDC="006331"   Normalized_Weight="0.16666666666666666"   />

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

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

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

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

      </rec>

      <rec   ID="/133265.html"   Type="article"   CiteSeer_Book="Information   Processing   Letters"   CiteSeer_Volume="44"   Title="The   Complexity   of   Model   Checking   for   Circumscriptive   Formulae,">

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540590420"   Paper_ID="/133265.html"   Extracted="3540590420"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664270"   Paper_ID="/133265.html"   Extracted="3540664270"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3867278261"   Paper_ID="/133265.html"   Extracted="3867278261"   DDC="511.352"   Normalized_DDC="511352"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/62682.html"   Type="inproceedings"   CiteSeer_Book="Israel   Symposium   on   Theory   of   Computing   Systems"   CiteSeer_Volume=""   Title="Feasibility   and   Unfeasibility   of   Off-Line   Processing,">

            <identifier   Org="ISBN:3540309519"   Paper_ID="/62682.html"   Extracted="3540309519"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3764328525"   Paper_ID="/62682.html"   Extracted="3764328525"   DDC="325/.343/0943809044"   Normalized_DDC="3253430943809044"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/270275.html"   Type="article"   CiteSeer_Book="Journal   of   Automated   Reasoning"   CiteSeer_Volume="28"   Title="An   Algorithm   to   Evaluate   Quantified   Boolean   Formulae   and   Its   Experimental   Evaluation,">

            <identifier   Org="ISBN:0769522645"   Paper_ID="/270275.html"   Extracted="0769522645"   />

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

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

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

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

            <identifier   Org="ISBN:3540208518"   Paper_ID="/270275.html"   Extracted="3540208518"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540209654"   Paper_ID="/270275.html"   Extracted="3540209654"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540232419"   Paper_ID="/270275.html"   Extracted="3540232419"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540240594"   Paper_ID="/270275.html"   Extracted="3540240594"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540262768"   Paper_ID="/270275.html"   Extracted="3540262768"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540405593"   Paper_ID="/270275.html"   Extracted="3540405593"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540426019"   Paper_ID="/270275.html"   Extracted="3540426019"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540441204"   Paper_ID="/270275.html"   Extracted="3540441204"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:354092700X"   Paper_ID="/270275.html"   Extracted="354092700X"   />

      </rec>

      <rec   ID="/2124.html"   Type="article"   CiteSeer_Book="Annals   of   Mathematics   and   Artificial   Intelligence"   CiteSeer_Volume="22"   Title="Nonmonotonic   Reasoning:   From   Complexity   to   Algorithms,">

            <identifier   Org="ISBN:0769520383"   Paper_ID="/2124.html"   Extracted="0769520383"   />

            <identifier   Org="ISBN:0819453579"   Paper_ID="/2124.html"   Extracted="0819453579"   DDC="621.36/7"   Normalized_DDC="621367"   Normalized_Weight="0.16666666666666666"   />

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

            <identifier   Org="ISBN:3540242600"   Paper_ID="/2124.html"   Extracted="3540242600"   DDC="620.0045"   Normalized_DDC="6200045"   Normalized_Weight="0.16666666666666666"   />

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

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

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

      </rec>

      <rec   ID="/252006.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="112"   Title="Computing   with   Default   Logic,">

            <identifier   Org="ISBN:0262161680"   Paper_ID="/252006.html"   Extracted="0262161680"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:354040175X"   Paper_ID="/252006.html"   Extracted="354040175X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

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

      </rec>

      <rec   ID="/65822.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Seventh   National   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Investigations   Into   a   Theory   of   Knowledge   Base   Revision:   Preliminary   Report,">

            <identifier   Org="ISBN:0521545641"   Paper_ID="/65822.html"   Extracted="0521545641"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:0805818030"   Paper_ID="/65822.html"   Extracted="0805818030"   DDC="153"   Normalized_DDC="153"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1402019858"   Paper_ID="/65822.html"   Extracted="1402019858"   DDC="121"   Normalized_DDC="121"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540075445"   Paper_ID="/65822.html"   Extracted="3540075445"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540298967"   Paper_ID="/65822.html"   Extracted="3540298967"   />

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

            <identifier   Org="ISBN:354031198X"   Paper_ID="/65822.html"   Extracted="354031198X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540583327"   Paper_ID="/65822.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.0625"   />

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

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

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

            <identifier   Org="ISBN:3540653058"   Paper_ID="/65822.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.0625"   />

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

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

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

      </rec>

      <rec   ID="/67035.html"   Type="inproceedings"   CiteSeer_Book="IEEE   Conference   on   Computational   Complexity"   CiteSeer_Volume=""   Title="Complexity   and   Expressive   Power   of   Logic   Programming,">

            <identifier   Org="ISBN:0471139467"   Paper_ID="/67035.html"   Extracted="0471139467"   DDC="621.3/03"   Normalized_DDC="621303"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:0897919963"   Paper_ID="/67035.html"   Extracted="0897919963"   />

            <identifier   Org="ISBN:3540209654"   Paper_ID="/67035.html"   Extracted="3540209654"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540229418"   Paper_ID="/67035.html"   Extracted="3540229418"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540238425"   Paper_ID="/67035.html"   Extracted="3540238425"   DDC="006.74"   Normalized_DDC="00674"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/67035.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540298304"   Paper_ID="/67035.html"   Extracted="3540298304"   DDC="511.3/22"   Normalized_DDC="511322"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540630457"   Paper_ID="/67035.html"   Extracted="3540630457"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/67035.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540688544"   Paper_ID="/67035.html"   Extracted="3540688544"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540696180"   Paper_ID="/67035.html"   Extracted="3540696180"   />

            <identifier   Org="ISBN:3540721991"   Paper_ID="/67035.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540746137"   Paper_ID="/67035.html"   Extracted="3540746137"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:9812382615"   Paper_ID="/67035.html"   Extracted="9812382615"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/457145.html"   Type="book"   CiteSeer_Book="Parameterized   Complexity"   CiteSeer_Volume=""   Title="Parameterized   Complexity,">

            <identifier   Org="ISBN:0198566077"   Paper_ID="/457145.html"   Extracted="0198566077"   DDC="518.1"   Normalized_DDC="5181"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:038794883X"   Paper_ID="/457145.html"   Extracted="038794883X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0821809636"   Paper_ID="/457145.html"   Extracted="0821809636"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402075243"   Paper_ID="/457145.html"   Extracted="1402075243"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3110168103"   Paper_ID="/457145.html"   Extracted="3110168103"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540228233"   Paper_ID="/457145.html"   Extracted="3540228233"   DDC="004.1"   Normalized_DDC="0041"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540230718"   Paper_ID="/457145.html"   Extracted="3540230718"   DDC="519.5/44"   Normalized_DDC="519544"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540240144"   Paper_ID="/457145.html"   Extracted="3540240144"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540281010"   Paper_ID="/457145.html"   Extracted="3540281010"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540299521"   Paper_ID="/457145.html"   Extracted="3540299521"   />

            <identifier   Org="ISBN:3540405453"   Paper_ID="/457145.html"   Extracted="3540405453"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540422870"   Paper_ID="/457145.html"   Extracted="3540422870"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540429859"   Paper_ID="/457145.html"   Extracted="3540429859"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540432833"   Paper_ID="/457145.html"   Extracted="3540432833"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/457145.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540677879"   Paper_ID="/457145.html"   Extracted="3540677879"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540730001"   Paper_ID="/457145.html"   Extracted="3540730001"   DDC="511.3/52"   Normalized_DDC="511352"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540775366"   Paper_ID="/457145.html"   Extracted="3540775366"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354079722X"   Paper_ID="/457145.html"   Extracted="354079722X"   DDC="530.11"   Normalized_DDC="53011"   Normalized_Weight="0.05555555555555555"   />

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

      </rec>

      <rec   ID="/159200.html"   Type="incollection"   CiteSeer_Book="KR94   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Conditional   Objects   as   Nonmonotonic   Consequence   Relations:   Main   Results,">

            <identifier   Org="ISBN:0198538618"   Paper_ID="/159200.html"   Extracted="0198538618"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:0792359771"   Paper_ID="/159200.html"   Extracted="0792359771"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540879927"   Paper_ID="/159200.html"   Extracted="3540879927"   />

      </rec>

      <rec   ID="/532896.html"   Type="inproceedings"   CiteSeer_Book="AAAIIAAI"   CiteSeer_Volume=""   Title="Solving   Advanced   Reasoning   Tasks   Using   Quantified   Boolean   Formulas,">

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

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

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

            <identifier   Org="ISBN:1586036521"   Paper_ID="/532896.html"   Extracted="1586036521"   DDC="006.301/13"   Normalized_DDC="00630113"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540209654"   Paper_ID="/532896.html"   Extracted="3540209654"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540242600"   Paper_ID="/532896.html"   Extracted="3540242600"   DDC="620.0045"   Normalized_DDC="6200045"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/532896.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540408223"   Paper_ID="/532896.html"   Extracted="3540408223"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.0625"   />

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

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

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

            <identifier   Org="ISBN:354043030X"   Paper_ID="/532896.html"   Extracted="354043030X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

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

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

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

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

            <identifier   Org="ISBN:3540749691"   Paper_ID="/532896.html"   Extracted="3540749691"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540886354"   Paper_ID="/532896.html"   Extracted="3540886354"   />

      </rec>

      <rec   ID="/571846.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="114"   Title="Propositional   circumscription   and   extended   closed-world   reasoning   are   {$\Pi^P_2$}-complete,"   />

      <rec   ID="/408232.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="189"   Title="Abduction   from   logic   programs:   semantics   and   complexity,">

            <identifier   Org="ISBN:0262541041"   Paper_ID="/408232.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0780342674"   Paper_ID="/408232.html"   Extracted="0780342674"   DDC="511"   Normalized_DDC="511"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:1586034529"   Paper_ID="/408232.html"   Extracted="1586034529"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540632557"   Paper_ID="/408232.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540667490"   Paper_ID="/408232.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/408232.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540887369"   Paper_ID="/408232.html"   Extracted="3540887369"   />

            <identifier   Org="ISBN:3642009085"   Paper_ID="/408232.html"   Extracted="3642009085"   DDC="003.5"   Normalized_DDC="0035"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/22534.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   LogicBased   Artificial   Intelligence   Washington   DC   June   1416   1999"   CiteSeer_Volume=""   Title="Plausibility   Measures   and   Default   Reasoning,">

            <identifier   Org="ISBN:026251091X"   Paper_ID="/22534.html"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0262510952"   Paper_ID="/22534.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0780342089"   Paper_ID="/22534.html"   Extracted="0780342089"   />

            <identifier   Org="ISBN:078034863X"   Paper_ID="/22534.html"   Extracted="078034863X"   />

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

            <identifier   Org="ISBN:1402030916"   Paper_ID="/22534.html"   Extracted="1402030916"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1558603859"   Paper_ID="/22534.html"   Extracted="1558603859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:155860412X"   Paper_ID="/22534.html"   Extracted="155860412X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1558604855"   Paper_ID="/22534.html"   Extracted="1558604855"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/22534.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3211407561"   Paper_ID="/22534.html"   Extracted="3211407561"   />

            <identifier   Org="ISBN:3540250565"   Paper_ID="/22534.html"   Extracted="3540250565"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540404945"   Paper_ID="/22534.html"   Extracted="3540404945"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540432205"   Paper_ID="/22534.html"   Extracted="3540432205"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540747818"   Paper_ID="/22534.html"   Extracted="3540747818"   />

      </rec>

      <rec   ID="/61048.html"   Type="incollection"   CiteSeer_Book="KR94   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="On   the   Complexity   of   Conditional   Logics,">

            <identifier   Org="ISBN:026251091X"   Paper_ID="/61048.html"   Extracted="026251091X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0791800482"   Paper_ID="/61048.html"   Extracted="0791800482"   />

            <identifier   Org="ISBN:0792351614"   Paper_ID="/61048.html"   Extracted="0792351614"   />

            <identifier   Org="ISBN:0818671262"   Paper_ID="/61048.html"   Extracted="0818671262"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1402007493"   Paper_ID="/61048.html"   Extracted="1402007493"   DDC="530.13/8"   Normalized_DDC="530138"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:155860412X"   Paper_ID="/61048.html"   Extracted="155860412X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/61048.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540426728"   Paper_ID="/61048.html"   Extracted="3540426728"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/61048.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

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

      </rec>

      <rec   ID="/73847.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fourteenth   International   Joint   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="The   Comparative   Linguistics   of   Knowledge   Representation,">

            <identifier   Org="ISBN:0262511290"   Paper_ID="/73847.html"   Extracted="0262511290"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0471139467"   Paper_ID="/73847.html"   Extracted="0471139467"   DDC="621.3/03"   Normalized_DDC="621303"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:0818673877"   Paper_ID="/73847.html"   Extracted="0818673877"   />

            <identifier   Org="ISBN:1402030916"   Paper_ID="/73847.html"   Extracted="1402030916"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1586031279"   Paper_ID="/73847.html"   Extracted="1586031279"   />

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

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

            <identifier   Org="ISBN:3540404945"   Paper_ID="/73847.html"   Extracted="3540404945"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/73847.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/73847.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.1"   />

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

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

            <identifier   Org="ISBN:354067859X"   Paper_ID="/73847.html"   Extracted="354067859X"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/412528.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   and   Nonmonotonic   Reasoning"   CiteSeer_Volume=""   Title="Fixed-Parameter   Complexity   in   {AI}   and   Nonmonotonic   Reasoning,">

            <identifier   Org="ISBN:0198566077"   Paper_ID="/412528.html"   Extracted="0198566077"   DDC="518.1"   Normalized_DDC="5181"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262541041"   Paper_ID="/412528.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0769518796"   Paper_ID="/412528.html"   Extracted="0769518796"   />

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

            <identifier   Org="ISBN:3540003460"   Paper_ID="/412528.html"   Extracted="3540003460"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540405348"   Paper_ID="/412528.html"   Extracted="3540405348"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540405453"   Paper_ID="/412528.html"   Extracted="3540405453"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540429352"   Paper_ID="/412528.html"   Extracted="3540429352"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540429859"   Paper_ID="/412528.html"   Extracted="3540429859"   DDC="004.015118"   Normalized_DDC="004015118"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540432833"   Paper_ID="/412528.html"   Extracted="3540432833"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="/412528.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/412528.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3867278261"   Paper_ID="/412528.html"   Extracted="3867278261"   DDC="511.352"   Normalized_DDC="511352"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/42065.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="141"   Title="Computing   functions   with   parallel   queries   to   {NP},">

            <identifier   Org="ISBN:0387949739"   Paper_ID="/42065.html"   Extracted="0387949739"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0780342674"   Paper_ID="/42065.html"   Extracted="0780342674"   DDC="511"   Normalized_DDC="511"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0780356853"   Paper_ID="/42065.html"   Extracted="0780356853"   />

            <identifier   Org="ISBN:0818640707"   Paper_ID="/42065.html"   Extracted="0818640707"   />

            <identifier   Org="ISBN:0818656727"   Paper_ID="/42065.html"   Extracted="0818656727"   DDC="004.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818673877"   Paper_ID="/42065.html"   Extracted="0818673877"   />

            <identifier   Org="ISBN:1586038591"   Paper_ID="/42065.html"   Extracted="1586038591"   DDC="006.301/13"   Normalized_DDC="00630113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540582770"   Paper_ID="/42065.html"   Extracted="3540582770"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540631658"   Paper_ID="/42065.html"   Extracted="3540631658"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540633863"   Paper_ID="/42065.html"   Extracted="3540633863"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354065691X"   Paper_ID="/42065.html"   Extracted="354065691X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540697322"   Paper_ID="/42065.html"   Extracted="3540697322"   />

            <identifier   Org="ISBN:3540878025"   Paper_ID="/42065.html"   Extracted="3540878025"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/621552.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   First   International   Conference   on   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Hard   problems   for   simple   default   logics,">

            <identifier   Org="ISBN:0198537476"   Paper_ID="/621552.html"   Extracted="0198537476"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

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

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

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

            <identifier   Org="ISBN:0262521687"   Paper_ID="/621552.html"   Extracted="0262521687"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/621552.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0898712963"   Paper_ID="/621552.html"   Extracted="0898712963"   DDC="519.2"   Normalized_DDC="5192"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

            <identifier   Org="ISBN:3540614885"   Paper_ID="/621552.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/621552.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.06666666666666667"   />

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

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

            <identifier   Org="ISBN:3540721991"   Paper_ID="/621552.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:9051992580"   Paper_ID="/621552.html"   Extracted="9051992580"   />

      </rec>

      <rec   ID="/373852.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="119"   Title="The   complexity   of   belief   update,">

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

            <identifier   Org="ISBN:3540412859"   Paper_ID="/373852.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540429603"   Paper_ID="/373852.html"   Extracted="3540429603"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:8474918324"   Paper_ID="/373852.html"   Extracted="8474918324"   />

      </rec>

      <rec   ID="/111024.html"   Type="inproceedings"   CiteSeer_Book="Principles   of   Knowledge   Representation   and   Reasoning   Proceedings   of   the   2nd   International   Conference"   CiteSeer_Volume=""   Title="Belief   Revision   and   Default   Reasoning:   Syntax-Based   Approaches,">

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

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

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

            <identifier   Org="ISBN:0521545641"   Paper_ID="/111024.html"   Extracted="0521545641"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:0805818030"   Paper_ID="/111024.html"   Extracted="0805818030"   DDC="153"   Normalized_DDC="153"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0805829415"   Paper_ID="/111024.html"   Extracted="0805829415"   />

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

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

            <identifier   Org="ISBN:354055887X"   Paper_ID="/111024.html"   Extracted="354055887X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540583327"   Paper_ID="/111024.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:3540616306"   Paper_ID="/111024.html"   Extracted="3540616306"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.0625"   />

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

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

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

      </rec>

      <rec   ID="/237759.html"   Type="incollection"   CiteSeer_Book="Handbook   of   Defeasible   Reasoning   and   Uncertainty   Management   Systems   Volume   3   Belief   Change"   CiteSeer_Volume=""   Title="How   Hard   is   it   to   Revise   a   Belief   Base?,">

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

            <identifier   Org="ISBN:0792362616"   Paper_ID="/237759.html"   Extracted="0792362616"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:1402030916"   Paper_ID="/237759.html"   Extracted="1402030916"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:1586034529"   Paper_ID="/237759.html"   Extracted="1586034529"   />

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

            <identifier   Org="ISBN:3540242600"   Paper_ID="/237759.html"   Extracted="3540242600"   DDC="620.0045"   Normalized_DDC="6200045"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540633863"   Paper_ID="/237759.html"   Extracted="3540633863"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354066131X"   Paper_ID="/237759.html"   Extracted="354066131X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540886354"   Paper_ID="/237759.html"   Extracted="3540886354"   />

            <identifier   Org="ISBN:8876990771"   Paper_ID="/237759.html"   Extracted="8876990771"   />

      </rec>

      <rec   ID="/156440.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Smodels   ---   An   implementation   of   the   stable   model   and   well-founded   semantics   for   normal   LP,">

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

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

            <identifier   Org="ISBN:158603278X"   Paper_ID="/156440.html"   Extracted="158603278X"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/156440.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3540003894"   Paper_ID="/156440.html"   Extracted="3540003894"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540007059"   Paper_ID="/156440.html"   Extracted="3540007059"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540209654"   Paper_ID="/156440.html"   Extracted="3540209654"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540221247"   Paper_ID="/156440.html"   Extracted="3540221247"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540222537"   Paper_ID="/156440.html"   Extracted="3540222537"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07142857142857142"   />

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

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

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

            <identifier   Org="ISBN:354043030X"   Paper_ID="/156440.html"   Extracted="354043030X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540696180"   Paper_ID="/156440.html"   Extracted="3540696180"   />

            <identifier   Org="ISBN:3540721991"   Paper_ID="/156440.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540770003"   Paper_ID="/156440.html"   Extracted="3540770003"   />

            <identifier   Org="ISBN:3540899812"   Paper_ID="/156440.html"   Extracted="3540899812"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/333259.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="On   the   complexity   of   propositional   knowledge   base   revision,   updates,   and   counterfactuals,">

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

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

            <identifier   Org="ISBN:0792381297"   Paper_ID="/333259.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0897915194"   Paper_ID="/333259.html"   Extracted="0897915194"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:155860586X"   Paper_ID="/333259.html"   Extracted="155860586X"   />

            <identifier   Org="ISBN:3540007059"   Paper_ID="/333259.html"   Extracted="3540007059"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540242600"   Paper_ID="/333259.html"   Extracted="3540242600"   DDC="620.0045"   Normalized_DDC="6200045"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540298967"   Paper_ID="/333259.html"   Extracted="3540298967"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/333259.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540637923"   Paper_ID="/333259.html"   Extracted="3540637923"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/333259.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354066131X"   Paper_ID="/333259.html"   Extracted="354066131X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:354072981X"   Paper_ID="/333259.html"   Extracted="354072981X"   />

            <identifier   Org="ISBN:3540886354"   Paper_ID="/333259.html"   Extracted="3540886354"   />

      </rec>

      <rec   ID="/332711.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Theoretical   Aspects   of   Computer   Science"   CiteSeer_Volume=""   Title="The   Complexity   of   Logic-Based   Abduction,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/332711.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:0792365658"   Paper_ID="/332711.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:1402030916"   Paper_ID="/332711.html"   Extracted="1402030916"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402039069"   Paper_ID="/332711.html"   Extracted="1402039069"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540317821"   Paper_ID="/332711.html"   Extracted="3540317821"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/332711.html"   Extracted="3540406719"   />

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

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

            <identifier   Org="ISBN:3540429352"   Paper_ID="/332711.html"   Extracted="3540429352"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540632557"   Paper_ID="/332711.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540696180"   Paper_ID="/332711.html"   Extracted="3540696180"   />

            <identifier   Org="ISBN:3540776834"   Paper_ID="/332711.html"   Extracted="3540776834"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/296190.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="Improvements   to   the   Evaluation   of   Quantified   Boolean   Formulae,">

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

            <identifier   Org="ISBN:0521781760"   Paper_ID="/296190.html"   Extracted="0521781760"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0769522645"   Paper_ID="/296190.html"   Extracted="0769522645"   />

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

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

            <identifier   Org="ISBN:3540001166"   Paper_ID="/296190.html"   Extracted="3540001166"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540225625"   Paper_ID="/296190.html"   Extracted="3540225625"   />

            <identifier   Org="ISBN:3540242600"   Paper_ID="/296190.html"   Extracted="3540242600"   DDC="620.0045"   Normalized_DDC="6200045"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/296190.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

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

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

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

            <identifier   Org="ISBN:354043030X"   Paper_ID="/296190.html"   Extracted="354043030X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540721991"   Paper_ID="/296190.html"   Extracted="3540721991"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

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

      </rec>

      <rec   ID="/87107.html"   Type="article"   CiteSeer_Book="Journal   of   Computer   and   System   Sciences"   CiteSeer_Volume="48"   Title="A   Taxonomy   of   Complexity   Classes   of   Functions,">

            <identifier   Org="ISBN:0262631806"   Paper_ID="/87107.html"   Extracted="0262631806"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0387949739"   Paper_ID="/87107.html"   Extracted="0387949739"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780356853"   Paper_ID="/87107.html"   Extracted="0780356853"   />

            <identifier   Org="ISBN:0792384504"   Paper_ID="/87107.html"   Extracted="0792384504"   DDC="005.7"   Normalized_DDC="0057"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818640707"   Paper_ID="/87107.html"   Extracted="0818640707"   />

            <identifier   Org="ISBN:0818656727"   Paper_ID="/87107.html"   Extracted="0818656727"   DDC="004.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818673877"   Paper_ID="/87107.html"   Extracted="0818673877"   />

            <identifier   Org="ISBN:3519003155"   Paper_ID="/87107.html"   Extracted="3519003155"   />

            <identifier   Org="ISBN:3540229361"   Paper_ID="/87107.html"   Extracted="3540229361"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540340211"   Paper_ID="/87107.html"   Extracted="3540340211"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:3540583254"   Paper_ID="/87107.html"   Extracted="3540583254"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540590420"   Paper_ID="/87107.html"   Extracted="3540590420"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540609229"   Paper_ID="/87107.html"   Extracted="3540609229"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540625925"   Paper_ID="/87107.html"   Extracted="3540625925"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="/87107.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/448406.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="On   the   Use   of   Integer   Programming   Models   in   {AI}   Planning,">

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

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

            <identifier   Org="ISBN:1584885505"   Paper_ID="/448406.html"   Extracted="1584885505"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540441204"   Paper_ID="/448406.html"   Extracted="3540441204"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540749691"   Paper_ID="/448406.html"   Extracted="3540749691"   DDC="005.1/16"   Normalized_DDC="005116"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Default   Reasoning   from   Conditional   Knowledge   Bases:   Complexity   and   Tractable   Cases">

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

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

            <identifier   Org="ISBN:1402024924"   Paper_ID="SELF"   Extracted="1402024924"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.16666666666666666"   />

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

            <identifier   Org="ISBN:3540242600"   Paper_ID="SELF"   Extracted="3540242600"   DDC="620.0045"   Normalized_DDC="6200045"   Normalized_Weight="0.16666666666666666"   />

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

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

      </rec>

</references_metadata>

www.000webhost.com