Automatically assigned DDC number: 005115
Manually assigned DDC number: 005115
Number of references: 30
Title: On Updates of Logic Programs: Semantics and Properties
Author:
Author:
Author:
Author:
Author:
Subject: Abtg Wissensbasierte Systeme,Thomas Eiter,Michael Fink,Giuliana Sabbatini,Hans Tompits On Updates of Logic Programs: Semantics and Properties
Description: .In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new information is incorporated into the current knowledge base subject to a causal rejection principle, which enforces that, in case of conflicts between rules, more recent rules are preferred and older rules are overridden. Such a rejection principle is also exploited in other approaches to update logic programs, notably in the method of dynamic logic programming, due to Alferes et al. One of the central issues of this paper is a thorough analysis of various properties of the current approach, in order to get a better understanding of the inherent causal rejection principle. For this purpose, we review postulates and principles for update and revision operators which have been proposed in the area of theory change and nonmonotonic reasoning. Moreover, some new properties for approaches to updating logic progr...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2001-01-14
Pubyear: 2000
Format: ps
Identifier: http://citeseer.ist.psu.edu/438380.html
Source: ftp://ftp.kr.tuwien.ac.at/pub/tr/rr0008.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/199122.html" Type="inproceedings" CiteSeer_Book="NonMonotonic Extensions of Logic Programming" CiteSeer_Volume="" Title="Update-Programs Can Update Programs,">
<identifier Org="ISBN:0262600315" Paper_ID="/199122.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:158603278X" Paper_ID="/199122.html" Extracted="158603278X" />
<identifier Org="ISBN:3540412859" Paper_ID="/199122.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540439609" Paper_ID="/199122.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540628436" Paper_ID="/199122.html" Extracted="3540628436" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540649581" Paper_ID="/199122.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540659226" Paper_ID="/199122.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540667490" Paper_ID="/199122.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540671005" Paper_ID="/199122.html" Extracted="3540671005" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540677976" Paper_ID="/199122.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/344087.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1919" Title="Updates plus Preferences,">
<identifier Org="ISBN:0444506500" Paper_ID="/344087.html" Extracted="0444506500" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:158603278X" Paper_ID="/344087.html" Extracted="158603278X" />
<identifier Org="ISBN:3540000747" Paper_ID="/344087.html" Extracted="3540000747" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540003894" Paper_ID="/344087.html" Extracted="3540003894" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354000680X" Paper_ID="/344087.html" Extracted="354000680X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540205829" Paper_ID="/344087.html" Extracted="3540205829" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540205896" Paper_ID="/344087.html" Extracted="3540205896" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540209654" Paper_ID="/344087.html" Extracted="3540209654" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540226710" Paper_ID="/344087.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540232427" Paper_ID="/344087.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540411313" Paper_ID="/344087.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043030X" Paper_ID="/344087.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540430911" Paper_ID="/344087.html" Extracted="3540430911" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439609" Paper_ID="/344087.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540441905" Paper_ID="/344087.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540696180" Paper_ID="/344087.html" Extracted="3540696180" />
<identifier Org="ISBN:3540721991" Paper_ID="/344087.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/201232.html" Type="inproceedings" CiteSeer_Book="Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Dynamic Logic Programming,">
<identifier Org="ISBN:0262541041" Paper_ID="/201232.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262600315" Paper_ID="/201232.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0791408744" Paper_ID="/201232.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:158603278X" Paper_ID="/201232.html" Extracted="158603278X" />
<identifier Org="ISBN:1586033980" Paper_ID="/201232.html" Extracted="1586033980" />
<identifier Org="ISBN:3540000747" Paper_ID="/201232.html" Extracted="3540000747" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540001972" Paper_ID="/201232.html" Extracted="3540001972" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354020721X" Paper_ID="/201232.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354028060X" Paper_ID="/201232.html" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540307370" Paper_ID="/201232.html" Extracted="3540307370" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540412859" Paper_ID="/201232.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/201232.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043030X" Paper_ID="/201232.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540438580" Paper_ID="/201232.html" Extracted="3540438580" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439153" Paper_ID="/201232.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441905" Paper_ID="/201232.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540659226" Paper_ID="/201232.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540667490" Paper_ID="/201232.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540719555" Paper_ID="/201232.html" Extracted="3540719555" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/196344.html" Type="inproceedings" CiteSeer_Book="Logic Programming and Nonmonotonic Reasoning" CiteSeer_Volume="" Title="{LUPS} - A Language for Updating Logic Programs,">
<identifier Org="ISBN:0791408744" Paper_ID="/196344.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:158603278X" Paper_ID="/196344.html" Extracted="158603278X" />
<identifier Org="ISBN:3540007059" Paper_ID="/196344.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540205829" Paper_ID="/196344.html" Extracted="3540205829" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540205896" Paper_ID="/196344.html" Extracted="3540205896" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540238069" Paper_ID="/196344.html" Extracted="3540238069" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540307370" Paper_ID="/196344.html" Extracted="3540307370" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540410449" Paper_ID="/196344.html" Extracted="3540410449" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540411313" Paper_ID="/196344.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540425934" Paper_ID="/196344.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540429573" Paper_ID="/196344.html" Extracted="3540429573" DDC="005.11" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043030X" Paper_ID="/196344.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540438580" Paper_ID="/196344.html" Extracted="3540438580" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439153" Paper_ID="/196344.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540441905" Paper_ID="/196344.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540667490" Paper_ID="/196344.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540888322" Paper_ID="/196344.html" Extracted="3540888322" />
</rec>
<rec ID="/241719.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="45" Title="Dynamic updates of non-monotonic knowledge bases,">
<identifier Org="ISBN:0791408744" Paper_ID="/241719.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:158603278X" Paper_ID="/241719.html" Extracted="158603278X" />
<identifier Org="ISBN:3540000747" Paper_ID="/241719.html" Extracted="3540000747" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540003894" Paper_ID="/241719.html" Extracted="3540003894" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354000680X" Paper_ID="/241719.html" Extracted="354000680X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540007059" Paper_ID="/241719.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205829" Paper_ID="/241719.html" Extracted="3540205829" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205896" Paper_ID="/241719.html" Extracted="3540205896" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540238069" Paper_ID="/241719.html" Extracted="3540238069" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540298304" Paper_ID="/241719.html" Extracted="3540298304" DDC="511.3/22" Normalized_DDC="511322" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540307370" Paper_ID="/241719.html" Extracted="3540307370" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540410449" Paper_ID="/241719.html" Extracted="3540410449" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/241719.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540429573" Paper_ID="/241719.html" Extracted="3540429573" DDC="005.11" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043030X" Paper_ID="/241719.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540438580" Paper_ID="/241719.html" Extracted="3540438580" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439609" Paper_ID="/241719.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441905" Paper_ID="/241719.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540770003" Paper_ID="/241719.html" Extracted="3540770003" />
<identifier Org="ISBN:3540888322" Paper_ID="/241719.html" Extracted="3540888322" />
</rec>
<rec ID="/549986.html" Type="article" CiteSeer_Book="Journal of Logic Programming" CiteSeer_Volume="1920" Title="Logic Programming and Knowledge Representation,">
<identifier Org="ISBN:0198537921" Paper_ID="/549986.html" Extracted="0198537921" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0201142236" Paper_ID="/549986.html" Extracted="0201142236" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262600315" Paper_ID="/549986.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262631806" Paper_ID="/549986.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0521818028" Paper_ID="/549986.html" Extracted="0521818028" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0791408744" Paper_ID="/549986.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1402030916" Paper_ID="/549986.html" Extracted="1402030916" DDC="160" Normalized_DDC="16" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:158603278X" Paper_ID="/549986.html" Extracted="158603278X" />
<identifier Org="ISBN:354020721X" Paper_ID="/549986.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540226710" Paper_ID="/549986.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354028060X" Paper_ID="/549986.html" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425934" Paper_ID="/549986.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540618147" Paper_ID="/549986.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540649581" Paper_ID="/549986.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540671005" Paper_ID="/549986.html" Extracted="3540671005" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354071409X" Paper_ID="/549986.html" Extracted="354071409X" />
<identifier Org="ISBN:3540719555" Paper_ID="/549986.html" Extracted="3540719555" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540721991" Paper_ID="/549986.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540746080" Paper_ID="/549986.html" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540755586" Paper_ID="/549986.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/487846.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Declarative Representation of Revision Strategies,">
<identifier Org="ISBN:1586030132" Paper_ID="/487846.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540411313" Paper_ID="/487846.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540439609" Paper_ID="/487846.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540441905" Paper_ID="/487846.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.25" />
</rec>
<rec ID="/429721.html" Type="inproceedings" CiteSeer_Book="International Conference on Logic Programming" CiteSeer_Volume="" Title="Disjunctive Logic Programs with Inheritance,">
<identifier Org="ISBN:0262541041" Paper_ID="/429721.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0791408744" Paper_ID="/429721.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792372247" Paper_ID="/429721.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:158603278X" Paper_ID="/429721.html" Extracted="158603278X" />
<identifier Org="ISBN:1586036424" Paper_ID="/429721.html" Extracted="1586036424" />
<identifier Org="ISBN:354020721X" Paper_ID="/429721.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540209654" Paper_ID="/429721.html" Extracted="3540209654" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540226710" Paper_ID="/429721.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540232427" Paper_ID="/429721.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540238069" Paper_ID="/429721.html" Extracted="3540238069" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354028060X" Paper_ID="/429721.html" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540307370" Paper_ID="/429721.html" Extracted="3540307370" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540411313" Paper_ID="/429721.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540414134" Paper_ID="/429721.html" Extracted="3540414134" DDC="005" Normalized_DDC="005" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540425934" Paper_ID="/429721.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540437851" Paper_ID="/429721.html" Extracted="3540437851" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439595" Paper_ID="/429721.html" Extracted="3540439595" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:9812382615" Paper_ID="/429721.html" Extracted="9812382615" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
</rec>
<rec ID="/259270.html" Type="inproceedings" CiteSeer_Book="Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Default Reasoning System DeReS,">
<identifier Org="ISBN:0262510987" Paper_ID="/259270.html" Extracted="0262510987" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262511126" Paper_ID="/259270.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262541041" Paper_ID="/259270.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0791408744" Paper_ID="/259270.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792372247" Paper_ID="/259270.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354020721X" Paper_ID="/259270.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540226710" Paper_ID="/259270.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540404945" Paper_ID="/259270.html" Extracted="3540404945" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540425934" Paper_ID="/259270.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439293" Paper_ID="/259270.html" Extracted="3540439293" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439609" Paper_ID="/259270.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441905" Paper_ID="/259270.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540630953" Paper_ID="/259270.html" Extracted="3540630953" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540650822" Paper_ID="/259270.html" Extracted="3540650822" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540651411" Paper_ID="/259270.html" Extracted="3540651411" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540660127" Paper_ID="/259270.html" Extracted="3540660127" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
</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:0780342674" Paper_ID="/67035.html" Extracted="0780342674" DDC="511" Normalized_DDC="511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0791408744" Paper_ID="/67035.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792372247" Paper_ID="/67035.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0897919963" Paper_ID="/67035.html" Extracted="0897919963" />
<identifier Org="ISBN:3540209654" Paper_ID="/67035.html" Extracted="3540209654" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540229418" Paper_ID="/67035.html" Extracted="3540229418" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540238425" Paper_ID="/67035.html" Extracted="3540238425" DDC="006.74" Normalized_DDC="00674" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354029208X" Paper_ID="/67035.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN: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="/72591.html" Type="incollection" CiteSeer_Book="Proceedings of the fifth Conference on Theoretical Aspects of Reasoning about Knowledge" CiteSeer_Volume="" Title="On the Logic of Iterated Belief Revision,">
<identifier Org="ISBN:079237021X" Paper_ID="/72591.html" Extracted="079237021X" DDC="121/.6" Normalized_DDC="1216" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402001398" Paper_ID="/72591.html" Extracted="1402001398" DDC="160" Normalized_DDC="16" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1586030132" Paper_ID="/72591.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540075445" Paper_ID="/72591.html" Extracted="3540075445" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354020721X" Paper_ID="/72591.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540221174" Paper_ID="/72591.html" Extracted="3540221174" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540308180" Paper_ID="/72591.html" Extracted="3540308180" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540404945" Paper_ID="/72591.html" Extracted="3540404945" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540426019" Paper_ID="/72591.html" Extracted="3540426019" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540432205" Paper_ID="/72591.html" Extracted="3540432205" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354064993X" Paper_ID="/72591.html" Extracted="354064993X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540653058" Paper_ID="/72591.html" Extracted="3540653058" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540668225" Paper_ID="/72591.html" Extracted="3540668225" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540696180" Paper_ID="/72591.html" Extracted="3540696180" />
<identifier Org="ISBN:3540878025" Paper_ID="/72591.html" Extracted="3540878025" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:364202260X" Paper_ID="/72591.html" Extracted="364202260X" />
<identifier Org="ISBN:427490525X" Paper_ID="/72591.html" Extracted="427490525X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:9048124867" Paper_ID="/72591.html" Extracted="9048124867" />
<identifier Org="ISBN:9051993544" Paper_ID="/72591.html" Extracted="9051993544" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
</rec>
<rec ID="/668535.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Logic Programs with Compiled Preferences,">
<identifier Org="ISBN:0262511290" Paper_ID="/668535.html" Extracted="0262511290" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0444516239" Paper_ID="/668535.html" Extracted="0444516239" DDC="511.312" Normalized_DDC="511312" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0521818028" Paper_ID="/668535.html" Extracted="0521818028" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0791408744" Paper_ID="/668535.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1586030132" Paper_ID="/668535.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540209654" Paper_ID="/668535.html" Extracted="3540209654" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540258787" Paper_ID="/668535.html" Extracted="3540258787" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540411313" Paper_ID="/668535.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540425934" Paper_ID="/668535.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433244" Paper_ID="/668535.html" Extracted="3540433244" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540434720" Paper_ID="/668535.html" Extracted="3540434720" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439307" Paper_ID="/668535.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540663290" Paper_ID="/668535.html" Extracted="3540663290" DDC="004/.01/5114" Normalized_DDC="004015114" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540752552" Paper_ID="/668535.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:427490525X" Paper_ID="/668535.html" Extracted="427490525X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/333259.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="On the complexity of propositional knowledge base revision, updates, and counterfactuals,">
<identifier Org="ISBN:0262511126" Paper_ID="/333259.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0792351622" Paper_ID="/333259.html" Extracted="0792351622" />
<identifier Org="ISBN:0792381297" Paper_ID="/333259.html" Extracted="0792381297" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0897915194" Paper_ID="/333259.html" Extracted="0897915194" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:155860586X" Paper_ID="/333259.html" Extracted="155860586X" />
<identifier Org="ISBN:3540007059" Paper_ID="/333259.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540242600" Paper_ID="/333259.html" Extracted="3540242600" DDC="620.0045" Normalized_DDC="6200045" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540622225" Paper_ID="/333259.html" Extracted="3540622225" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540632557" Paper_ID="/333259.html" Extracted="3540632557" DDC="006.3/36" Normalized_DDC="006336" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540637923" Paper_ID="/333259.html" Extracted="3540637923" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540653058" Paper_ID="/333259.html" Extracted="3540653058" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540667490" Paper_ID="/333259.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540671412" Paper_ID="/333259.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354072981X" Paper_ID="/333259.html" Extracted="354072981X" />
<identifier Org="ISBN:3540886354" Paper_ID="/333259.html" Extracted="3540886354" />
<identifier Org="ISBN:3642029051" Paper_ID="/333259.html" Extracted="3642029051" />
</rec>
<rec ID="/455885.html" Type="article" CiteSeer_Book="Annals of Mathematics and Artificial Intelligence" CiteSeer_Volume="15" Title="On the Computational Cost of Disjunctive Logic Programming: Propositional Case,">
<identifier Org="ISBN:0262510952" Paper_ID="/455885.html" Extracted="0262510952" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792372247" Paper_ID="/455885.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792381297" Paper_ID="/455885.html" Extracted="0792381297" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354020721X" Paper_ID="/455885.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540226710" Paper_ID="/455885.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540242600" Paper_ID="/455885.html" Extracted="3540242600" DDC="620.0045" Normalized_DDC="6200045" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540262768" Paper_ID="/455885.html" Extracted="3540262768" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/455885.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540429603" Paper_ID="/455885.html" Extracted="3540429603" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043030X" Paper_ID="/455885.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540616306" Paper_ID="/455885.html" Extracted="3540616306" DDC="006.3/01/5113" Normalized_DDC="0063015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540635149" Paper_ID="/455885.html" Extracted="3540635149" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540659226" Paper_ID="/455885.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540721991" Paper_ID="/455885.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540746080" Paper_ID="/455885.html" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540746137" Paper_ID="/455885.html" Extracted="3540746137" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540755586" Paper_ID="/455885.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540939199" Paper_ID="/455885.html" Extracted="3540939199" />
</rec>
<rec ID="/53748.html" Type="inproceedings" CiteSeer_Book="Logic Programming and Nonmonotonic Reasoning" CiteSeer_Volume="" Title="A Deductive System for Non-Monotonic Reasoning,">
<identifier Org="ISBN:0262541041" Paper_ID="/53748.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0791408744" Paper_ID="/53748.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1558605665" Paper_ID="/53748.html" Extracted="1558605665" />
<identifier Org="ISBN:1581137052" Paper_ID="/53748.html" Extracted="1581137052" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586034529" Paper_ID="/53748.html" Extracted="1586034529" />
<identifier Org="ISBN:3540000100" Paper_ID="/53748.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540003894" Paper_ID="/53748.html" Extracted="3540003894" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540009574" Paper_ID="/53748.html" Extracted="3540009574" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540200479" Paper_ID="/53748.html" Extracted="3540200479" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/53748.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439307" Paper_ID="/53748.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439595" Paper_ID="/53748.html" Extracted="3540439595" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540654631" Paper_ID="/53748.html" Extracted="3540654631" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540659226" Paper_ID="/53748.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540667490" Paper_ID="/53748.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540671005" Paper_ID="/53748.html" Extracted="3540671005" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540673547" Paper_ID="/53748.html" Extracted="3540673547" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540797041" Paper_ID="/53748.html" Extracted="3540797041" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540899812" Paper_ID="/53748.html" Extracted="3540899812" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/408232.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="189" Title="Abduction from logic programs: semantics and complexity,">
<identifier Org="ISBN:0262541041" Paper_ID="/408232.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0780342674" Paper_ID="/408232.html" Extracted="0780342674" DDC="511" Normalized_DDC="511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0792372247" Paper_ID="/408232.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586034529" Paper_ID="/408232.html" Extracted="1586034529" />
<identifier Org="ISBN:1586038915" Paper_ID="/408232.html" Extracted="1586038915" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540201017" Paper_ID="/408232.html" Extracted="3540201017" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540232427" Paper_ID="/408232.html" Extracted="3540232427" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540426019" Paper_ID="/408232.html" Extracted="3540426019" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540441905" Paper_ID="/408232.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540632557" Paper_ID="/408232.html" Extracted="3540632557" DDC="006.3/36" Normalized_DDC="006336" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540650822" Paper_ID="/408232.html" Extracted="3540650822" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540660127" Paper_ID="/408232.html" Extracted="3540660127" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540667490" Paper_ID="/408232.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540677976" Paper_ID="/408232.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540887369" Paper_ID="/408232.html" Extracted="3540887369" />
<identifier Org="ISBN:3642009085" Paper_ID="/408232.html" Extracted="3642009085" DDC="003.5" Normalized_DDC="0035" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/5000.html" Type="inproceedings" CiteSeer_Book="IJCAI 1" CiteSeer_Volume="" Title="Towards Generalized Rule-based Updates,">
<identifier Org="ISBN:0262631806" Paper_ID="/5000.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.25" />
<identifier Org="ISBN:1558604804" Paper_ID="/5000.html" Extracted="1558604804" />
<identifier Org="ISBN:3540411313" Paper_ID="/5000.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540651381" Paper_ID="/5000.html" Extracted="3540651381" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540721991" Paper_ID="/5000.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.25" />
</rec>
<rec ID="/302704.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Fifth International Conference on Logic Programming" CiteSeer_Volume="" Title="The Stable Model Semantics for Logic Programming,">
<identifier Org="ISBN:0262541041" Paper_ID="/302704.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262560585" Paper_ID="/302704.html" Extracted="0262560585" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262631806" Paper_ID="/302704.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262660830" Paper_ID="/302704.html" Extracted="0262660830" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0791408744" Paper_ID="/302704.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586036424" Paper_ID="/302704.html" Extracted="1586036424" />
<identifier Org="ISBN:354020721X" Paper_ID="/302704.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540226710" Paper_ID="/302704.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354029208X" Paper_ID="/302704.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425934" Paper_ID="/302704.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540564543" Paper_ID="/302704.html" Extracted="3540564543" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584676" Paper_ID="/302704.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584951" Paper_ID="/302704.html" Extracted="3540584951" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540594671" Paper_ID="/302704.html" Extracted="3540594671" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540649581" Paper_ID="/302704.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657037" Paper_ID="/302704.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664084" Paper_ID="/302704.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540738460" Paper_ID="/302704.html" Extracted="3540738460" />
<identifier Org="ISBN:3540755586" Paper_ID="/302704.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:427490525X" Paper_ID="/302704.html" Extracted="427490525X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/4173.html" Type="article" CiteSeer_Book="New Generation Computing" CiteSeer_Volume="9" Title="Classical Negation in Logic Programs and Disjunctive Databases,">
<identifier Org="ISBN:0262620995" Paper_ID="/4173.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0262660830" Paper_ID="/4173.html" Extracted="0262660830" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0791408744" Paper_ID="/4173.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1558604804" Paper_ID="/4173.html" Extracted="1558604804" />
<identifier Org="ISBN:3110139944" Paper_ID="/4173.html" Extracted="3110139944" DDC="160" Normalized_DDC="16" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540000100" Paper_ID="/4173.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205829" Paper_ID="/4173.html" Extracted="3540205829" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354020721X" Paper_ID="/4173.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540307370" Paper_ID="/4173.html" Extracted="3540307370" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540425934" Paper_ID="/4173.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439595" Paper_ID="/4173.html" Extracted="3540439595" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540587926" Paper_ID="/4173.html" Extracted="3540587926" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540609830" Paper_ID="/4173.html" Extracted="3540609830" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540616306" Paper_ID="/4173.html" Extracted="3540616306" DDC="006.3/01/5113" Normalized_DDC="0063015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540618147" Paper_ID="/4173.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540628436" Paper_ID="/4173.html" Extracted="3540628436" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540649581" Paper_ID="/4173.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354071409X" Paper_ID="/4173.html" Extracted="354071409X" />
<identifier Org="ISBN:3540752552" Paper_ID="/4173.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/437722.html" Type="inproceedings" CiteSeer_Book="Logic Programming and Nonmonotonic Reasoning" CiteSeer_Volume="" Title="Updating Extended Logic Programs through Abduction,">
<identifier Org="ISBN:0791408744" Paper_ID="/437722.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:157735236X" Paper_ID="/437722.html" Extracted="157735236X" />
<identifier Org="ISBN:158603278X" Paper_ID="/437722.html" Extracted="158603278X" />
<identifier Org="ISBN:3540007059" Paper_ID="/437722.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354020721X" Paper_ID="/437722.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540238069" Paper_ID="/437722.html" Extracted="3540238069" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540307370" Paper_ID="/437722.html" Extracted="3540307370" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540410945" Paper_ID="/437722.html" Extracted="3540410945" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540411313" Paper_ID="/437722.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540425934" Paper_ID="/437722.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540429573" Paper_ID="/437722.html" Extracted="3540429573" DDC="005.11" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043030X" Paper_ID="/437722.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439307" Paper_ID="/437722.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439609" Paper_ID="/437722.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540667490" Paper_ID="/437722.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540677976" Paper_ID="/437722.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354075184X" Paper_ID="/437722.html" Extracted="354075184X" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540888322" Paper_ID="/437722.html" Extracted="3540888322" />
</rec>
<rec ID="/312553.html" Type="inproceedings" CiteSeer_Book="CL2000 Workshop on Computational Logic in MultiAgent Systems" CiteSeer_Volume="" Title="Multi-dimensional Dynamic Logic Programming,">
<identifier Org="ISBN:0444506500" Paper_ID="/312553.html" Extracted="0444506500" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0791408744" Paper_ID="/312553.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:158603278X" Paper_ID="/312553.html" Extracted="158603278X" />
<identifier Org="ISBN:1586036424" Paper_ID="/312553.html" Extracted="1586036424" />
<identifier Org="ISBN:3540003894" Paper_ID="/312553.html" Extracted="3540003894" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540205829" Paper_ID="/312553.html" Extracted="3540205829" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354028060X" Paper_ID="/312553.html" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540411313" Paper_ID="/312553.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540425934" Paper_ID="/312553.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354043030X" Paper_ID="/312553.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540438580" Paper_ID="/312553.html" Extracted="3540438580" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540439609" Paper_ID="/312553.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540719555" Paper_ID="/312553.html" Extracted="3540719555" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/215028.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1471" Title="Generalizing Updates: From Models to Programs,">
<identifier Org="ISBN:0262600315" Paper_ID="/215028.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0262631806" Paper_ID="/215028.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0444506500" Paper_ID="/215028.html" Extracted="0444506500" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:158603278X" Paper_ID="/215028.html" Extracted="158603278X" />
<identifier Org="ISBN:3540007059" Paper_ID="/215028.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354020721X" Paper_ID="/215028.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540238069" Paper_ID="/215028.html" Extracted="3540238069" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540253041" Paper_ID="/215028.html" Extracted="3540253041" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354028060X" Paper_ID="/215028.html" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540412859" Paper_ID="/215028.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354043030X" Paper_ID="/215028.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439609" Paper_ID="/215028.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540649581" Paper_ID="/215028.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354070826X" Paper_ID="/215028.html" Extracted="354070826X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540719555" Paper_ID="/215028.html" Extracted="3540719555" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/49484.html" Type="inproceedings" CiteSeer_Book="International Conference on Logic Programming" CiteSeer_Volume="" Title="Splitting a Logic Program,">
<identifier Org="ISBN:0262510952" Paper_ID="/49484.html" Extracted="0262510952" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262631806" Paper_ID="/49484.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0791408744" Paper_ID="/49484.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0792372247" Paper_ID="/49484.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586036424" Paper_ID="/49484.html" Extracted="1586036424" />
<identifier Org="ISBN:1586038141" Paper_ID="/49484.html" Extracted="1586038141" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354020721X" Paper_ID="/49484.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540221522" Paper_ID="/49484.html" Extracted="3540221522" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540226710" Paper_ID="/49484.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540242880" Paper_ID="/49484.html" Extracted="3540242880" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354029208X" Paper_ID="/49484.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540422196" Paper_ID="/49484.html" Extracted="3540422196" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441905" Paper_ID="/49484.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584676" Paper_ID="/49484.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540632557" Paper_ID="/49484.html" Extracted="3540632557" DDC="006.3/36" Normalized_DDC="006336" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540649581" Paper_ID="/49484.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657657" Paper_ID="/49484.html" Extracted="3540657657" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540721991" Paper_ID="/49484.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540746080" Paper_ID="/49484.html" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/223567.html" Type="incollection" CiteSeer_Book="Logics in Artificial Intelligence" CiteSeer_Volume="" Title="Revision Specifications by Means of Programs,">
<identifier Org="ISBN:0262600315" Paper_ID="/223567.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0262611023" Paper_ID="/223567.html" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0791408744" Paper_ID="/223567.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:158603278X" Paper_ID="/223567.html" Extracted="158603278X" />
<identifier Org="ISBN:3540411313" Paper_ID="/223567.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540425934" Paper_ID="/223567.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540429573" Paper_ID="/223567.html" Extracted="3540429573" DDC="005.11" Normalized_DDC="00511" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354043030X" Paper_ID="/223567.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439609" Paper_ID="/223567.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540583327" Paper_ID="/223567.html" Extracted="3540583327" DDC="006.3/01/5113" Normalized_DDC="0063015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540628436" Paper_ID="/223567.html" Extracted="3540628436" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540649581" Paper_ID="/223567.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540659226" Paper_ID="/223567.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540667490" Paper_ID="/223567.html" Extracted="3540667490" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540878025" Paper_ID="/223567.html" Extracted="3540878025" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/111024.html" Type="inproceedings" CiteSeer_Book="Principles of Knowledge Representation and Reasoning Proceedings of the 2nd International Conference" CiteSeer_Volume="" Title="Belief Revision and Default Reasoning: Syntax-Based Approaches,">
<identifier Org="ISBN:0198537476" Paper_ID="/111024.html" Extracted="0198537476" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262510715" Paper_ID="/111024.html" Extracted="0262510715" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262611023" Paper_ID="/111024.html" Extracted="0262611023" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0521545641" Paper_ID="/111024.html" Extracted="0521545641" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792351622" Paper_ID="/111024.html" Extracted="0792351622" />
<identifier Org="ISBN:079237021X" Paper_ID="/111024.html" Extracted="079237021X" DDC="121/.6" Normalized_DDC="1216" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0805818030" Paper_ID="/111024.html" Extracted="0805818030" DDC="153" Normalized_DDC="153" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0805829415" Paper_ID="/111024.html" Extracted="0805829415" />
<identifier Org="ISBN:1586030132" Paper_ID="/111024.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424644" Paper_ID="/111024.html" Extracted="3540424644" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354055887X" Paper_ID="/111024.html" Extracted="354055887X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540583327" Paper_ID="/111024.html" Extracted="3540583327" DDC="006.3/01/5113" Normalized_DDC="0063015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540615326" Paper_ID="/111024.html" Extracted="3540615326" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540616306" Paper_ID="/111024.html" Extracted="3540616306" DDC="006.3/01/5113" Normalized_DDC="0063015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540622225" Paper_ID="/111024.html" Extracted="3540622225" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540630953" Paper_ID="/111024.html" Extracted="3540630953" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540668225" Paper_ID="/111024.html" Extracted="3540668225" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540671412" Paper_ID="/111024.html" Extracted="3540671412" DDC="004.01511" Normalized_DDC="00401511" Normalized_Weight="0.0625" />
</rec>
<rec ID="/93843.html" Type="inproceedings" CiteSeer_Book="Joint International Conference and Symposium on Logic Programming" CiteSeer_Volume="" Title="Efficient Implementation of the Well-founded and Stable Model Semantics,">
<identifier Org="ISBN:0262541041" Paper_ID="/93843.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05" />
<identifier Org="ISBN:0262631733" Paper_ID="/93843.html" Extracted="0262631733" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05" />
<identifier Org="ISBN:0262631806" Paper_ID="/93843.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05" />
<identifier Org="ISBN:0444508120" Paper_ID="/93843.html" Extracted="0444508120" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05" />
<identifier Org="ISBN:0791408744" Paper_ID="/93843.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.05" />
<identifier Org="ISBN:0792372247" Paper_ID="/93843.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05" />
<identifier Org="ISBN:1402030916" Paper_ID="/93843.html" Extracted="1402030916" DDC="160" Normalized_DDC="16" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540140409" Paper_ID="/93843.html" Extracted="3540140409" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:354020721X" Paper_ID="/93843.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540250514" Paper_ID="/93843.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540298304" Paper_ID="/93843.html" Extracted="3540298304" DDC="511.3/22" Normalized_DDC="511322" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540425934" Paper_ID="/93843.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540440402" Paper_ID="/93843.html" Extracted="3540440402" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540628436" Paper_ID="/93843.html" Extracted="3540628436" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540643567" Paper_ID="/93843.html" Extracted="3540643567" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540649581" Paper_ID="/93843.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540650121" Paper_ID="/93843.html" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05" />
<identifier Org="ISBN:354065965X" Paper_ID="/93843.html" Extracted="354065965X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540671005" Paper_ID="/93843.html" Extracted="3540671005" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540677976" Paper_ID="/93843.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05" />
</rec>
<rec ID="/150122.html" Type="inproceedings" CiteSeer_Book="Logic Programming and Nonmonotonic Reasoning" CiteSeer_Volume="" Title="{XSB}: A System for Effciently Computing {WFS},">
<identifier Org="ISBN:3540417680" Paper_ID="/150122.html" Extracted="3540417680" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.5" />
<identifier Org="ISBN:354072981X" Paper_ID="/150122.html" Extracted="354072981X" />
<identifier Org="ISBN:3540746080" Paper_ID="/150122.html" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.5" />
</rec>
<rec ID="/434535.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Computational Logic and Multiagent Systems: a Roadmap,">
<identifier Org="ISBN:1402080573" Paper_ID="/434535.html" Extracted="1402080573" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:158603278X" Paper_ID="/434535.html" Extracted="158603278X" />
<identifier Org="ISBN:354000680X" Paper_ID="/434535.html" Extracted="354000680X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540205896" Paper_ID="/434535.html" Extracted="3540205896" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540411313" Paper_ID="/434535.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354043030X" Paper_ID="/434535.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540438580" Paper_ID="/434535.html" Extracted="3540438580" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540439153" Paper_ID="/434535.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/116523.html" Type="article" CiteSeer_Book="Journal of the ACM" CiteSeer_Volume="38" Title="The Well-Founded Semantics for General Logic Programs,">
<identifier Org="ISBN:0262541041" Paper_ID="/116523.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262631733" Paper_ID="/116523.html" Extracted="0262631733" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262731053" Paper_ID="/116523.html" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0387580956" Paper_ID="/116523.html" Extracted="0387580956" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0791408744" Paper_ID="/116523.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1558604804" Paper_ID="/116523.html" Extracted="1558604804" />
<identifier Org="ISBN:3540000100" Paper_ID="/116523.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354029208X" Paper_ID="/116523.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425934" Paper_ID="/116523.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354055727X" Paper_ID="/116523.html" Extracted="354055727X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584951" Paper_ID="/116523.html" Extracted="3540584951" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540594671" Paper_ID="/116523.html" Extracted="3540594671" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540622225" Paper_ID="/116523.html" Extracted="3540622225" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540664084" Paper_ID="/116523.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540677976" Paper_ID="/116523.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540721991" Paper_ID="/116523.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540752552" Paper_ID="/116523.html" Extracted="3540752552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:4274077241" Paper_ID="/116523.html" Extracted="4274077241" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:427490525X" Paper_ID="/116523.html" Extracted="427490525X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/63523.html" Type="inproceedings" CiteSeer_Book="European Conference on Artificial Intelligence" CiteSeer_Volume="" Title="Updating Logic Programs,">
<identifier Org="ISBN:0262541041" Paper_ID="/63523.html" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0262600315" Paper_ID="/63523.html" Extracted="0262600315" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0791408744" Paper_ID="/63523.html" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.0625" />
<identifier Org="ISBN:158603278X" Paper_ID="/63523.html" Extracted="158603278X" />
<identifier Org="ISBN:3540007059" Paper_ID="/63523.html" Extracted="3540007059" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354020721X" Paper_ID="/63523.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540238069" Paper_ID="/63523.html" Extracted="3540238069" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540307370" Paper_ID="/63523.html" Extracted="3540307370" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540411313" Paper_ID="/63523.html" Extracted="3540411313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540425934" Paper_ID="/63523.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540429573" Paper_ID="/63523.html" Extracted="3540429573" DDC="005.11" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354043030X" Paper_ID="/63523.html" Extracted="354043030X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439153" Paper_ID="/63523.html" Extracted="3540439153" DDC="005.1/5" Normalized_DDC="00515" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439609" Paper_ID="/63523.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540568042" Paper_ID="/63523.html" Extracted="3540568042" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540659226" Paper_ID="/63523.html" Extracted="3540659226" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540721991" Paper_ID="/63523.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540888322" Paper_ID="/63523.html" Extracted="3540888322" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="On Updates of Logic Programs: Semantics and Properties">
<identifier Org="ISBN:0791408744" Paper_ID="SELF" Extracted="0791408744" DDC="375/.0083" Normalized_DDC="3750083" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:354028060X" Paper_ID="SELF" Extracted="354028060X" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540425934" Paper_ID="SELF" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.3333333333333333" />
</rec>
</references_metadata>