Automatically assigned DDC number: 006336
Manually assigned DDC number: 006333
Number of references: 16
Title: Complexity Results for Default Reasoning from Conditional Knowledge. . .
Author:
Author:
Author:
Subject: Abtg Wissensbasierte Systeme,Thomas Lukasiewicz,Thomas Eiter Complexity Results for Default Reasoning from Conditional Knowledge. . .
Description: . Conditional knowledge bases have been proposed as belief bases that include defeasible rules (also called defaults) of the form " ! ", which informally read as "generally, if then ." Such rules may have exceptions, which can be handled in different ways. A number of entailment semantics for conditional knowledge bases have been proposed in the literature. However, while the semantic properties and interrelationships of these formalisms are quite well understood, about their algorithmic properties only partial results are known so far. In this paper, we fill these gaps and draw a precise picture of the complexity of default reasoning from conditional knowledge bases: Given a conditional knowledge base KB and a default ! , does KB entail ! ? We classify the complexity of this problem for a number of well-known approaches (including Goldszmidt et al.'s maximum entropy approach and Geffner's conditional entailment). We consider the general propositional case as well as syntactic ...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1970-01-01
Pubyear: 1999
Format: ps
Identifier: http://citeseer.ist.psu.edu/279472.html
Source: ftp://ftp.kr.tuwien.ac.at/pub/tr/rr9910.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/98142.html" Type="incollection" CiteSeer_Book="KR92 Principles of Knowledge Representation and Reasoning Proceedings of the Third International Conference" CiteSeer_Volume="" Title="Representing Default Rules in Possibilistic Logic,">
<identifier Org="ISBN:0444516239" Paper_ID="/98142.html" Extracted="0444516239" DDC="511.312" Normalized_DDC="511312" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0444519483" Paper_ID="/98142.html" Extracted="0444519483" DDC="004.678" Normalized_DDC="004678" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:078034863X" Paper_ID="/98142.html" Extracted="078034863X" />
<identifier Org="ISBN:0792366727" Paper_ID="/98142.html" Extracted="0792366727" />
<identifier Org="ISBN:0792372247" Paper_ID="/98142.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:079238590X" Paper_ID="/98142.html" Extracted="079238590X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0824727150" Paper_ID="/98142.html" Extracted="0824727150" />
<identifier Org="ISBN:155860412X" Paper_ID="/98142.html" Extracted="155860412X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1558604804" Paper_ID="/98142.html" Extracted="1558604804" />
<identifier Org="ISBN:3211833269" Paper_ID="/98142.html" Extracted="3211833269" DDC="005.73" Normalized_DDC="00573" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540273263" Paper_ID="/98142.html" Extracted="3540273263" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540432205" Paper_ID="/98142.html" Extracted="3540432205" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043321X" Paper_ID="/98142.html" Extracted="354043321X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354057395X" Paper_ID="/98142.html" Extracted="354057395X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540584099" Paper_ID="/98142.html" Extracted="3540584099" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540601163" Paper_ID="/98142.html" Extracted="3540601163" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540612866" Paper_ID="/98142.html" Extracted="3540612866" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540663746" Paper_ID="/98142.html" Extracted="3540663746" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:9810234325" Paper_ID="/98142.html" Extracted="9810234325" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/470737.html" Type="inproceedings" CiteSeer_Book="IJCAI" CiteSeer_Volume="" Title="Maximum Entropy and Variable Strength Defaults,">
<identifier Org="ISBN:0262161680" Paper_ID="/470737.html" Extracted="0262161680" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540411194" Paper_ID="/470737.html" Extracted="3540411194" DDC="006.3/31" Normalized_DDC="006331" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540411313" Paper_ID="/470737.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540423672" Paper_ID="/470737.html" Extracted="3540423672" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540424644" Paper_ID="/470737.html" Extracted="3540424644" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540441905" Paper_ID="/470737.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354066131X" Paper_ID="/470737.html" Extracted="354066131X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/133265.html" Type="article" CiteSeer_Book="Information Processing Letters" CiteSeer_Volume="44" Title="The Complexity of Model Checking for Circumscriptive Formulae,">
<identifier Org="ISBN:0262511126" Paper_ID="/133265.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262511290" Paper_ID="/133265.html" Extracted="0262511290" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0791408744" Paper_ID="/133265.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540006230" Paper_ID="/133265.html" Extracted="3540006230" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540226710" Paper_ID="/133265.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540412859" Paper_ID="/133265.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540416951" Paper_ID="/133265.html" Extracted="3540416951" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540425934" Paper_ID="/133265.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540590420" Paper_ID="/133265.html" Extracted="3540590420" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540664270" Paper_ID="/133265.html" Extracted="3540664270" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540671412" Paper_ID="/133265.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3867278261" Paper_ID="/133265.html" Extracted="3867278261" DDC="511.352" Normalized_DDC="511352" Normalized_Weight="0.08333333333333333" />
</rec>
<rec ID="/62682.html" Type="inproceedings" CiteSeer_Book="Israel Symposium on Theory of Computing Systems" CiteSeer_Volume="" Title="Feasibility and Unfeasibility of Off-Line Processing,">
<identifier Org="ISBN:078039979X" Paper_ID="/62682.html" Extracted="078039979X" />
<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="/2124.html" Type="article" CiteSeer_Book="Annals of Mathematics and Artificial Intelligence" CiteSeer_Volume="22" Title="Nonmonotonic Reasoning: From Complexity to Algorithms,">
<identifier Org="ISBN:0769520383" Paper_ID="/2124.html" Extracted="0769520383" />
<identifier Org="ISBN:0819453579" Paper_ID="/2124.html" Extracted="0819453579" DDC="621.36/7" Normalized_DDC="621367" Normalized_Weight="0.2" />
<identifier Org="ISBN:1586030132" Paper_ID="/2124.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540242600" Paper_ID="/2124.html" Extracted="3540242600" DDC="620.0045" Normalized_DDC="6200045" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540411313" Paper_ID="/2124.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540441905" Paper_ID="/2124.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.2" />
</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:3540291067" Paper_ID="/67035.html" Extracted="3540291067" DDC="004" Normalized_DDC="004" 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:3540425934" Paper_ID="/67035.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540429573" Paper_ID="/67035.html" Extracted="3540429573" DDC="005.11" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439595" Paper_ID="/67035.html" Extracted="3540439595" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540630457" Paper_ID="/67035.html" Extracted="3540630457" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540664920" Paper_ID="/67035.html" Extracted="3540664920" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540688544" Paper_ID="/67035.html" Extracted="3540688544" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540696180" Paper_ID="/67035.html" Extracted="3540696180" />
<identifier Org="ISBN:3540721991" Paper_ID="/67035.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540746137" Paper_ID="/67035.html" Extracted="3540746137" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:9812382615" Paper_ID="/67035.html" Extracted="9812382615" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/457145.html" Type="book" CiteSeer_Book="Parameterized Complexity" CiteSeer_Volume="" Title="Parameterized Complexity,">
<identifier Org="ISBN:038794883X" Paper_ID="/457145.html" Extracted="038794883X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0821809636" Paper_ID="/457145.html" Extracted="0821809636" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1402075243" Paper_ID="/457145.html" Extracted="1402075243" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3110168103" Paper_ID="/457145.html" Extracted="3110168103" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540228233" Paper_ID="/457145.html" Extracted="3540228233" DDC="004.1" Normalized_DDC="0041" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540228497" Paper_ID="/457145.html" Extracted="3540228497" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540230718" Paper_ID="/457145.html" Extracted="3540230718" DDC="519.5/44" Normalized_DDC="519544" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540240144" Paper_ID="/457145.html" Extracted="3540240144" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540299521" Paper_ID="/457145.html" Extracted="3540299521" />
<identifier Org="ISBN:3540405453" Paper_ID="/457145.html" Extracted="3540405453" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540422870" Paper_ID="/457145.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540424911" Paper_ID="/457145.html" Extracted="3540424911" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540424938" Paper_ID="/457145.html" Extracted="3540424938" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540424997" Paper_ID="/457145.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540429859" Paper_ID="/457145.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540665366" Paper_ID="/457145.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540677879" Paper_ID="/457145.html" Extracted="3540677879" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540730001" Paper_ID="/457145.html" Extracted="3540730001" DDC="511.3/52" Normalized_DDC="511352" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354079722X" Paper_ID="/457145.html" Extracted="354079722X" DDC="530.11" Normalized_DDC="53011" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540850961" Paper_ID="/457145.html" Extracted="3540850961" />
</rec>
<rec ID="/159200.html" Type="incollection" CiteSeer_Book="KR94 Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Conditional Objects as Nonmonotonic Consequence Relations: Main Results,">
<identifier Org="ISBN:0198538618" Paper_ID="/159200.html" Extracted="0198538618" DDC="160" Normalized_DDC="16" Normalized_Weight="0.5" />
<identifier Org="ISBN:0792359771" Paper_ID="/159200.html" Extracted="0792359771" DDC="160" Normalized_DDC="16" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540879927" Paper_ID="/159200.html" Extracted="3540879927" />
</rec>
<rec ID="/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="/61048.html" Type="incollection" CiteSeer_Book="KR94 Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="On the Complexity of Conditional Logics,">
<identifier Org="ISBN:026251091X" Paper_ID="/61048.html" Extracted="026251091X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0791800482" Paper_ID="/61048.html" Extracted="0791800482" />
<identifier Org="ISBN:0792351614" Paper_ID="/61048.html" Extracted="0792351614" />
<identifier Org="ISBN:0818671262" Paper_ID="/61048.html" Extracted="0818671262" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1402007493" Paper_ID="/61048.html" Extracted="1402007493" DDC="530.13/8" Normalized_DDC="530138" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:155860412X" Paper_ID="/61048.html" Extracted="155860412X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:354030553X" Paper_ID="/61048.html" Extracted="354030553X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540407871" Paper_ID="/61048.html" Extracted="3540407871" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540426728" Paper_ID="/61048.html" Extracted="3540426728" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540604375" Paper_ID="/61048.html" Extracted="3540604375" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540615113" Paper_ID="/61048.html" Extracted="3540615113" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/22534.html" Type="inproceedings" CiteSeer_Book="Workshop on LogicBased Artificial Intelligence Washington DC June 1416 1999" CiteSeer_Volume="" Title="Plausibility Measures and Default Reasoning,">
<identifier Org="ISBN:026251091X" Paper_ID="/22534.html" Extracted="026251091X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0262510952" Paper_ID="/22534.html" Extracted="0262510952" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:0780342089" Paper_ID="/22534.html" Extracted="0780342089" />
<identifier Org="ISBN:078034863X" Paper_ID="/22534.html" Extracted="078034863X" />
<identifier Org="ISBN:0792351622" Paper_ID="/22534.html" Extracted="0792351622" />
<identifier Org="ISBN:1402030916" Paper_ID="/22534.html" Extracted="1402030916" DDC="160" Normalized_DDC="16" Normalized_Weight="0.125" />
<identifier Org="ISBN:1558603859" Paper_ID="/22534.html" Extracted="1558603859" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:155860412X" Paper_ID="/22534.html" Extracted="155860412X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:1558604855" Paper_ID="/22534.html" Extracted="1558604855" />
<identifier Org="ISBN:1586034529" Paper_ID="/22534.html" Extracted="1586034529" />
<identifier Org="ISBN:3211407561" Paper_ID="/22534.html" Extracted="3211407561" />
<identifier Org="ISBN:3540250565" Paper_ID="/22534.html" Extracted="3540250565" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540404945" Paper_ID="/22534.html" Extracted="3540404945" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540432205" Paper_ID="/22534.html" Extracted="3540432205" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540747818" Paper_ID="/22534.html" Extracted="3540747818" />
</rec>
<rec ID="/73847.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence" CiteSeer_Volume="" Title="The Comparative Linguistics of Knowledge Representation,">
<identifier Org="ISBN:0262511290" Paper_ID="/73847.html" Extracted="0262511290" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:0471139467" Paper_ID="/73847.html" Extracted="0471139467" DDC="621.3/03" Normalized_DDC="621303" Normalized_Weight="0.1" />
<identifier Org="ISBN:0792366727" Paper_ID="/73847.html" Extracted="0792366727" />
<identifier Org="ISBN:0818673877" Paper_ID="/73847.html" Extracted="0818673877" />
<identifier Org="ISBN:1402030916" Paper_ID="/73847.html" Extracted="1402030916" DDC="160" Normalized_DDC="16" Normalized_Weight="0.1" />
<identifier Org="ISBN:1581135076" Paper_ID="/73847.html" Extracted="1581135076" />
<identifier Org="ISBN:1586031279" Paper_ID="/73847.html" Extracted="1586031279" />
<identifier Org="ISBN:1586038915" Paper_ID="/73847.html" Extracted="1586038915" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3486272128" Paper_ID="/73847.html" Extracted="3486272128" />
<identifier Org="ISBN:3540404945" Paper_ID="/73847.html" Extracted="3540404945" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540632557" Paper_ID="/73847.html" Extracted="3540632557" DDC="006.3/36" Normalized_DDC="006336" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540649581" Paper_ID="/73847.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540660127" Paper_ID="/73847.html" Extracted="3540660127" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540671412" Paper_ID="/73847.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.1" />
<identifier Org="ISBN:354067859X" Paper_ID="/73847.html" Extracted="354067859X" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.1" />
</rec>
<rec ID="/412528.html" Type="inproceedings" CiteSeer_Book="Logic Programming and Nonmonotonic Reasoning" CiteSeer_Volume="" Title="Fixed-Parameter Complexity in {AI} and Nonmonotonic Reasoning,">
<identifier Org="ISBN:0198566077" Paper_ID="/412528.html" Extracted="0198566077" DDC="518.1" Normalized_DDC="5181" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0262541041" Paper_ID="/412528.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0769518796" Paper_ID="/412528.html" Extracted="0769518796" />
<identifier Org="ISBN:3110168103" Paper_ID="/412528.html" Extracted="3110168103" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540003460" Paper_ID="/412528.html" Extracted="3540003460" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540208518" Paper_ID="/412528.html" Extracted="3540208518" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540405348" Paper_ID="/412528.html" Extracted="3540405348" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540405453" Paper_ID="/412528.html" Extracted="3540405453" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540429352" Paper_ID="/412528.html" Extracted="3540429352" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540429859" Paper_ID="/412528.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540667490" Paper_ID="/412528.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540677976" Paper_ID="/412528.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540755586" Paper_ID="/412528.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540797181" Paper_ID="/412528.html" Extracted="3540797181" />
<identifier Org="ISBN:3867278261" Paper_ID="/412528.html" Extracted="3867278261" DDC="511.352" Normalized_DDC="511352" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/42065.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="141" Title="Computing functions with parallel queries to {NP},">
<identifier Org="ISBN:0387949739" Paper_ID="/42065.html" Extracted="0387949739" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1" />
<identifier Org="ISBN:0780342674" Paper_ID="/42065.html" Extracted="0780342674" DDC="511" Normalized_DDC="511" Normalized_Weight="0.1" />
<identifier Org="ISBN:0780356853" Paper_ID="/42065.html" Extracted="0780356853" />
<identifier Org="ISBN:0818640707" Paper_ID="/42065.html" Extracted="0818640707" />
<identifier Org="ISBN:0818656727" Paper_ID="/42065.html" Extracted="0818656727" DDC="004.015113" Normalized_DDC="004015113" Normalized_Weight="0.1" />
<identifier Org="ISBN:0818673877" Paper_ID="/42065.html" Extracted="0818673877" />
<identifier Org="ISBN:1586038591" Paper_ID="/42065.html" Extracted="1586038591" DDC="006.301/13" Normalized_DDC="00630113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540577858" Paper_ID="/42065.html" Extracted="3540577858" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540582770" Paper_ID="/42065.html" Extracted="3540582770" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540626166" Paper_ID="/42065.html" Extracted="3540626166" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540633863" Paper_ID="/42065.html" Extracted="3540633863" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />
<identifier Org="ISBN:354065691X" Paper_ID="/42065.html" Extracted="354065691X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540697322" Paper_ID="/42065.html" Extracted="3540697322" />
<identifier Org="ISBN:3540878025" Paper_ID="/42065.html" Extracted="3540878025" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
</rec>
<rec ID="/621552.html" Type="inproceedings" CiteSeer_Book="Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Hard problems for simple default logics,">
<identifier Org="ISBN:0198537476" Paper_ID="/621552.html" Extracted="0198537476" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262510596" Paper_ID="/621552.html" Extracted="0262510596" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262510987" Paper_ID="/621552.html" Extracted="0262510987" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262521687" Paper_ID="/621552.html" Extracted="0262521687" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262691779" Paper_ID="/621552.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0387564330" Paper_ID="/621552.html" Extracted="0387564330" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0898712963" Paper_ID="/621552.html" Extracted="0898712963" DDC="519.2" Normalized_DDC="5192" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1558604804" Paper_ID="/621552.html" Extracted="1558604804" />
<identifier Org="ISBN:3540213317" Paper_ID="/621552.html" Extracted="3540213317" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540560394" Paper_ID="/621552.html" Extracted="3540560394" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354057395X" Paper_ID="/621552.html" Extracted="354057395X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540604367" Paper_ID="/621552.html" Extracted="3540604367" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540614885" Paper_ID="/621552.html" Extracted="3540614885" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540632557" Paper_ID="/621552.html" Extracted="3540632557" DDC="006.3/36" Normalized_DDC="006336" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540660127" Paper_ID="/621552.html" Extracted="3540660127" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664955" Paper_ID="/621552.html" Extracted="3540664955" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540721991" Paper_ID="/621552.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:9051992580" Paper_ID="/621552.html" Extracted="9051992580" />
</rec>
<rec ID="/87107.html" Type="article" CiteSeer_Book="Journal of Computer and System Sciences" CiteSeer_Volume="48" Title="A Taxonomy of Complexity Classes of Functions,">
<identifier Org="ISBN:0262631806" Paper_ID="/87107.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0387949739" Paper_ID="/87107.html" Extracted="0387949739" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0780356853" Paper_ID="/87107.html" Extracted="0780356853" />
<identifier Org="ISBN:0792384504" Paper_ID="/87107.html" Extracted="0792384504" DDC="005.7" Normalized_DDC="0057" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0818640707" Paper_ID="/87107.html" Extracted="0818640707" />
<identifier Org="ISBN:0818656727" Paper_ID="/87107.html" Extracted="0818656727" DDC="004.015113" Normalized_DDC="004015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0818673877" Paper_ID="/87107.html" Extracted="0818673877" />
<identifier Org="ISBN:3540229361" Paper_ID="/87107.html" Extracted="3540229361" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540340211" Paper_ID="/87107.html" Extracted="3540340211" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540439609" Paper_ID="/87107.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540565035" Paper_ID="/87107.html" Extracted="3540565035" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540583254" Paper_ID="/87107.html" Extracted="3540583254" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540590420" Paper_ID="/87107.html" Extracted="3540590420" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540609229" Paper_ID="/87107.html" Extracted="3540609229" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540625925" Paper_ID="/87107.html" Extracted="3540625925" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540679014" Paper_ID="/87107.html" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Complexity Results for Default Reasoning from Conditional Knowledge. . .">
<identifier Org="ISBN:3540411313" Paper_ID="SELF" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540441905" Paper_ID="SELF" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.5" />
</rec>
</references_metadata>