Automatically assigned DDC number: 006333

Manually assigned DDC number: 006333

Number of references: 31

Title: Complexity of Nested Circumscription and Nested Abnormality Theories

Author:

Author:

Author:

Author:

Subject: Abtg Wissensbasierte Systeme,Marco Cadoli,Thomas Eiter,Georg Gottlob Complexity of Nested Circumscription and Nested Abnormality Theories

Description: Circumscription has been recognized as an important principle for knowledge representation and common-sense reasoning. The need for a circumscriptive formalism that allows for simple yet elegant modular problem representation has led Lifschitz (AIJ, 1995) to introduce nested abnormality theories (NATs) as a tool for modular knowledge representation, tailored for applying circumscription to minimize exceptional circumstances. Abstracting from this particular objective, we propose L CIRC , which is an extension of generic propositional circumscription by allowing propositional combinations and nesting of circumscriptive theories. As shown, NATs are naturally embedded into this language, and are in fact of equal expressive capability. We then analyze the complexity of L CIRC and NATs, and in particular the effect of nesting. The latter is found to be a source of complexity, which climbs the Polynomial Hierarchy as the nesting depth increases and reaches PSPACE-completeness in the general case. We also identify meaningful syntactic fragments of NATs which have lower complexity. In particular, we show that the generalization of Horn circumscription in the NAT framework remains coNP-complete, and that Horn NATs without fixed letters can be efficiently transformed into an equivalent Horn CNF, which implies polynomial solvability of principal reasoning tasks. Finally, we also study extensions of NATs and briefly address the complexity in the first-order case. Our results give insight into the "cost" of using L CIRC (resp.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2002-07-20

Pubyear: 2002

Format: ps

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

Source: http://www.kr.tuwien.ac.at/research/reports/rr0210.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:

Rights: unrestricted

Graph

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

<references_metadata>

      <rec   ID="/187803.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="120"   Title="Abductive   reasoning   through   filtering,">

            <identifier   Org="ISBN:0521818028"   Paper_ID="/187803.html"   Extracted="0521818028"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:079184742X"   Paper_ID="/187803.html"   Extracted="079184742X"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540205187"   Paper_ID="/187803.html"   Extracted="3540205187"   DDC="658.8/72"   Normalized_DDC="658872"   Normalized_Weight="0.25"   />

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

            <identifier   Org="ISBN:7302113777"   Paper_ID="/187803.html"   Extracted="7302113777"   />

      </rec>

      <rec   ID="/481195.html"   Type="incollection"   CiteSeer_Book="KR96   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Value   Minimization   in   Circumscription,"   />

      <rec   ID="/26537.html"   Type="inproceedings"   CiteSeer_Book="Working   Papers   Common   Sense   96"   CiteSeer_Volume=""   Title="Formalizing   Narratives   Using   Nested   Circumscription,">

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

            <identifier   Org="ISBN:0780386035"   Paper_ID="/26537.html"   Extracted="0780386035"   />

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

      </rec>

      <rec   ID="/3583.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="122"   Title="Computational   complexity   of   planning   and   approximate   planning   in   the   presence   of   incompleteness,">

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

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

            <identifier   Org="ISBN:0780372808"   Paper_ID="/3583.html"   Extracted="0780372808"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:3540221239"   Paper_ID="/3583.html"   Extracted="3540221239"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540285385"   Paper_ID="/3583.html"   Extracted="3540285385"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:354089196X"   Paper_ID="/3583.html"   Extracted="354089196X"   />

            <identifier   Org="ISBN:3540929940"   Paper_ID="/3583.html"   Extracted="3540929940"   />

      </rec>

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

            <identifier   Org="ISBN:0262182181"   Paper_ID="/11664.html"   Extracted="0262182181"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.07692307692307693"   />

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

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

            <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.07692307692307693"   />

            <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.07692307692307693"   />

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

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

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

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

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

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

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

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

            <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="/341800.html"   Type="article"   CiteSeer_Book="Journal   of   Artificial   Intelligence   Research"   CiteSeer_Volume="13"   Title="Space   Efficiency   of   Propositional   Knowledge   Representation   Formalisms,"   />

      <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="/331033.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="54"   Title="An   Efficient   Method   for   Eliminating   Varying   Predicates   from   a   Circumscription,">

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

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

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

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

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

            <identifier   Org="ISBN:3540594876"   Paper_ID="/331033.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540645705"   Paper_ID="/331033.html"   Extracted="3540645705"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.16666666666666666"   />

      </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="/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="/477720.html"   Type="article"   CiteSeer_Book="Journal   of   the   ACM"   CiteSeer_Volume="48"   Title="Decomposable   negation   normal   form,">

            <identifier   Org="ISBN:0262025507"   Paper_ID="/477720.html"   Extracted="0262025507"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:0262560976"   Paper_ID="/477720.html"   Extracted="0262560976"   DDC="001.4/225/028563"   Normalized_DDC="0014225028563"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

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

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

            <identifier   Org="ISBN:1852339071"   Paper_ID="/477720.html"   Extracted="1852339071"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540207694"   Paper_ID="/477720.html"   Extracted="3540207694"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

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

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

            <identifier   Org="ISBN:3540681051"   Paper_ID="/477720.html"   Extracted="3540681051"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540748172"   Paper_ID="/477720.html"   Extracted="3540748172"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540786511"   Paper_ID="/477720.html"   Extracted="3540786511"   />

            <identifier   Org="ISBN:3540873600"   Paper_ID="/477720.html"   Extracted="3540873600"   />

      </rec>

      <rec   ID="/488092.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="A   Perspective   on   Knowledge   Compilation,">

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

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

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

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

            <identifier   Org="ISBN:2880744466"   Paper_ID="/488092.html"   Extracted="2880744466"   DDC="511.5"   Normalized_DDC="5115"   Normalized_Weight="0.25"   />

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

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

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

      </rec>

      <rec   ID="/120686.html"   Type="article"   CiteSeer_Book="Journal   of   Automated   Reasoning"   CiteSeer_Volume="18"   Title="Computing   Circumscription   Revisited:   A   Reduction   Algorithm,">

            <identifier   Org="ISBN:0123693888"   Paper_ID="/120686.html"   Extracted="0123693888"   DDC="153.4/3"   Normalized_DDC="15343"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0444516905"   Paper_ID="/120686.html"   Extracted="0444516905"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:079235687X"   Paper_ID="/120686.html"   Extracted="079235687X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:079237018X"   Paper_ID="/120686.html"   Extracted="079237018X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.0625"   />

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

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

            <identifier   Org="ISBN:354022145X"   Paper_ID="/120686.html"   Extracted="354022145X"   DDC="512.74"   Normalized_DDC="51274"   Normalized_Weight="0.0625"   />

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

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

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

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

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

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

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

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

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

      </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="/492332.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   and   Automated   Reasoning"   CiteSeer_Volume=""   Title="On   the   Complexity   of   Theory   Curbing,">

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

      </rec>

      <rec   ID="/542953.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   and   Nonmonotonic   Reasoning"   CiteSeer_Volume=""   Title="Modular   Logic   Programming   and   Generalized   Quantifiers,">

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

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

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

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

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

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

            <identifier   Org="ISBN:3540297545"   Paper_ID="/542953.html"   Extracted="3540297545"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.08333333333333333"   />

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

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

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

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

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

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

      </rec>

      <rec   ID="/462025.html"   Type="inproceedings"   CiteSeer_Book="AAAIIAAI"   CiteSeer_Volume=""   Title="A   Distributed   Algorithm   to   Evaluate   Quantified   Boolean   Formulae,">

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

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

            <identifier   Org="ISBN:354000579X"   Paper_ID="/462025.html"   Extracted="354000579X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:3540285385"   Paper_ID="/462025.html"   Extracted="3540285385"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.08333333333333333"   />

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

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

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

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

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

            <identifier   Org="ISBN:3798321183"   Paper_ID="/462025.html"   Extracted="3798321183"   DDC="621.392"   Normalized_DDC="621392"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/496.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="95"   Title="Representing   Action:   Indeterminacy   and   Ramifications,">

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

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

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

            <identifier   Org="ISBN:1591404509"   Paper_ID="/496.html"   Extracted="1591404509"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1599049414"   Paper_ID="/496.html"   Extracted="1599049414"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354020119X"   Paper_ID="/496.html"   Extracted="354020119X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540664289"   Paper_ID="/496.html"   Extracted="3540664289"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

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

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

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

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

            <identifier   Org="ISBN:9812381791"   Paper_ID="/496.html"   Extracted="9812381791"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07692307692307693"   />

      </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.09090909090909091"   />

            <identifier   Org="ISBN:0444508120"   Paper_ID="/73847.html"   Extracted="0444508120"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

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

            <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.09090909090909091"   />

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

            <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.09090909090909091"   />

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

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

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

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

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

      </rec>

      <rec   ID="/363570.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   implementation   and   optimization   of   an   algorithm   for   reducing   formulae   in   second-order   logic,">

            <identifier   Org="ISBN:079235687X"   Paper_ID="/363570.html"   Extracted="079235687X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.5"   />

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

      </rec>

      <rec   ID="/35316.html"   Type="inproceedings"   CiteSeer_Book="ACM   Symposium   on   Theory   of   Computing"   CiteSeer_Volume=""   Title="Relational   Queries   Computable   in   Polynomial   Time   (Extended   Abstract),">

            <identifier   Org="ISBN:0444871195"   Paper_ID="/35316.html"   Extracted="0444871195"   DDC="658.4/03"   Normalized_DDC="658403"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354017219X"   Paper_ID="/35316.html"   Extracted="354017219X"   />

            <identifier   Org="ISBN:3540212027"   Paper_ID="/35316.html"   Extracted="3540212027"   DDC="511.3/4"   Normalized_DDC="51134"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540310231"   Paper_ID="/35316.html"   Extracted="3540310231"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/6757.html"   Type="incollection"   CiteSeer_Book="KR94   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Actions   with   Indirect   Effects   (Preliminary   Report),">

            <identifier   Org="ISBN:0387276947"   Paper_ID="/6757.html"   Extracted="0387276947"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07142857142857142"   />

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

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

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

            <identifier   Org="ISBN:3540413855"   Paper_ID="/6757.html"   Extracted="3540413855"   DDC="510   s"   Normalized_DDC="51"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

            <identifier   Org="ISBN:354062600X"   Paper_ID="/6757.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

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

      </rec>

      <rec   ID="/71069.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fourteenth   International   Joint   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="A   Simple   Formalization   of   Actions   Using   Circumscription,">

            <identifier   Org="ISBN:0123693888"   Paper_ID="/71069.html"   Extracted="0123693888"   DDC="153.4/3"   Normalized_DDC="15343"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262193841"   Paper_ID="/71069.html"   Extracted="0262193841"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:0792346440"   Paper_ID="/71069.html"   Extracted="0792346440"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:079235687X"   Paper_ID="/71069.html"   Extracted="079235687X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.07692307692307693"   />

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

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

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

            <identifier   Org="ISBN:1558609326"   Paper_ID="/71069.html"   Extracted="1558609326"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.07692307692307693"   />

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

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

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

            <identifier   Org="ISBN:3540664289"   Paper_ID="/71069.html"   Extracted="3540664289"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540668365"   Paper_ID="/71069.html"   Extracted="3540668365"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/598724.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="74"   Title="Nested   Abnormality   Theories,">

            <identifier   Org="ISBN:0262193841"   Paper_ID="/598724.html"   Extracted="0262193841"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792346440"   Paper_ID="/598724.html"   Extracted="0792346440"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818679395"   Paper_ID="/598724.html"   Extracted="0818679395"   />

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

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

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

            <identifier   Org="ISBN:354062600X"   Paper_ID="/598724.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:354064413X"   Paper_ID="/598724.html"   Extracted="354064413X"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540753869"   Paper_ID="/598724.html"   Extracted="3540753869"   DDC="629.892"   Normalized_DDC="629892"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:9051994753"   Paper_ID="/598724.html"   Extracted="9051994753"   DDC="621.36/7"   Normalized_DDC="621367"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/351230.html"   Type="incollection"   CiteSeer_Book="Formalizing   Common   Sense   Papers   by   John   McCarthy"   CiteSeer_Volume=""   Title="Applications   of   Circumscription   to   Formalizing   Common   Sense   Knowledge,">

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

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

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

            <identifier   Org="ISBN:0818608811"   Paper_ID="/351230.html"   Extracted="0818608811"   />

            <identifier   Org="ISBN:0824722809"   Paper_ID="/351230.html"   Extracted="0824722809"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540516654"   Paper_ID="/351230.html"   Extracted="3540516654"   />

            <identifier   Org="ISBN:3540528504"   Paper_ID="/351230.html"   Extracted="3540528504"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540545638"   Paper_ID="/351230.html"   Extracted="3540545638"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

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

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

            <identifier   Org="ISBN:9051838883"   Paper_ID="/351230.html"   Extracted="9051838883"   />

      </rec>

      <rec   ID="/376983.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Non-monotonic   reasoning   with   quantified   boolean   constraints,">

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

      </rec>

      <rec   ID="/513879.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="A   Logical   Account   of   Causal   and   Topological   Maps,">

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

            <identifier   Org="ISBN:0849337488"   Paper_ID="/513879.html"   Extracted="0849337488"   DDC="629.8/932"   Normalized_DDC="6298932"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540404309"   Paper_ID="/513879.html"   Extracted="3540404309"   DDC="006.3/32"   Normalized_DDC="006332"   Normalized_Weight="0.3333333333333333"   />

      </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="/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="/276459.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="125"   Title="Formalizing   sensing   actions   A   transition   function   based   approach,">

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

            <identifier   Org="ISBN:0387276947"   Paper_ID="/276459.html"   Extracted="0387276947"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:1568811039"   Paper_ID="/276459.html"   Extracted="1568811039"   DDC="794.8/163"   Normalized_DDC="7948163"   Normalized_Weight="0.09090909090909091"   />

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

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

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

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

            <identifier   Org="ISBN:3540278281"   Paper_ID="/276459.html"   Extracted="3540278281"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540424172"   Paper_ID="/276459.html"   Extracted="3540424172"   DDC="410/.285"   Normalized_DDC="410285"   Normalized_Weight="0.09090909090909091"   />

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

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

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

            <identifier   Org="ISBN:354089196X"   Paper_ID="/276459.html"   Extracted="354089196X"   />

            <identifier   Org="ISBN:3540929940"   Paper_ID="/276459.html"   Extracted="3540929940"   />

      </rec>

      <rec   ID="/183778.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Automating   the   computation   of   nested   abnormality   theories,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Complexity   of   Nested   Circumscription   and   Nested   Abnormality   Theories"   />

</references_metadata>

www.000webhost.com