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