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

Graph

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

www.000webhost.com