Automatically assigned DDC number: 005115
Manually assigned DDC number: 005115
Number of references: 16
Title: Many-Valued First-Order Logics with Probabilistic Semantics
Author:
Subject: Thomas Lukasiewicz Many-Valued First-Order Logics with Probabilistic Semantics
Description: . We present n-valued first-order logics with a purely probabilistic semantics. We then introduce a new probabilistic semantics of n-valued first-order logics that lies between the purely probabilistic semantics and the truth-functional semantics of the n-valued / Lukasiewicz logics / Ln . Within this semantics, closed formulas of classical first-order logics that are logically equivalent in the classical sense also have the same truth value under all n-valued interpretations. Moreover, this semantics is shown to have interesting computational properties. More precisely, n-valued logical consequence in disjunctive logic programs with n-valued disjunctive facts can be reduced to classical logical consequence in n Gamma 1 layers of classical disjunctive logic programs. Moreover, we show that n-valued logic programs have a model and a fixpoint semantics that are very similar to those of classical logic programs. Finally, we show that some important deduction problems in n-valued logic ...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1999-05-31
Pubyear: 1998
Format: ps
Identifier: http://citeseer.ist.psu.edu/212070.html
Source: http://www.kr.tuwien.ac.at/staff/lukasiew/csl98.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="/48125.html" Type="article" CiteSeer_Book="Artificial Intelligence" CiteSeer_Volume="87" Title="From Statistical Knowledge Bases to Degrees of Belief,">
<identifier Org="ISBN:0262161680" Paper_ID="/48125.html" Extracted="0262161680" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0471976431" Paper_ID="/48125.html" Extracted="0471976431" DDC="519.5/4" Normalized_DDC="51954" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0521861977" Paper_ID="/48125.html" Extracted="0521861977" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0780370783" Paper_ID="/48125.html" Extracted="0780370783" />
<identifier Org="ISBN:0849331064" Paper_ID="/48125.html" Extracted="0849331064" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1402046308" Paper_ID="/48125.html" Extracted="1402046308" />
<identifier Org="ISBN:155860412X" Paper_ID="/48125.html" Extracted="155860412X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1558604855" Paper_ID="/48125.html" Extracted="1558604855" />
<identifier Org="ISBN:3540207678" Paper_ID="/48125.html" Extracted="3540207678" DDC="401.2" Normalized_DDC="4012" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540413529" Paper_ID="/48125.html" Extracted="3540413529" DDC="501" Normalized_DDC="501" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540728295" Paper_ID="/48125.html" Extracted="3540728295" />
<identifier Org="ISBN:3540733221" Paper_ID="/48125.html" Extracted="3540733221" DDC="670.285/63" Normalized_DDC="67028563" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540784683" Paper_ID="/48125.html" Extracted="3540784683" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3790814547" Paper_ID="/48125.html" Extracted="3790814547" />
</rec>
<rec ID="/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="/78969.html" Type="inproceedings" CiteSeer_Book="International Conference on Logic Programming" CiteSeer_Volume="" Title="Hybrid Probabilistic Programs,">
<identifier Org="ISBN:0791408744" Paper_ID="/78969.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1581133200" Paper_ID="/78969.html" Extracted="1581133200" />
<identifier Org="ISBN:1586034529" Paper_ID="/78969.html" Extracted="1586034529" />
<identifier Org="ISBN:3540000100" Paper_ID="/78969.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354020265X" Paper_ID="/78969.html" Extracted="354020265X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540226710" Paper_ID="/78969.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540232427" Paper_ID="/78969.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540243623" Paper_ID="/78969.html" Extracted="3540243623" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354029208X" Paper_ID="/78969.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540411313" Paper_ID="/78969.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540425934" Paper_ID="/78969.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540441905" Paper_ID="/78969.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540677976" Paper_ID="/78969.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540699112" Paper_ID="/78969.html" Extracted="3540699112" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540752552" Paper_ID="/78969.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540754075" Paper_ID="/78969.html" Extracted="3540754075" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540786511" Paper_ID="/78969.html" Extracted="3540786511" />
<identifier Org="ISBN:3540856560" Paper_ID="/78969.html" Extracted="3540856560" />
</rec>
<rec ID="/83266.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="87" Title="A Logic for Reasoning about Probabilities,">
<identifier Org="ISBN:0198537476" Paper_ID="/83266.html" Extracted="0198537476" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0792349520" Paper_ID="/83266.html" Extracted="0792349520" DDC="401" Normalized_DDC="401" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1586035363" Paper_ID="/83266.html" Extracted="1586035363" DDC="621.38928" Normalized_DDC="62138928" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540232427" Paper_ID="/83266.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540285385" Paper_ID="/83266.html" Extracted="3540285385" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540366679" Paper_ID="/83266.html" Extracted="3540366679" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540408010" Paper_ID="/83266.html" Extracted="3540408010" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540545638" Paper_ID="/83266.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540587152" Paper_ID="/83266.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540618147" Paper_ID="/83266.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354066131X" Paper_ID="/83266.html" Extracted="354066131X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540696180" Paper_ID="/83266.html" Extracted="3540696180" />
<identifier Org="ISBN:3540728295" Paper_ID="/83266.html" Extracted="3540728295" />
<identifier Org="ISBN:3540733221" Paper_ID="/83266.html" Extracted="3540733221" DDC="670.285/63" Normalized_DDC="67028563" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540752536" Paper_ID="/83266.html" Extracted="3540752536" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540752552" Paper_ID="/83266.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540754075" Paper_ID="/83266.html" Extracted="3540754075" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540926860" Paper_ID="/83266.html" Extracted="3540926860" />
</rec>
<rec ID="/255465.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="11" Title="Bilattices and the Semantics of Logic Programming,">
<identifier Org="ISBN:0198537921" Paper_ID="/255465.html" Extracted="0198537921" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262731053" Paper_ID="/255465.html" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0444516220" Paper_ID="/255465.html" Extracted="0444516220" DDC="160.9" Normalized_DDC="1609" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0792351614" Paper_ID="/255465.html" Extracted="0792351614" />
<identifier Org="ISBN:1402005830" Paper_ID="/255465.html" Extracted="1402005830" DDC="160" Normalized_DDC="16" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3110139944" Paper_ID="/255465.html" Extracted="3110139944" DDC="160" Normalized_DDC="16" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540000100" Paper_ID="/255465.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540226710" Paper_ID="/255465.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540243623" Paper_ID="/255465.html" Extracted="3540243623" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441905" Paper_ID="/255465.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540545638" Paper_ID="/255465.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540587152" Paper_ID="/255465.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540606882" Paper_ID="/255465.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540610553" Paper_ID="/255465.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540663290" Paper_ID="/255465.html" Extracted="3540663290" DDC="004/.01/5114" Normalized_DDC="004015114" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664084" Paper_ID="/255465.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540667490" Paper_ID="/255465.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540730982" Paper_ID="/255465.html" Extracted="3540730982" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:4274077241" Paper_ID="/255465.html" Extracted="4274077241" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/324043.html" Type="inproceedings" CiteSeer_Book="Proc LFCS92" CiteSeer_Volume="" Title="Many-Valued Modal Logics {II},">
<identifier Org="ISBN:0387557075" Paper_ID="/324043.html" Extracted="0387557075" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0387580956" Paper_ID="/324043.html" Extracted="0387580956" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0792359771" Paper_ID="/324043.html" Extracted="0792359771" DDC="160" Normalized_DDC="16" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1586038141" Paper_ID="/324043.html" Extracted="1586038141" />
<identifier Org="ISBN:3211854312" Paper_ID="/324043.html" Extracted="3211854312" />
<identifier Org="ISBN:3540218343" Paper_ID="/324043.html" Extracted="3540218343" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540228497" Paper_ID="/324043.html" Extracted="3540228497" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540424970" Paper_ID="/324043.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540434771" Paper_ID="/324043.html" Extracted="3540434771" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540440437" Paper_ID="/324043.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354063780X" Paper_ID="/324043.html" Extracted="354063780X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540644067" Paper_ID="/324043.html" Extracted="3540644067" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540662022" Paper_ID="/324043.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540678972" Paper_ID="/324043.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354092700X" Paper_ID="/324043.html" Extracted="354092700X" />
<identifier Org="ISBN:3790815411" Paper_ID="/324043.html" Extracted="3790815411" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:9053563563" Paper_ID="/324043.html" Extracted="9053563563" />
</rec>
<rec ID="/147065.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Exploiting Data Dependencies in Many-Valued Logics,">
<identifier Org="ISBN:0769521304" Paper_ID="/147065.html" Extracted="0769521304" />
<identifier Org="ISBN:0792356276" Paper_ID="/147065.html" Extracted="0792356276" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0792360095" Paper_ID="/147065.html" Extracted="0792360095" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0792362373" Paper_ID="/147065.html" Extracted="0792362373" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1586033786" Paper_ID="/147065.html" Extracted="1586033786" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540223452" Paper_ID="/147065.html" Extracted="3540223452" DDC="006.333" Normalized_DDC="006333" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540410945" Paper_ID="/147065.html" Extracted="3540410945" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540424644" Paper_ID="/147065.html" Extracted="3540424644" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540428631" Paper_ID="/147065.html" Extracted="3540428631" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540659226" Paper_ID="/147065.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354065965X" Paper_ID="/147065.html" Extracted="354065965X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354066131X" Paper_ID="/147065.html" Extracted="354066131X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540664920" Paper_ID="/147065.html" Extracted="3540664920" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540671900" Paper_ID="/147065.html" Extracted="3540671900" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3790813575" Paper_ID="/147065.html" Extracted="3790813575" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3790815411" Paper_ID="/147065.html" Extracted="3790815411" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/45004.html" Type="inproceedings" CiteSeer_Book="Proceedings of IJCAI89 11th International Joint Conference on Artificial Intelligence" CiteSeer_Volume="" Title="An analysis of first-order logics of probability,">
<identifier Org="ISBN:0198537476" Paper_ID="/45004.html" Extracted="0198537476" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0387580956" Paper_ID="/45004.html" Extracted="0387580956" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0521001013" Paper_ID="/45004.html" Extracted="0521001013" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792383028" Paper_ID="/45004.html" Extracted="0792383028" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0818619821" Paper_ID="/45004.html" Extracted="0818619821" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402002238" Paper_ID="/45004.html" Extracted="1402002238" DDC="519.5/42" Normalized_DDC="519542" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402056893" Paper_ID="/45004.html" Extracted="1402056893" DDC="378.469425" Normalized_DDC="378469425" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540232427" Paper_ID="/45004.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540253750" Paper_ID="/45004.html" Extracted="3540253750" DDC="570" Normalized_DDC="57" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354043481X" Paper_ID="/45004.html" Extracted="354043481X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540545638" Paper_ID="/45004.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540546596" Paper_ID="/45004.html" Extracted="3540546596" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540601120" Paper_ID="/45004.html" Extracted="3540601120" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540671005" Paper_ID="/45004.html" Extracted="3540671005" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540728295" Paper_ID="/45004.html" Extracted="3540728295" />
<identifier Org="ISBN:3540733221" Paper_ID="/45004.html" Extracted="3540733221" DDC="670.285/63" Normalized_DDC="67028563" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354077663X" Paper_ID="/45004.html" Extracted="354077663X" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.0625" />
</rec>
<rec ID="/241579.html" Type="inproceedings" CiteSeer_Book="Symposium on Logic Programming" CiteSeer_Volume="" Title="Probabilistic Deductive Databases,">
<identifier Org="ISBN:0824722981" Paper_ID="/241579.html" Extracted="0824722981" />
<identifier Org="ISBN:155860443X" Paper_ID="/241579.html" Extracted="155860443X" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1581133200" Paper_ID="/241579.html" Extracted="1581133200" />
<identifier Org="ISBN:1586034529" Paper_ID="/241579.html" Extracted="1586034529" />
<identifier Org="ISBN:354020265X" Paper_ID="/241579.html" Extracted="354020265X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540226710" Paper_ID="/241579.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540232427" Paper_ID="/241579.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540243623" Paper_ID="/241579.html" Extracted="3540243623" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540441905" Paper_ID="/241579.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540545638" Paper_ID="/241579.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540587152" Paper_ID="/241579.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540618147" Paper_ID="/241579.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540667490" Paper_ID="/241579.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540699112" Paper_ID="/241579.html" Extracted="3540699112" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540752552" Paper_ID="/241579.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540879927" Paper_ID="/241579.html" Extracted="3540879927" />
<identifier Org="ISBN:905199334X" Paper_ID="/241579.html" Extracted="905199334X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.07692307692307693" />
</rec>
<rec ID="/155392.html" Type="inproceedings" CiteSeer_Book="European Conference on Artificial Intelligence" CiteSeer_Volume="" Title="Probabilistic Logic Programming,">
<identifier Org="ISBN:0262541041" Paper_ID="/155392.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262560585" Paper_ID="/155392.html" Extracted="0262560585" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:026264035X" Paper_ID="/155392.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262691779" Paper_ID="/155392.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586034529" Paper_ID="/155392.html" Extracted="1586034529" />
<identifier Org="ISBN:3540000100" Paper_ID="/155392.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354020721X" Paper_ID="/155392.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540226710" Paper_ID="/155392.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354029208X" Paper_ID="/155392.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/155392.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540429352" Paper_ID="/155392.html" Extracted="3540429352" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540545638" Paper_ID="/155392.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540606882" Paper_ID="/155392.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540647384" Paper_ID="/155392.html" Extracted="3540647384" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540659226" Paper_ID="/155392.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540661093" Paper_ID="/155392.html" Extracted="3540661093" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540667490" Paper_ID="/155392.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540738460" Paper_ID="/155392.html" Extracted="3540738460" />
<identifier Org="ISBN:3540752552" Paper_ID="/155392.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540786511" Paper_ID="/155392.html" Extracted="3540786511" />
</rec>
<rec ID="/12616.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="12" Title="Theory of Generalized Annotated Logic Programming and its Applications,">
<identifier Org="ISBN:0262631733" Paper_ID="/12616.html" Extracted="0262631733" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:0262731053" Paper_ID="/12616.html" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:0791408744" Paper_ID="/12616.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:1586034529" Paper_ID="/12616.html" Extracted="1586034529" />
<identifier Org="ISBN:354000680X" Paper_ID="/12616.html" Extracted="354000680X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540007059" Paper_ID="/12616.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540243623" Paper_ID="/12616.html" Extracted="3540243623" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:354029208X" Paper_ID="/12616.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540425934" Paper_ID="/12616.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540429352" Paper_ID="/12616.html" Extracted="3540429352" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540437851" Paper_ID="/12616.html" Extracted="3540437851" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540439609" Paper_ID="/12616.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540441905" Paper_ID="/12616.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540584021" Paper_ID="/12616.html" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540587152" Paper_ID="/12616.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540618147" Paper_ID="/12616.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540667490" Paper_ID="/12616.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540668365" Paper_ID="/12616.html" Extracted="3540668365" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540677976" Paper_ID="/12616.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540730982" Paper_ID="/12616.html" Extracted="3540730982" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05263157894736842" />
</rec>
<rec ID="/143482.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Magic Inference Rules for Probabilistic Deduction under Taxonomic Knowledge,">
<identifier Org="ISBN:3540659226" Paper_ID="/143482.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="1.0" />
</rec>
<rec ID="/169401.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="101" Title="Probabilistic Logic Programming,">
<identifier Org="ISBN:0262541041" Paper_ID="/169401.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262560585" Paper_ID="/169401.html" Extracted="0262560585" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:026264035X" Paper_ID="/169401.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262691779" Paper_ID="/169401.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586034529" Paper_ID="/169401.html" Extracted="1586034529" />
<identifier Org="ISBN:3540000100" Paper_ID="/169401.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354020721X" Paper_ID="/169401.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540226710" Paper_ID="/169401.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354029208X" Paper_ID="/169401.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/169401.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540429352" Paper_ID="/169401.html" Extracted="3540429352" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540545638" Paper_ID="/169401.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540606882" Paper_ID="/169401.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540647384" Paper_ID="/169401.html" Extracted="3540647384" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540659226" Paper_ID="/169401.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540661093" Paper_ID="/169401.html" Extracted="3540661093" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540667490" Paper_ID="/169401.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540738460" Paper_ID="/169401.html" Extracted="3540738460" />
<identifier Org="ISBN:3540752552" Paper_ID="/169401.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540786511" Paper_ID="/169401.html" Extracted="3540786511" />
</rec>
<rec ID="/149855.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Eighth International Conference on Logic Programming" CiteSeer_Volume="" Title="A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases,">
<identifier Org="ISBN:0262072882" Paper_ID="/149855.html" Extracted="0262072882" DDC="006.3/1" Normalized_DDC="00631" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262731053" Paper_ID="/149855.html" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792383028" Paper_ID="/149855.html" Extracted="0792383028" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0824722981" Paper_ID="/149855.html" Extracted="0824722981" />
<identifier Org="ISBN:354020265X" Paper_ID="/149855.html" Extracted="354020265X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540226710" Paper_ID="/149855.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540334726" Paper_ID="/149855.html" Extracted="3540334726" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540414134" Paper_ID="/149855.html" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540545638" Paper_ID="/149855.html" Extracted="3540545638" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354055727X" Paper_ID="/149855.html" Extracted="354055727X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540587152" Paper_ID="/149855.html" Extracted="3540587152" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540618147" Paper_ID="/149855.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540637001" Paper_ID="/149855.html" Extracted="3540637001" DDC="410/.285" Normalized_DDC="410285" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540642641" Paper_ID="/149855.html" Extracted="3540642641" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354066131X" Paper_ID="/149855.html" Extracted="354066131X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540667490" Paper_ID="/149855.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540752552" Paper_ID="/149855.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540754075" Paper_ID="/149855.html" Extracted="3540754075" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/208414.html" Type="incollection" CiteSeer_Book="KR98 Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Probabilistic Deduction with Conditional Constraints over Basic Events,">
<identifier Org="ISBN:0792366727" Paper_ID="/208414.html" Extracted="0792366727" />
<identifier Org="ISBN:354020265X" Paper_ID="/208414.html" Extracted="354020265X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540404945" Paper_ID="/208414.html" Extracted="3540404945" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540424644" Paper_ID="/208414.html" Extracted="3540424644" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540441905" Paper_ID="/208414.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540659226" Paper_ID="/208414.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:354066131X" Paper_ID="/208414.html" Extracted="354066131X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540667490" Paper_ID="/208414.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540671005" Paper_ID="/208414.html" Extracted="3540671005" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540728295" Paper_ID="/208414.html" Extracted="3540728295" />
<identifier Org="ISBN:3540733221" Paper_ID="/208414.html" Extracted="3540733221" DDC="670.285/63" Normalized_DDC="67028563" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540786511" Paper_ID="/208414.html" Extracted="3540786511" />
<identifier Org="ISBN:3540850651" Paper_ID="/208414.html" Extracted="3540850651" />
<identifier Org="ISBN:3540856560" Paper_ID="/208414.html" Extracted="3540856560" />
<identifier Org="ISBN:3540879927" Paper_ID="/208414.html" Extracted="3540879927" />
</rec>
<rec ID="/38759.html" Type="inproceedings" CiteSeer_Book="Logic Programming and Nonmonotonic Reasoning" CiteSeer_Volume="" Title="Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs,">
<identifier Org="ISBN:0262540584" Paper_ID="/38759.html" Extracted="0262540584" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.25" />
<identifier Org="ISBN:0262640279" Paper_ID="/38759.html" Extracted="0262640279" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:3110139944" Paper_ID="/38759.html" Extracted="3110139944" DDC="160" Normalized_DDC="16" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540594671" Paper_ID="/38759.html" Extracted="3540594671" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.25" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Many-Valued First-Order Logics with Probabilistic Semantics">
<identifier Org="ISBN:0791408744" Paper_ID="SELF" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.2" />
<identifier Org="ISBN:354020265X" Paper_ID="SELF" Extracted="354020265X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540425934" Paper_ID="SELF" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540659226" Paper_ID="SELF" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540667490" Paper_ID="SELF" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540856560" Paper_ID="SELF" Extracted="3540856560" />
</rec>
</references_metadata>