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

Graph

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

www.000webhost.com