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