Automatically assigned DDC number: 00633

Manually assigned DDC number: 00633

Number of references: 28

Title: The Role of Abduction in Logic Programming

Author:

Author:

Author:

Subject: A. C. Kakas,R. A. Kowalski,F. Toni The Role of Abduction in Logic Programming

Description: This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). It updates the earlier paper "Abductive Logic Programming" [88]. We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; we describe the argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure, introduced in the earlier version [88] of this paper; and we present recent work on the generalisation of the argumentation-theoretic approach to provide a framework for default reasoning in general. We also analyse the links between Abduction and Constraint Logic Programming, as well as between Abduction and the extension of Logic Programming obtained by adding a form of explicit negation. Finally we discuss the relation between Abduction and Truth Maintenance. Contents 1 Introduction 3 1.1 Abduction in logic . . . . . . . . . . ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1999-01-18

Pubyear: 1998

Format: ps

Identifier: http://citeseer.ist.psu.edu/57354.html

Source: http://www-lp.doc.ic.ac.uk/_lp/Kowalski/mod-survey.ps.Z

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:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/44423.html"   Type="inproceedings"   CiteSeer_Book="European   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Top-Down   Query   Evaluation   for   Well-Founded   Semantics   with   Explicit   Negation,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/44423.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262620995"   Paper_ID="/44423.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/44423.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792381424"   Paper_ID="/44423.html"   Extracted="0792381424"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540583327"   Paper_ID="/44423.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/44423.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540584951"   Paper_ID="/44423.html"   Extracted="3540584951"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540614885"   Paper_ID="/44423.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540625070"   Paper_ID="/44423.html"   Extracted="3540625070"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/44423.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540635866"   Paper_ID="/44423.html"   Extracted="3540635866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/360779.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   and   Nonmonotonic   Reasoning"   CiteSeer_Volume=""   Title="Scenario   Semantics   of   Extended   Logic   Programs,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/360779.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0262620995"   Paper_ID="/360779.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/360779.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/360779.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1586036521"   Paper_ID="/360779.html"   Extracted="1586036521"   DDC="006.301/13"   Normalized_DDC="00630113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540580255"   Paper_ID="/360779.html"   Extracted="3540580255"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540583327"   Paper_ID="/360779.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/360779.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/360779.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540614885"   Paper_ID="/360779.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/200332.html"   Type="inproceedings"   CiteSeer_Book="NonMonotonic   Extensions   of   Logic   Programming"   CiteSeer_Volume=""   Title="An   Argumentation   Theoretic   Semantics   Based   on   Non-Refutable   Falsity,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/200332.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1402030916"   Paper_ID="/200332.html"   Extracted="1402030916"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3110139944"   Paper_ID="/200332.html"   Extracted="3110139944"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/200332.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/200332.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540614885"   Paper_ID="/200332.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/200332.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354070826X"   Paper_ID="/200332.html"   Extracted="354070826X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540755586"   Paper_ID="/200332.html"   Extracted="3540755586"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

      </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:0444516239"   Paper_ID="/549986.html"   Extracted="0444516239"   DDC="511.312"   Normalized_DDC="511312"   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:3540281770"   Paper_ID="/549986.html"   Extracted="3540281770"   DDC="005.1/15"   Normalized_DDC="005115"   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: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: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"   />

            <identifier   Org="ISBN:3540899812"   Paper_ID="/549986.html"   Extracted="3540899812"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/135222.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   Second   International   Workshop   on   Logic   Programming   and   NonMonotonic   Reasoning"   CiteSeer_Volume=""   Title="An   Assumption-Based   Framework   for   Non-Monotonic   Reasoning,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/135222.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0198538537"   Paper_ID="/135222.html"   Extracted="0198538537"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262541041"   Paper_ID="/135222.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/135222.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/135222.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792344138"   Paper_ID="/135222.html"   Extracted="0792344138"   DDC="340/.1"   Normalized_DDC="3401"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540285385"   Paper_ID="/135222.html"   Extracted="3540285385"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540604286"   Paper_ID="/135222.html"   Extracted="3540604286"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540609393"   Paper_ID="/135222.html"   Extracted="3540609393"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540627189"   Paper_ID="/135222.html"   Extracted="3540627189"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/135222.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/135222.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540899812"   Paper_ID="/135222.html"   Extracted="3540899812"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/376649.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="1"   Title="On   the   Relationship   between   Abduction   and   Deduction,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/376649.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/376649.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0521259894"   Paper_ID="/376649.html"   Extracted="0521259894"   DDC="550/.1"   Normalized_DDC="5501"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/376649.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:1558604804"   Paper_ID="/376649.html"   Extracted="1558604804"   />

            <identifier   Org="ISBN:3540317821"   Paper_ID="/376649.html"   Extracted="3540317821"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540408010"   Paper_ID="/376649.html"   Extracted="3540408010"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540426019"   Paper_ID="/376649.html"   Extracted="3540426019"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/376649.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540508201"   Paper_ID="/376649.html"   Extracted="3540508201"   />

            <identifier   Org="ISBN:3540547126"   Paper_ID="/376649.html"   Extracted="3540547126"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="/376649.html"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540604367"   Paper_ID="/376649.html"   Extracted="3540604367"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/376649.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/376649.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/376649.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/376649.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/460354.html"   Type="inproceedings"   CiteSeer_Book="European   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Temporal   Reasoning   with   Abductive   Event   Calculus,">

            <identifier   Org="ISBN:0123693888"   Paper_ID="/460354.html"   Extracted="0123693888"   DDC="153.4/3"   Normalized_DDC="15343"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0198537921"   Paper_ID="/460354.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262193841"   Paper_ID="/460354.html"   Extracted="0262193841"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/460354.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/460354.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/460354.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0387887741"   Paper_ID="/460354.html"   Extracted="0387887741"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0444514937"   Paper_ID="/460354.html"   Extracted="0444514937"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0444816933"   Paper_ID="/460354.html"   Extracted="0444816933"   DDC="410/.1/51"   Normalized_DDC="410151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540300171"   Paper_ID="/460354.html"   Extracted="3540300171"   />

            <identifier   Org="ISBN:3540426124"   Paper_ID="/460354.html"   Extracted="3540426124"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439609"   Paper_ID="/460354.html"   Extracted="3540439609"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354058241X"   Paper_ID="/460354.html"   Extracted="354058241X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/460354.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/460354.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540635866"   Paper_ID="/460354.html"   Extracted="3540635866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540636145"   Paper_ID="/460354.html"   Extracted="3540636145"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/460354.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:9051991533"   Paper_ID="/460354.html"   Extracted="9051991533"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/559756.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Joint   International   Conference   and   Symposium   on   Logic   Programming"   CiteSeer_Volume=""   Title="{SLDNFA}:   An   Abductive   Procedure   for   Normal   Abductive   Programs,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/559756.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/559756.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/559756.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0444516239"   Paper_ID="/559756.html"   Extracted="0444516239"   DDC="511.312"   Normalized_DDC="511312"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0791408744"   Paper_ID="/559756.html"   Extracted="0791408744"   DDC="375/.0083"   Normalized_DDC="3750083"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792362500"   Paper_ID="/559756.html"   Extracted="0792362500"   DDC="161"   Normalized_DDC="161"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1577353684"   Paper_ID="/559756.html"   Extracted="1577353684"   />

            <identifier   Org="ISBN:354020119X"   Paper_ID="/559756.html"   Extracted="354020119X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540240101"   Paper_ID="/559756.html"   Extracted="3540240101"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540442774"   Paper_ID="/559756.html"   Extracted="3540442774"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="/559756.html"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/559756.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540616306"   Paper_ID="/559756.html"   Extracted="3540616306"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3642009085"   Paper_ID="/559756.html"   Extracted="3642009085"   DDC="003.5"   Normalized_DDC="0035"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3642020496"   Paper_ID="/559756.html"   Extracted="3642020496"   />

            <identifier   Org="ISBN:9051992424"   Paper_ID="/559756.html"   Extracted="9051992424"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/459389.html"   Type="inproceedings"   CiteSeer_Book="International   Logic   Programming   Symposium"   CiteSeer_Volume=""   Title="Representing   Incomplete   Knowledge   in   Abductive   Logic   Programming,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/459389.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262193841"   Paper_ID="/459389.html"   Extracted="0262193841"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262631733"   Paper_ID="/459389.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/459389.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/459389.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/459389.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792355350"   Paper_ID="/459389.html"   Extracted="0792355350"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540240101"   Paper_ID="/459389.html"   Extracted="3540240101"   DDC="004/.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540413855"   Paper_ID="/459389.html"   Extracted="3540413855"   DDC="510   s"   Normalized_DDC="51"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540426019"   Paper_ID="/459389.html"   Extracted="3540426019"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="/459389.html"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/459389.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/459389.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/459389.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/459389.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/459389.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540667490"   Paper_ID="/459389.html"   Extracted="3540667490"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540674551"   Paper_ID="/459389.html"   Extracted="3540674551"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/126485.html"   Type="incollection"   CiteSeer_Book="KR91   Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Rational   Belief   Revision,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/126485.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0199275750"   Paper_ID="/126485.html"   Extracted="0199275750"   DDC="121/.4"   Normalized_DDC="1214"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262133423"   Paper_ID="/126485.html"   Extracted="0262133423"   DDC="001.42/01/5118"   Normalized_DDC="00142015118"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0521545641"   Paper_ID="/126485.html"   Extracted="0521545641"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0521861977"   Paper_ID="/126485.html"   Extracted="0521861977"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0792343832"   Paper_ID="/126485.html"   Extracted="0792343832"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0792351622"   Paper_ID="/126485.html"   Extracted="0792351622"   />

            <identifier   Org="ISBN:0792353277"   Paper_ID="/126485.html"   Extracted="0792353277"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1558601643"   Paper_ID="/126485.html"   Extracted="1558601643"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540308180"   Paper_ID="/126485.html"   Extracted="3540308180"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354055887X"   Paper_ID="/126485.html"   Extracted="354055887X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540584676"   Paper_ID="/126485.html"   Extracted="3540584676"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540615326"   Paper_ID="/126485.html"   Extracted="3540615326"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540886354"   Paper_ID="/126485.html"   Extracted="3540886354"   />

            <identifier   Org="ISBN:3540887369"   Paper_ID="/126485.html"   Extracted="3540887369"   />

            <identifier   Org="ISBN:3642029051"   Paper_ID="/126485.html"   Extracted="3642029051"   />

      </rec>

      <rec   ID="/129153.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   in   Action"   CiteSeer_Volume=""   Title="{Constraint   Logic   Programming},">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/129153.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262023539"   Paper_ID="/129153.html"   Extracted="0262023539"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0262541041"   Paper_ID="/129153.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540194266"   Paper_ID="/129153.html"   Extracted="3540194266"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540429352"   Paper_ID="/129153.html"   Extracted="3540429352"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540531629"   Paper_ID="/129153.html"   Extracted="3540531629"   />

            <identifier   Org="ISBN:354055873X"   Paper_ID="/129153.html"   Extracted="354055873X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540559302"   Paper_ID="/129153.html"   Extracted="3540559302"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540578803"   Paper_ID="/129153.html"   Extracted="3540578803"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540586016"   Paper_ID="/129153.html"   Extracted="3540586016"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540609830"   Paper_ID="/129153.html"   Extracted="3540609830"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540612866"   Paper_ID="/129153.html"   Extracted="3540612866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/129153.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/129153.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540676236"   Paper_ID="/129153.html"   Extracted="3540676236"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="/129153.html"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9810214561"   Paper_ID="/129153.html"   Extracted="9810214561"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/333965.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="2"   Title="Abductive   Logic   Programming,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/333965.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262541041"   Paper_ID="/333965.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/333965.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/333965.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0444516239"   Paper_ID="/333965.html"   Extracted="0444516239"   DDC="511.312"   Normalized_DDC="511312"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/333965.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:1586036424"   Paper_ID="/333965.html"   Extracted="1586036424"   />

            <identifier   Org="ISBN:3540201017"   Paper_ID="/333965.html"   Extracted="3540201017"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/333965.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="/333965.html"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354028060X"   Paper_ID="/333965.html"   Extracted="354028060X"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540281770"   Paper_ID="/333965.html"   Extracted="3540281770"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/333965.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584315"   Paper_ID="/333965.html"   Extracted="3540584315"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/333965.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540616306"   Paper_ID="/333965.html"   Extracted="3540616306"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/333965.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/333965.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540649581"   Paper_ID="/333965.html"   Extracted="3540649581"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/333965.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/149671.html"   Type="inproceedings"   CiteSeer_Book="Principles   of   Knowledge   Representation   and   Reasoning   Proceedings   of   the   1st   International   Conference"   CiteSeer_Volume=""   Title="A   Knowledge   Level   Analysis   of   Belief   Revision,">

            <identifier   Org="ISBN:0387572872"   Paper_ID="/149671.html"   Extracted="0387572872"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:044451726X"   Paper_ID="/149671.html"   Extracted="044451726X"   />

            <identifier   Org="ISBN:0521545641"   Paper_ID="/149671.html"   Extracted="0521545641"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792351622"   Paper_ID="/149671.html"   Extracted="0792351622"   />

            <identifier   Org="ISBN:079237021X"   Paper_ID="/149671.html"   Extracted="079237021X"   DDC="121/.6"   Normalized_DDC="1216"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402016050"   Paper_ID="/149671.html"   Extracted="1402016050"   DDC="121/.092"   Normalized_DDC="121092"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586036459"   Paper_ID="/149671.html"   Extracted="1586036459"   />

            <identifier   Org="ISBN:1599048434"   Paper_ID="/149671.html"   Extracted="1599048434"   DDC="658.4/03"   Normalized_DDC="658403"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540075445"   Paper_ID="/149671.html"   Extracted="3540075445"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043030X"   Paper_ID="/149671.html"   Extracted="354043030X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354055887X"   Paper_ID="/149671.html"   Extracted="354055887X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540583327"   Paper_ID="/149671.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/149671.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617329"   Paper_ID="/149671.html"   Extracted="3540617329"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540637923"   Paper_ID="/149671.html"   Extracted="3540637923"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354064993X"   Paper_ID="/149671.html"   Extracted="354064993X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/149671.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540668225"   Paper_ID="/149671.html"   Extracted="3540668225"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

      </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.07692307692307693"   />

            <identifier   Org="ISBN:0262510715"   Paper_ID="/111024.html"   Extracted="0262510715"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262611023"   Paper_ID="/111024.html"   Extracted="0262611023"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0521545641"   Paper_ID="/111024.html"   Extracted="0521545641"   DDC="006.33"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792366727"   Paper_ID="/111024.html"   Extracted="0792366727"   />

            <identifier   Org="ISBN:079237021X"   Paper_ID="/111024.html"   Extracted="079237021X"   DDC="121/.6"   Normalized_DDC="1216"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0805829415"   Paper_ID="/111024.html"   Extracted="0805829415"   />

            <identifier   Org="ISBN:1558602585"   Paper_ID="/111024.html"   Extracted="1558602585"   />

            <identifier   Org="ISBN:1577353684"   Paper_ID="/111024.html"   Extracted="1577353684"   />

            <identifier   Org="ISBN:1586030132"   Paper_ID="/111024.html"   Extracted="1586030132"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540424644"   Paper_ID="/111024.html"   Extracted="3540424644"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354055887X"   Paper_ID="/111024.html"   Extracted="354055887X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540612866"   Paper_ID="/111024.html"   Extracted="3540612866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540615326"   Paper_ID="/111024.html"   Extracted="3540615326"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540616306"   Paper_ID="/111024.html"   Extracted="3540616306"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540630953"   Paper_ID="/111024.html"   Extracted="3540630953"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540668225"   Paper_ID="/111024.html"   Extracted="3540668225"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/209669.html"   Type="inproceedings"   CiteSeer_Book="Logic   at   Work"   CiteSeer_Volume=""   Title="Contradiction   Removal   Semantics   with   Explicit   Negation,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/209669.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/209669.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/209669.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0387572872"   Paper_ID="/209669.html"   Extracted="0387572872"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0387580956"   Paper_ID="/209669.html"   Extracted="0387580956"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0387582169"   Paper_ID="/209669.html"   Extracted="0387582169"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792381424"   Paper_ID="/209669.html"   Extracted="0792381424"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540580255"   Paper_ID="/209669.html"   Extracted="3540580255"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540604286"   Paper_ID="/209669.html"   Extracted="3540604286"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540614885"   Paper_ID="/209669.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/209669.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/199414.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Nonmonotonic   Reasoning   with   Well   Founded   Semantics,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/199414.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262560585"   Paper_ID="/199414.html"   Extracted="0262560585"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/199414.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/199414.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0387580956"   Paper_ID="/199414.html"   Extracted="0387580956"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0934613486"   Paper_ID="/199414.html"   Extracted="0934613486"   />

            <identifier   Org="ISBN:158603278X"   Paper_ID="/199414.html"   Extracted="158603278X"   />

            <identifier   Org="ISBN:3540545352"   Paper_ID="/199414.html"   Extracted="3540545352"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540580255"   Paper_ID="/199414.html"   Extracted="3540580255"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540583327"   Paper_ID="/199414.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/199414.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540614885"   Paper_ID="/199414.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/199414.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354065190X"   Paper_ID="/199414.html"   Extracted="354065190X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/199414.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/197807.html"   Type="inproceedings"   CiteSeer_Book="IJCAI"   CiteSeer_Volume=""   Title="Derivation   Procedures   for   Extended   Stable   Models,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/197807.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0262541041"   Paper_ID="/197807.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/197807.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0387572872"   Paper_ID="/197807.html"   Extracted="0387572872"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0387574174"   Paper_ID="/197807.html"   Extracted="0387574174"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0934613486"   Paper_ID="/197807.html"   Extracted="0934613486"   />

            <identifier   Org="ISBN:3540572929"   Paper_ID="/197807.html"   Extracted="3540572929"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/197807.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/197807.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/198789.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   Proceedings   of   the   1991   International   Symposium"   CiteSeer_Volume=""   Title="Counterfactual   Reasoning   Based   on   Revising   Assumptions,">

            <identifier   Org="ISBN:0262611023"   Paper_ID="/198789.html"   Extracted="0262611023"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/198789.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0387580956"   Paper_ID="/198789.html"   Extracted="0387580956"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0934613486"   Paper_ID="/198789.html"   Extracted="0934613486"   />

            <identifier   Org="ISBN:3540545352"   Paper_ID="/198789.html"   Extracted="3540545352"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354055887X"   Paper_ID="/198789.html"   Extracted="354055887X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540580255"   Paper_ID="/198789.html"   Extracted="3540580255"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540594671"   Paper_ID="/198789.html"   Extracted="3540594671"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540614885"   Paper_ID="/198789.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/198789.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/198789.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/198789.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/205471.html"   Type="inproceedings"   CiteSeer_Book="Portuguese   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Diagnosis   and   Debugging   as   Contradiction   Removal   in   Logic   Programs,">

            <identifier   Org="ISBN:0387572872"   Paper_ID="/205471.html"   Extracted="0387572872"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0792351614"   Paper_ID="/205471.html"   Extracted="0792351614"   />

            <identifier   Org="ISBN:3540580255"   Paper_ID="/205471.html"   Extracted="3540580255"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540614885"   Paper_ID="/205471.html"   Extracted="3540614885"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540632557"   Paper_ID="/205471.html"   Extracted="3540632557"   DDC="006.3/36"   Normalized_DDC="006336"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3867278261"   Paper_ID="/205471.html"   Extracted="3867278261"   DDC="511.352"   Normalized_DDC="511352"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/25119.html"   Type="inproceedings"   CiteSeer_Book="Fifth   Generation   Computer   Systems"   CiteSeer_Volume=""   Title="Representing   Knowledge   for   Logic-Based   Diagnosis,">

            <identifier   Org="ISBN:0198537476"   Paper_ID="/25119.html"   Extracted="0198537476"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:026251057X"   Paper_ID="/25119.html"   Extracted="026251057X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0444892648"   Paper_ID="/25119.html"   Extracted="0444892648"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0780307380"   Paper_ID="/25119.html"   Extracted="0780307380"   />

            <identifier   Org="ISBN:0792393740"   Paper_ID="/25119.html"   Extracted="0792393740"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0819408727"   Paper_ID="/25119.html"   Extracted="0819408727"   />

            <identifier   Org="ISBN:0849331064"   Paper_ID="/25119.html"   Extracted="0849331064"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0934613486"   Paper_ID="/25119.html"   Extracted="0934613486"   />

            <identifier   Org="ISBN:1558602038"   Paper_ID="/25119.html"   Extracted="1558602038"   />

            <identifier   Org="ISBN:1558602518"   Paper_ID="/25119.html"   Extracted="1558602518"   />

            <identifier   Org="ISBN:3540531041"   Paper_ID="/25119.html"   Extracted="3540531041"   DDC="620/.00285/633"   Normalized_DDC="62000285633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354055033X"   Paper_ID="/25119.html"   Extracted="354055033X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/25119.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:9810210574"   Paper_ID="/25119.html"   Extracted="9810210574"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/143006.html"   Type="article"   CiteSeer_Book="Computational   Intelligence"   CiteSeer_Volume="5"   Title="Explanation   and   Prediction:   An   Architecture   for   Default   and   Abductive   Reasoning,">

            <identifier   Org="ISBN:0198537476"   Paper_ID="/143006.html"   Extracted="0198537476"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262510715"   Paper_ID="/143006.html"   Extracted="0262510715"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0262511290"   Paper_ID="/143006.html"   Extracted="0262511290"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/143006.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:0835229777"   Paper_ID="/143006.html"   Extracted="0835229777"   />

            <identifier   Org="ISBN:1586035762"   Paper_ID="/143006.html"   Extracted="1586035762"   />

            <identifier   Org="ISBN:3540201017"   Paper_ID="/143006.html"   Extracted="3540201017"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540202935"   Paper_ID="/143006.html"   Extracted="3540202935"   DDC="501"   Normalized_DDC="501"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540408010"   Paper_ID="/143006.html"   Extracted="3540408010"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540547126"   Paper_ID="/143006.html"   Extracted="3540547126"   />

            <identifier   Org="ISBN:3540558845"   Paper_ID="/143006.html"   Extracted="3540558845"   DDC="610/.1/1"   Normalized_DDC="61011"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540581073"   Paper_ID="/143006.html"   Extracted="3540581073"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540604375"   Paper_ID="/143006.html"   Extracted="3540604375"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540612866"   Paper_ID="/143006.html"   Extracted="3540612866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540613579"   Paper_ID="/143006.html"   Extracted="3540613579"   DDC="333.95/417"   Normalized_DDC="33395417"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540635769"   Paper_ID="/143006.html"   Extracted="3540635769"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/143006.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354066131X"   Paper_ID="/143006.html"   Extracted="354066131X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/67042.html"   Type="article"   CiteSeer_Book="Artificial   Intelligence"   CiteSeer_Volume="64"   Title="Probabilistic   Horn   Abduction   and   Bayesian   Networks,">

            <identifier   Org="ISBN:0262510952"   Paper_ID="/67042.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/67042.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:0792383028"   Paper_ID="/67042.html"   Extracted="0792383028"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1558603859"   Paper_ID="/67042.html"   Extracted="1558603859"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:155860412X"   Paper_ID="/67042.html"   Extracted="155860412X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540005676"   Paper_ID="/67042.html"   Extracted="3540005676"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/67042.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540281770"   Paper_ID="/67042.html"   Extracted="3540281770"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354033520X"   Paper_ID="/67042.html"   Extracted="354033520X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540425381"   Paper_ID="/67042.html"   Extracted="3540425381"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/67042.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354066131X"   Paper_ID="/67042.html"   Extracted="354066131X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354066162X"   Paper_ID="/67042.html"   Extracted="354066162X"   DDC="610/.285/63"   Normalized_DDC="61028563"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/67042.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540786511"   Paper_ID="/67042.html"   Extracted="3540786511"   />

            <identifier   Org="ISBN:3540850651"   Paper_ID="/67042.html"   Extracted="3540850651"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/67042.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:9056995243"   Paper_ID="/67042.html"   Extracted="9056995243"   />

      </rec>

      <rec   ID="/87330.html"   Type="article"   CiteSeer_Book="Journal   of   Automated   Reasoning"   CiteSeer_Volume="5"   Title="On   the   Declarative   and   Procedural   Semantics   of   Logic   Programs,">

            <identifier   Org="ISBN:0080359434"   Paper_ID="/87330.html"   Extracted="0080359434"   DDC="403"   Normalized_DDC="403"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0198537921"   Paper_ID="/87330.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262660830"   Paper_ID="/87330.html"   Extracted="0262660830"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0387564330"   Paper_ID="/87330.html"   Extracted="0387564330"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0897913655"   Paper_ID="/87330.html"   Extracted="0897913655"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3110139944"   Paper_ID="/87330.html"   Extracted="3110139944"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354020721X"   Paper_ID="/87330.html"   Extracted="354020721X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/87330.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540536868"   Paper_ID="/87330.html"   Extracted="3540536868"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540545646"   Paper_ID="/87330.html"   Extracted="3540545646"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540564543"   Paper_ID="/87330.html"   Extracted="3540564543"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540617566"   Paper_ID="/87330.html"   Extracted="3540617566"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540618147"   Paper_ID="/87330.html"   Extracted="3540618147"   DDC="005.74/01/5113"   Normalized_DDC="00574015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/87330.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/87330.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540667105"   Paper_ID="/87330.html"   Extracted="3540667105"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540676287"   Paper_ID="/87330.html"   Extracted="3540676287"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540746137"   Paper_ID="/87330.html"   Extracted="3540746137"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/65604.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   10th   Int   Conf   on   Logic   Programming   Budapest"   CiteSeer_Volume=""   Title="{N}egation   in   {D}isjunctive   {L}ogic   {P}rograms,"   />

      <rec   ID="/118987.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="On   the   Equivalence   between   Disjunctive   and   Abductive   Logic   Programs,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/118987.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/118987.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:3540201017"   Paper_ID="/118987.html"   Extracted="3540201017"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540226710"   Paper_ID="/118987.html"   Extracted="3540226710"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540426019"   Paper_ID="/118987.html"   Extracted="3540426019"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/118987.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540616306"   Paper_ID="/118987.html"   Extracted="3540616306"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540677976"   Paper_ID="/118987.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/80735.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   and   Nonmonotonic   Reasoning"   CiteSeer_Volume=""   Title="Computing   the   Acceptability   Semantics,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/80735.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0387981969"   Paper_ID="/80735.html"   Extracted="0387981969"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0792344138"   Paper_ID="/80735.html"   Extracted="0792344138"   DDC="340/.1"   Normalized_DDC="3401"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540581073"   Paper_ID="/80735.html"   Extracted="3540581073"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540594876"   Paper_ID="/80735.html"   Extracted="3540594876"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540613137"   Paper_ID="/80735.html"   Extracted="3540613137"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540628436"   Paper_ID="/80735.html"   Extracted="3540628436"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/61915.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Logic   Programming"   CiteSeer_Volume=""   Title="Reduction   of   Abductive   Logic   Programs   to   Normal   Logic   Programs,">

            <identifier   Org="ISBN:0262631733"   Paper_ID="/61915.html"   Extracted="0262631733"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/61915.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0792344138"   Paper_ID="/61915.html"   Extracted="0792344138"   DDC="340/.1"   Normalized_DDC="3401"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="/61915.html"   Extracted="0792365658"   />

            <identifier   Org="ISBN:1599041200"   Paper_ID="/61915.html"   Extracted="1599041200"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540609393"   Paper_ID="/61915.html"   Extracted="3540609393"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/61915.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354078196X"   Paper_ID="/61915.html"   Extracted="354078196X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/5299.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   theorem-proving   approach   to   job-shop   scheduling,">

            <identifier   Org="ISBN:0198537921"   Paper_ID="/5299.html"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="The   Role   of   Abduction   in   Logic   Programming">

            <identifier   Org="ISBN:0198537921"   Paper_ID="SELF"   Extracted="0198537921"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0792365658"   Paper_ID="SELF"   Extracted="0792365658"   />

            <identifier   Org="ISBN:1586036424"   Paper_ID="SELF"   Extracted="1586036424"   />

            <identifier   Org="ISBN:158603698X"   Paper_ID="SELF"   Extracted="158603698X"   DDC="340.0285"   Normalized_DDC="3400285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540221743"   Paper_ID="SELF"   Extracted="3540221743"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540229418"   Paper_ID="SELF"   Extracted="3540229418"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="SELF"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540279679"   Paper_ID="SELF"   Extracted="3540279679"   DDC="570.285"   Normalized_DDC="570285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540290419"   Paper_ID="SELF"   Extracted="3540290419"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="SELF"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540425934"   Paper_ID="SELF"   Extracted="3540425934"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540429352"   Paper_ID="SELF"   Extracted="3540429352"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="SELF"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540439595"   Paper_ID="SELF"   Extracted="3540439595"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540508201"   Paper_ID="SELF"   Extracted="3540508201"   />

            <identifier   Org="ISBN:3540638768"   Paper_ID="SELF"   Extracted="3540638768"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="SELF"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540696180"   Paper_ID="SELF"   Extracted="3540696180"   />

            <identifier   Org="ISBN:364202260X"   Paper_ID="SELF"   Extracted="364202260X"   />

      </rec>

</references_metadata>

www.000webhost.com